Merge branch 'feature/eva/alloc-builtins' into 'master'
[Eva] New option -eva-alloc-builtin to configure allocation builtins See merge request frama-c/frama-c!2617
Showing
- doc/value/main.tex 49 additions, 35 deletionsdoc/value/main.tex
- src/plugins/value/domains/cvalue/builtins_malloc.ml 157 additions, 255 deletionssrc/plugins/value/domains/cvalue/builtins_malloc.ml
- src/plugins/value/utils/eva_annotations.ml 55 additions, 0 deletionssrc/plugins/value/utils/eva_annotations.ml
- src/plugins/value/utils/eva_annotations.mli 3 additions, 0 deletionssrc/plugins/value/utils/eva_annotations.mli
- src/plugins/value/value_parameters.ml 19 additions, 0 deletionssrc/plugins/value/value_parameters.ml
- src/plugins/value/value_parameters.mli 1 addition, 0 deletionssrc/plugins/value/value_parameters.mli
- tests/builtins/Longinit_sequencer.ml 3 additions, 3 deletionstests/builtins/Longinit_sequencer.ml
- tests/builtins/alloc.c 3 additions, 3 deletionstests/builtins/alloc.c
- tests/builtins/allocated.c 1 addition, 1 deletiontests/builtins/allocated.c
- tests/builtins/calloc.c 5 additions, 5 deletionstests/builtins/calloc.c
- tests/builtins/free.c 1 addition, 1 deletiontests/builtins/free.c
- tests/builtins/from_result.c 2 additions, 2 deletionstests/builtins/from_result.c
- tests/builtins/gcc_zero_length_array.c 1 addition, 1 deletiontests/builtins/gcc_zero_length_array.c
- tests/builtins/malloc-deps.c 7 additions, 10 deletionstests/builtins/malloc-deps.c
- tests/builtins/malloc.c 12 additions, 11 deletionstests/builtins/malloc.c
- tests/builtins/malloc_individual.c 2 additions, 2 deletionstests/builtins/malloc_individual.c
- tests/builtins/malloc_memexec.c 5 additions, 9 deletionstests/builtins/malloc_memexec.c
- tests/builtins/oracle/Longinit_sequencer.res.oracle 5 additions, 10 deletionstests/builtins/oracle/Longinit_sequencer.res.oracle
- tests/builtins/oracle/alloc.0.res.oracle 8 additions, 8 deletionstests/builtins/oracle/alloc.0.res.oracle
- tests/builtins/oracle/alloc.1.res.oracle 4 additions, 4 deletionstests/builtins/oracle/alloc.1.res.oracle
Loading
Please register or sign in to comment