overlappingWriteFunction
ftp://ftp.de.debian.org/debian/pool/main/f/fasta3/fasta3_36.3.8i.14-Nov-2020.orig.tar.gz
fasta36-36.3.8i_14-Nov-2020/src/dropfx.c:2128:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfx.c:2129:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfx.c:2130:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfx2.c:2177:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfx2.c:2178:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfx2.c:2179:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfz3.c:2232:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfz3.c:2233:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfz3.c:2234:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfz2.c:2213:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfz2.c:2214:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
fasta36-36.3.8i_14-Nov-2020/src/dropfz2.c:2215:7: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
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/builtin/strcpy.c:69:8: error: Overlapping read/write in strcpy() is undefined behavior [overlappingWriteFunction]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/builtin/strcpy.c:79:8: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/builtin/strcpy.c:81:8: error: Overlapping read/write in strncpy() is undefined behavior [overlappingWriteFunction]
frama-c-25.0-beta-Manganese/tests/libc/wchar_h.c:41:5: error: Overlapping read/write in wcsncpy() is undefined behavior [overlappingWriteFunction]