stringLiteralWrite ftp://ftp.de.debian.org/debian/pool/main/c/c-cpp-reference/c-cpp-reference_2.0.2.orig.tar.gz c_cpp_reference-2.0.2/reference/C/CONTRIB/SNIP/query.c:16:22: error: Modifying string literal "(y/n) " directly or indirectly is undefined behaviour. [stringLiteralWrite] c_cpp_reference-2.0.2/reference/C/CONTRIB/SNIP/query.c:16:22: error: Modifying string literal "(y/n) " directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/c/cbmc/cbmc_5.12.orig.tar.gz cbmc-cbmc-5.12/regression/cbmc-with-incr/String3/main.c:5:5: error: Modifying string literal "" directly or indirectly is undefined behaviour. [stringLiteralWrite] cbmc-cbmc-5.12/regression/cbmc/String3/main.c:5:5: error: Modifying string literal "" directly or indirectly is undefined behaviour. [stringLiteralWrite] cbmc-cbmc-5.12/regression/cbmc/lhs-pointer-aliases-constant/test.c:6:19: error: Modifying string literal "Hello world" directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/e/eclipse-linuxtools/eclipse-linuxtools_8.1.0+dfsg.1.orig.tar.xz org.eclipse.linuxtools-8.1.0/valgrind/org.eclipse.linuxtools.valgrind.memcheck.tests/resources/segvtest/main.c:2:14: error: Modifying string literal "ABCDEFGH" directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/e/eso-midas/eso-midas_22.02pl1.0.orig.tar.gz 22FEBpl1.0/prim/display/libsrc/tracesubs.c:175:22: error: Modifying string literal "NNY ZC " directly or indirectly is undefined behaviour. [stringLiteralWrite] 22FEBpl1.0/prim/display/libsrc/tracesubs.c:175:22: error: Modifying string literal "NNY ZC " directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz frama-c-25.0-beta-Manganese/tests/spec/bts1262.c:2:13: error: Modifying string literal "\\\\.\\" directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/g/garmin-forerunner-tools/garmin-forerunner-tools_0.10repacked.orig.tar.gz garmintools-0.10/src/garmin_gchart.c:82:11: error: Modifying string literal "__" directly or indirectly is undefined behaviour. [stringLiteralWrite] garmintools-0.10/src/garmin_gchart.c:82:11: error: Modifying string literal "__" directly or indirectly is undefined behaviour. [stringLiteralWrite] garmintools-0.10/src/garmin_gchart.c:82:11: error: Modifying string literal "__" directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/j/jackd2/jackd2_1.9.21~dfsg.orig.tar.gz jack2-1.9.21/example-clients/midi_latency_test.c:655:27: error: Modifying string literal "'- '" directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/libb/libbinio/libbinio_1.5+dfsg.orig.tar.gz libbinio-libbinio-1.5/src/binfile.cpp:212:19: error: Modifying string literal "w+b" directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/m/modsecurity-apache/modsecurity-apache_2.9.5.orig.tar.gz modsecurity-2.9.5/apache2/msc_logging.c:112:15: error: Modifying string literal "-" directly or indirectly is undefined behaviour. [stringLiteralWrite] modsecurity-2.9.5/apache2/msc_logging.c:120:18: error: Modifying string literal "-" directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/p/proftpd-dfsg/proftpd-dfsg_1.3.7d+dfsg.orig.tar.gz proftpd-1.3.7d/contrib/mod_sftp/keys.c:2378:8: error: Modifying string literal "" directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/s/splint/splint_3.1.2.dfsg1.orig.tar.gz splint-3.1.2.dfsg1/test/arraylit.c:5:35: error: Modifying string literal "unmodifiable str.." directly or indirectly is undefined behaviour. [stringLiteralWrite] splint-3.1.2.dfsg1/test/chararraylit.c:9:13: error: Modifying string literal "abc" directly or indirectly is undefined behaviour. [stringLiteralWrite] splint-3.1.2.dfsg1/test/strings.c:24:14: error: Modifying string literal "hullo" directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/t/tsdecrypt/tsdecrypt_10.0.orig.tar.bz2 tsdecrypt-10.0/libtsfuncs/tdt.c:176:18: error: Modifying string literal "TDT (tspacket->s.." directly or indirectly is undefined behaviour. [stringLiteralWrite] tsdecrypt-10.0/libtsfuncs/tdt.c:177:18: error: Modifying string literal "TDT (struct->tsp.." directly or indirectly is undefined behaviour. [stringLiteralWrite] ftp://ftp.de.debian.org/debian/pool/main/w/wp2latex/wp2latex_3.107+ds.orig.tar.xz wp2latex-3.107/instaler/inst_gt.cc:160:18: error: Modifying string literal "c:\\texmf\\mikte.." directly or indirectly is undefined behaviour. [stringLiteralWrite] wp2latex-3.107/instaler/inst_gt.cc:161:17: error: Modifying string literal "c:\\emtex\\bin\\.." directly or indirectly is undefined behaviour. [stringLiteralWrite] wp2latex-3.107/instaler/inst_gt.cc:184:18: error: Modifying string literal "c:\\localtexmf\\.." directly or indirectly is undefined behaviour. [stringLiteralWrite] wp2latex-3.107/instaler/inst_gt.cc:185:17: error: Modifying string literal "c:\\emtex\\texin.." directly or indirectly is undefined behaviour. [stringLiteralWrite]