Merge branch 'feature/dive/taints' into 'master'
Taints in Dive See merge request frama-c/frama-c!3956
No related branches found
No related tags found
Showing
- Changelog 2 additions, 2 deletionsChangelog
- ivette/src/frama-c/kernel/Properties.tsx 4 additions, 4 deletionsivette/src/frama-c/kernel/Properties.tsx
- ivette/src/frama-c/plugins/dive/api/index.ts 9 additions, 2 deletionsivette/src/frama-c/plugins/dive/api/index.ts
- ivette/src/frama-c/plugins/dive/style.json 49 additions, 14 deletionsivette/src/frama-c/plugins/dive/style.json
- src/plugins/dive/build.ml 70 additions, 24 deletionssrc/plugins/dive/build.ml
- src/plugins/dive/callstack.ml 1 addition, 12 deletionssrc/plugins/dive/callstack.ml
- src/plugins/dive/callstack.mli 8 additions, 1 deletionsrc/plugins/dive/callstack.mli
- src/plugins/dive/dive_graph.ml 26 additions, 5 deletionssrc/plugins/dive/dive_graph.ml
- src/plugins/dive/dive_graph.mli 3 additions, 1 deletionsrc/plugins/dive/dive_graph.mli
- src/plugins/dive/dive_types.ml 2 additions, 0 deletionssrc/plugins/dive/dive_types.ml
- src/plugins/dive/node_kind.ml 12 additions, 4 deletionssrc/plugins/dive/node_kind.ml
- src/plugins/dive/server_interface.ml 3 additions, 1 deletionsrc/plugins/dive/server_interface.ml
- src/plugins/dive/tests/dive/oracle/assigned_param.dot 2 additions, 1 deletionsrc/plugins/dive/tests/dive/oracle/assigned_param.dot
- src/plugins/dive/tests/dive/oracle/callstack_global.dot 7 additions, 2 deletionssrc/plugins/dive/tests/dive/oracle/callstack_global.dot
- src/plugins/dive/tests/dive/oracle/callstack_strategy.dot 2 additions, 1 deletionsrc/plugins/dive/tests/dive/oracle/callstack_strategy.dot
- src/plugins/dive/tests/dive/oracle/const.dot 2 additions, 1 deletionsrc/plugins/dive/tests/dive/oracle/const.dot
- src/plugins/dive/tests/dive/oracle/exceptional.dot 2 additions, 1 deletionsrc/plugins/dive/tests/dive/oracle/exceptional.dot
- src/plugins/dive/tests/dive/oracle/global.dot 2 additions, 1 deletionsrc/plugins/dive/tests/dive/oracle/global.dot
- src/plugins/dive/tests/dive/oracle/manydeps.dot 18 additions, 5 deletionssrc/plugins/dive/tests/dive/oracle/manydeps.dot
- src/plugins/dive/tests/dive/oracle/per_callstack.dot 2 additions, 1 deletionsrc/plugins/dive/tests/dive/oracle/per_callstack.dot
Loading
Please register or sign in to comment