Merge branch 'feature/andre/audit-sources' into 'master'
add source audit options See merge request frama-c/frama-c!2947
No related branches found
No related tags found
Showing
- Makefile 1 addition, 1 deletionMakefile
- doc/value/main.tex 44 additions, 0 deletionsdoc/value/main.tex
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- src/kernel_services/ast_queries/file.ml 161 additions, 23 deletionssrc/kernel_services/ast_queries/file.ml
- src/kernel_services/plugin_entry_points/kernel.ml 38 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 9 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
- src/plugins/value/engine/analysis.ml 4 additions, 0 deletionssrc/plugins/value/engine/analysis.ml
- src/plugins/value/utils/eva_audit.ml 146 additions, 0 deletionssrc/plugins/value/utils/eva_audit.ml
- src/plugins/value/utils/eva_audit.mli 24 additions, 0 deletionssrc/plugins/value/utils/eva_audit.mli
- tests/value/audit-in.json 77 additions, 0 deletionstests/value/audit-in.json
- tests/value/audit.c 11 additions, 0 deletionstests/value/audit.c
- tests/value/audit_included.h 1 addition, 0 deletionstests/value/audit_included.h
- tests/value/audit_included_but_not_listed.h 1 addition, 0 deletionstests/value/audit_included_but_not_listed.h
- tests/value/oracle/audit-out.json 78 additions, 0 deletionstests/value/oracle/audit-out.json
- tests/value/oracle/audit.res.oracle 34 additions, 0 deletionstests/value/oracle/audit.res.oracle
Loading
Please register or sign in to comment