-
- Downloads
Merge branch 'feature/andre/reallocarray' into 'master'
[Eva] add spec and builtin for reallocarray (GNU libc) See merge request frama-c/frama-c!3519
No related branches found
No related tags found
Showing
- share/libc/stdlib.h 35 additions, 0 deletionsshare/libc/stdlib.h
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c
- src/plugins/e-acsl/tests/builtin/oracle/gen_strcmp.c 2 additions, 2 deletionssrc/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 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/oracle/gen_strlen.c
- src/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcat.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle
- src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c 1 addition, 1 deletion...ns/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c
- src/plugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c 1 addition, 1 deletion...ugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c
- src/plugins/e-acsl/tests/concurrency/oracle/parallel_threads.res.oracle 2 additions, 2 deletions...acsl/tests/concurrency/oracle/parallel_threads.res.oracle
- src/plugins/e-acsl/tests/concurrency/oracle/threads_debug.res.oracle 2 additions, 2 deletions.../e-acsl/tests/concurrency/oracle/threads_debug.res.oracle
- src/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle 2 additions, 2 deletionssrc/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle
- src/plugins/e-acsl/tests/format/oracle/gen_fprintf.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/format/oracle/gen_fprintf.c
- src/plugins/e-acsl/tests/format/oracle/gen_printf.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/format/oracle/gen_printf.c
- src/plugins/e-acsl/tests/format/oracle/printf.res.oracle 4 additions, 4 deletionssrc/plugins/e-acsl/tests/format/oracle/printf.res.oracle
- src/plugins/e-acsl/tests/memory/oracle/gen_memalign.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/memory/oracle/gen_memalign.c
- src/plugins/e-acsl/tests/memory/oracle/memalign.res.oracle 7 additions, 7 deletionssrc/plugins/e-acsl/tests/memory/oracle/memalign.res.oracle
- src/plugins/e-acsl/tests/temporal/oracle/gen_t_getenv.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/temporal/oracle/gen_t_getenv.c
Loading
Please register or sign in to comment