useClosedFile
ftp://ftp.de.debian.org/debian/pool/main/e/ea-utils/ea-utils_1.1.2+dfsg.orig.tar.xz
ea-utils.1.1.2-686/bgzf.c:585:39: 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.0.13+ds.orig.tar.xz
free42-nologo-3.0.13/gtk/shell_main.cc:1141:9: error: Used file that is not opened. [useClosedFile]