useClosedFile
ftp://ftp.de.debian.org/debian/pool/main/e/exim4/exim4_4.99.4.orig.tar.xz
exim-4.99.4/src/match.c:770:12: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/f/festival/festival_2.5.0.orig.tar.gz
festival/src/modules/Lexicon/complex.cc:127:2: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz
frama-c-25.0-beta-Manganese/src/plugins/variadic/tests/known/stdio_print.c:9:3: error: Used file that is not opened. [useClosedFile]
frama-c-25.0-beta-Manganese/src/plugins/variadic/tests/known/stdio_print.c:15:3: error: Used file that is not opened. [useClosedFile]
frama-c-25.0-beta-Manganese/src/plugins/variadic/tests/known/stdio_scan.c:10:3: error: Used file that is not opened. [useClosedFile]
frama-c-25.0-beta-Manganese/src/plugins/variadic/tests/known/stdio_scan.c:14:3: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/f/free42-nologo/free42-nologo_3.3.12+ds.orig.tar.xz
free42-nologo-3.3.12/gtk/shell_main.cc:1281:9: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/g/gdpc/gdpc_2.2.5.orig.tar.gz
gdpc-2.2.5/readinput.c:85:6: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/g/geg/geg_2.0.9.orig.tar.gz
geg-2.0.9/src/app.c:1902:3: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/g/genwqe-user/genwqe-user_4.0.20.orig.tar.gz
genwqe-user-4.0.20/tools/agzipd.c:586:2: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/g/glimpse/glimpse_4.18.7.orig.tar.gz
glimpse-4.18.7/index/io.c:98:4: error: Used file that is not opened. [useClosedFile]
glimpse-4.18.7/index/io.c:111:4: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/g/gnokii/gnokii_0.6.31+dfsg.orig.tar.gz
gnokii-0.6.31/common/cfgreader.c:613:2: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/g/gtimer/gtimer_2.0.0.orig.tar.gz
gtimer-2.0.0/report.c:453:10: error: Used file that is not opened. [useClosedFile]
ftp://ftp.de.debian.org/debian/pool/main/h/h2o/h2o_2.2.5+dfsg2.orig.tar.xz
h2o-2.2.5+dfsg2/deps/klib/bgzf.c:446:47: error: Used file that is not opened. [useClosedFile]