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_21.02pl1.0.orig.tar.gz
21FEBpl1.0/prim/display/libsrc/tracesubs.c:175:22: error: Modifying string literal "NNY ZC " directly or indirectly is undefined behaviour. [stringLiteralWrite]
21FEBpl1.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_20201209+titanium.orig.tar.gz
frama-c-22.0-Titanium/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.19~dfsg.orig.tar.gz
jack2-1.9.19/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/p/proftpd-dfsg/proftpd-dfsg_1.3.7c+dfsg.orig.tar.gz
proftpd-dfsg-1.3.7c/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.103+ds.orig.tar.xz
wp2latex-3.103/instaler/inst_gt.cc:160:18: error: Modifying string literal "c:\\texmf\\mikte.." directly or indirectly is undefined behaviour. [stringLiteralWrite]
wp2latex-3.103/instaler/inst_gt.cc:161:17: error: Modifying string literal "c:\\emtex\\bin\\.." directly or indirectly is undefined behaviour. [stringLiteralWrite]
wp2latex-3.103/instaler/inst_gt.cc:184:18: error: Modifying string literal "c:\\localtexmf\\.." directly or indirectly is undefined behaviour. [stringLiteralWrite]
wp2latex-3.103/instaler/inst_gt.cc:185:17: error: Modifying string literal "c:\\emtex\\texin.." directly or indirectly is undefined behaviour. [stringLiteralWrite]