[Dive] Compute dependencies per callstack
Showing
- src/plugins/dive/Makefile.in 1 addition, 1 deletionsrc/plugins/dive/Makefile.in
- src/plugins/dive/build.ml 201 additions, 159 deletionssrc/plugins/dive/build.ml
- src/plugins/dive/callstack.ml 50 additions, 0 deletionssrc/plugins/dive/callstack.ml
- src/plugins/dive/callstack.mli 36 additions, 0 deletionssrc/plugins/dive/callstack.mli
- src/plugins/dive/graph_types.mli 2 additions, 2 deletionssrc/plugins/dive/graph_types.mli
- src/plugins/dive/imprecision_graph.ml 37 additions, 21 deletionssrc/plugins/dive/imprecision_graph.ml
- src/plugins/dive/node_kind.ml 4 additions, 4 deletionssrc/plugins/dive/node_kind.ml
- src/plugins/dive/tests/dive/const.i 1 addition, 1 deletionsrc/plugins/dive/tests/dive/const.i
- src/plugins/dive/tests/dive/oracle/assigned_param.dot 14 additions, 12 deletionssrc/plugins/dive/tests/dive/oracle/assigned_param.dot
- src/plugins/dive/tests/dive/oracle/const.dot 17 additions, 18 deletionssrc/plugins/dive/tests/dive/oracle/const.dot
- src/plugins/dive/tests/dive/oracle/pointed_param.dot 36 additions, 0 deletionssrc/plugins/dive/tests/dive/oracle/pointed_param.dot
- src/plugins/dive/tests/dive/oracle/pointed_param.res.oracle 6 additions, 0 deletionssrc/plugins/dive/tests/dive/oracle/pointed_param.res.oracle
- src/plugins/dive/tests/dive/oracle/unfocused_callers.dot 38 additions, 0 deletionssrc/plugins/dive/tests/dive/oracle/unfocused_callers.dot
- src/plugins/dive/tests/dive/oracle/unfocused_callers.res.oracle 14 additions, 0 deletions...ugins/dive/tests/dive/oracle/unfocused_callers.res.oracle
- src/plugins/dive/tests/dive/oracle/various.dot 54 additions, 29 deletionssrc/plugins/dive/tests/dive/oracle/various.dot
- src/plugins/dive/tests/dive/pointed_param.i 25 additions, 0 deletionssrc/plugins/dive/tests/dive/pointed_param.i
- src/plugins/dive/tests/dive/unfocused_callers.i 19 additions, 0 deletionssrc/plugins/dive/tests/dive/unfocused_callers.i
- src/plugins/dive/tests/test_config 1 addition, 1 deletionsrc/plugins/dive/tests/test_config
Loading
Please register or sign in to comment