bts2252.res.oracle 452 Bytes
Newer Older
Virgile Prevosto's avatar
Virgile Prevosto committed
1
tests/bts/bts2252.c:22:[kernel:typing:implicit-function-declaration] warning: Calling undeclared function strncpy. Old style K&R code?
2
[e-acsl] beginning translation.
3
tests/bts/bts2252.c:22:[kernel] warning: Neither code nor specification for function strncpy, generating default assigns from the prototype
4
[e-acsl] translation done in project "e-acsl".
Virgile Prevosto's avatar
Virgile Prevosto committed
5
tests/bts/bts2252.c:17:[value:alarm] warning: out of bounds read. assert \valid_read(srcbuf + i);