Merge branch 'feature/andre/libc-pcpy' into 'master'
[Libc] add spec and stubs for some *pcpy functions See merge request frama-c/frama-c!3257
No related branches found
No related tags found
Showing
- share/libc/string.c 26 additions, 0 deletionsshare/libc/string.c
- share/libc/string.h 13 additions, 0 deletionsshare/libc/string.h
- src/plugins/e-acsl/tests/bts/oracle/bts2252.res.oracle 7 additions, 7 deletionssrc/plugins/e-acsl/tests/bts/oracle/bts2252.res.oracle
- src/plugins/e-acsl/tests/bts/oracle/gen_bts2252.c 6 additions, 6 deletionssrc/plugins/e-acsl/tests/bts/oracle/gen_bts2252.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/gen_strcpy.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c
- src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle 9 additions, 9 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle 9 additions, 9 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle 9 additions, 9 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle
- src/plugins/e-acsl/tests/format/oracle/gen_printf.c 6 additions, 6 deletionssrc/plugins/e-acsl/tests/format/oracle/gen_printf.c
- src/plugins/e-acsl/tests/format/oracle/printf.res.oracle 16 additions, 16 deletionssrc/plugins/e-acsl/tests/format/oracle/printf.res.oracle
- src/plugins/e-acsl/tests/memory/oracle/mainargs.res.oracle 5 additions, 5 deletionssrc/plugins/e-acsl/tests/memory/oracle/mainargs.res.oracle
- src/plugins/e-acsl/tests/temporal/oracle/gen_t_memcpy.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/temporal/oracle/gen_t_memcpy.c
- src/plugins/e-acsl/tests/temporal/oracle/t_memcpy.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/temporal/oracle/t_memcpy.res.oracle
- src/plugins/markdown-report/tests/md/oracle/cwe126.res.oracle 1 addition, 1 deletion...plugins/markdown-report/tests/md/oracle/cwe126.res.oracle
- src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif 1144 additions, 790 deletions...ugins/markdown-report/tests/sarif/oracle/std_string.sarif
- src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif 826 additions, 614 deletions...lugins/markdown-report/tests/sarif/oracle/with-libc.sarif
- src/plugins/variadic/tests/known/oracle/snprintf.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/known/oracle/snprintf.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/string_c.res.oracle 40 additions, 40 deletionssrc/plugins/wp/tests/wp_plugin/oracle/string_c.res.oracle
Loading
Please register or sign in to comment