-
- Downloads
Merge branch 'jan/feature/alias-funptr' into 'master'
[alias] add support for function pointers and major API overhaul See merge request frama-c/frama-c!4515
Showing
- src/plugins/alias/README.md 0 additions, 1 deletionsrc/plugins/alias/README.md
- src/plugins/alias/src/API.ml 63 additions, 57 deletionssrc/plugins/alias/src/API.ml
- src/plugins/alias/src/API.mli 132 additions, 37 deletionssrc/plugins/alias/src/API.mli
- src/plugins/alias/src/abstract_state.ml 47 additions, 24 deletionssrc/plugins/alias/src/abstract_state.ml
- src/plugins/alias/src/abstract_state.mli 30 additions, 40 deletionssrc/plugins/alias/src/abstract_state.mli
- src/plugins/alias/src/analysis.ml 24 additions, 10 deletionssrc/plugins/alias/src/analysis.ml
- src/plugins/alias/src/analysis.mli 1 addition, 1 deletionsrc/plugins/alias/src/analysis.mli
- src/plugins/alias/tests/basic/oracle/addrof.res.oracle 2 additions, 3 deletionssrc/plugins/alias/tests/basic/oracle/addrof.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment1.res.oracle 1 addition, 2 deletionssrc/plugins/alias/tests/basic/oracle/assignment1.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment2.res.oracle 1 addition, 2 deletionssrc/plugins/alias/tests/basic/oracle/assignment2.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment3.res.oracle 1 addition, 2 deletionssrc/plugins/alias/tests/basic/oracle/assignment3.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment4.res.oracle 1 addition, 2 deletionssrc/plugins/alias/tests/basic/oracle/assignment4.res.oracle
- src/plugins/alias/tests/basic/oracle/assignment5.res.oracle 1 addition, 2 deletionssrc/plugins/alias/tests/basic/oracle/assignment5.res.oracle
- src/plugins/alias/tests/basic/oracle/cast1.res.oracle 1 addition, 2 deletionssrc/plugins/alias/tests/basic/oracle/cast1.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional1.res.oracle 1 addition, 2 deletionssrc/plugins/alias/tests/basic/oracle/conditional1.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional2.res.oracle 2 additions, 3 deletionssrc/plugins/alias/tests/basic/oracle/conditional2.res.oracle
- src/plugins/alias/tests/basic/oracle/conditional3.res.oracle 1 addition, 4 deletionssrc/plugins/alias/tests/basic/oracle/conditional3.res.oracle
- src/plugins/alias/tests/basic/oracle/function1.res.oracle 3 additions, 4 deletionssrc/plugins/alias/tests/basic/oracle/function1.res.oracle
- src/plugins/alias/tests/basic/oracle/function2.res.oracle 3 additions, 3 deletionssrc/plugins/alias/tests/basic/oracle/function2.res.oracle
- src/plugins/alias/tests/basic/oracle/function3.res.oracle 2 additions, 4 deletionssrc/plugins/alias/tests/basic/oracle/function3.res.oracle
Loading
Please register or sign in to comment