invalidPrintfArgType_s
ftp://ftp.de.debian.org/debian/pool/main/c/cyrus-imapd-2.4/cyrus-imapd-2.4_2.4.17+nocaldav.orig.tar.gz
cyrus-imapd-2.4.17/syslog/syslogd.c:1423:10: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/d/db/db_5.1.29.orig.tar.gz
db-5.1.29/lang/sql/sqlite/test/threadtest2.c:46:5: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/d/db5.3/db5.3_5.3.28+dfsg1.orig.tar.xz
db-5.3.28/lang/sql/sqlite/test/threadtest2.c:46:5: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
db-5.3.28/test/xa/src3/client.c:249:10: warning: %s in format string (no. 2) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
db-5.3.28/test/xa/src3/client.c:258:4: warning: %s in format string (no. 2) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
db-5.3.28/test/xa/src4/server.c:100:3: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
db-5.3.28/test/xa/src4/server.c:101:3: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
db-5.3.28/test/xa/src5/client.c:275:4: warning: %s in format string (no. 2) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
db-5.3.28/test/xa/src5/client.c:284:4: warning: %s in format string (no. 2) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/d/dietlibc/dietlibc_0.34~cvs20160606.orig.tar.xz
dietlibc-0.34~cvs20160606/test/stdio/tst-printf.c:369:3: warning: %s in format string (no. 14) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/d/dmtcp/dmtcp_2.6.0.orig.tar.gz
dmtcp-2.6.0/test/credentials/conf2.c:69:5: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/d/dxsamples/dxsamples_4.4.0.orig.tar.gz
dxsamples-4.4.0/util/plot3d/Plot3DtoDX.c:259:3: warning: %s in format string (no. 3) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/d/dynare/dynare_5.1.orig.tar.xz
dynare-5.1/contrib/ms-sbvar/switch_dw/switching/dw_switchio.c:2405:7: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/e/elogind/elogind_246.9.1.orig.tar.gz
elogind-246.9.1/src/test/test-sizeof.c:82:9: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
elogind-246.9.1/src/test/test-sizeof.c:83:9: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
elogind-246.9.1/src/test/test-sizeof.c:84:9: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/f/findutils/findutils_4.9.0.orig.tar.xz
findutils-4.9.0/lib/listfile.c:294:15: warning: %s in format string (no. 2) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/f/flowgrind/flowgrind_0.8.2.orig.tar.gz
flowgrind-flowgrind-0.8.2/src/flowgrind.c:233:2: warning: %s in format string (no. 2) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
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/e-acsl/tests/format/printf.c:207:6: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'unsigned int'. [invalidPrintfArgType_s]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:209:8: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'unsigned int'. [invalidPrintfArgType_s]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:211:8: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'unsigned int'. [invalidPrintfArgType_s]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/format/printf.c:541:8: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
frama-c-25.0-beta-Manganese/src/plugins/variadic/tests/known/printf_wrong_types.c:30:3: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
frama-c-25.0-beta-Manganese/tests/libc/stdio_c.c:28:13: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
frama-c-25.0-beta-Manganese/tests/libc/stdio_h.c:52:9: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/f/fst/fst_0.120.0.orig.tar.bz2
FST-v0.120.0/src/FstHost/FstHost.cpp:302:7: warning: %s in format string (no. 4) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/g/ga/ga_5.8.1.orig.tar.gz
ga-5.8.1/armci/src-gemini/armci_portals.c:2040:7: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ga-5.8.1/armci/src-gemini/armci_portals.c:2043:7: warning: %s in format string (no. 1) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
ftp://ftp.de.debian.org/debian/pool/main/g/gcal/gcal_4.1.orig.tar.gz
gcal-4.1/src/file-io.c:1464:8: warning: %s in format string (no. 9) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]
gcal-4.1/src/file-io.c:1464:8: warning: %s in format string (no. 11) requires 'char *' but the argument type is 'signed int'. [invalidPrintfArgType_s]