terminateStrncpy
ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz
2.20.0 frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/builtin/strcpy.c:75:8: warning:inconclusive: The buffer 'dest1' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
head frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/builtin/strcpy.c:78:6: warning:inconclusive: The buffer 'src' may not be null-terminated after the call to strncpy(). [terminateStrncpy]
2.20.0 frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/builtin/strcpy.c:79:8: warning:inconclusive: The buffer 'src' may not be null-terminated after the call to strncpy(). [terminateStrncpy]