Merge branch 'feature/eva/warn-shift-negative' into 'master'
[Eva] Complies with kernel options for alarms on shifts on negative values See merge request frama-c/frama-c!1974
Showing
- doc/userman/user-analysis.tex 13 additions, 0 deletionsdoc/userman/user-analysis.tex
- doc/userman/user-changes.tex 3 additions, 0 deletionsdoc/userman/user-changes.tex
- man/frama-c.1 14 additions, 1 deletionman/frama-c.1
- man/frama-c.1.md 6 additions, 0 deletionsman/frama-c.1.md
- src/kernel_services/plugin_entry_points/kernel.ml 23 additions, 1 deletionsrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 6 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
- src/plugins/value/engine/evaluation.ml 10 additions, 7 deletionssrc/plugins/value/engine/evaluation.ml
- src/plugins/value/value_parameters.ml 9 additions, 20 deletionssrc/plugins/value/value_parameters.ml
- src/plugins/value/value_parameters.mli 0 additions, 1 deletionsrc/plugins/value/value_parameters.mli
- src/plugins/value/values/cvalue_backward.ml 2 additions, 31 deletionssrc/plugins/value/values/cvalue_backward.ml
- tests/value/oracle/shift.1.res.oracle 0 additions, 1 deletiontests/value/oracle/shift.1.res.oracle
- tests/value/oracle/shift_neg.0.res.oracle 56 additions, 0 deletionstests/value/oracle/shift_neg.0.res.oracle
- tests/value/oracle/shift_neg.1.res.oracle 57 additions, 0 deletionstests/value/oracle/shift_neg.1.res.oracle
- tests/value/oracle/shift_neg.res.oracle 0 additions, 29 deletionstests/value/oracle/shift_neg.res.oracle
- tests/value/shift.i 1 addition, 1 deletiontests/value/shift.i
- tests/value/shift_neg.c 38 additions, 0 deletionstests/value/shift_neg.c
- tests/value/shift_neg.i 0 additions, 6 deletionstests/value/shift_neg.i
Loading
Please register or sign in to comment