Merge branch 'feature/dario/heuristic-callgraph' into 'master'
[analysis-scripts] add heuristic callgraph and related functions Closes #854 See merge request frama-c/frama-c!2819
Showing
- bin/frama-c-script 60 additions, 24 deletionsbin/frama-c-script
- headers/header_spec.txt 1 addition, 0 deletionsheaders/header_spec.txt
- share/analysis-scripts/build_callgraph.py 181 additions, 0 deletionsshare/analysis-scripts/build_callgraph.py
- share/analysis-scripts/detect_recursion.py 44 additions, 0 deletionsshare/analysis-scripts/detect_recursion.py
- share/analysis-scripts/estimate_difficulty.py 267 additions, 0 deletionsshare/analysis-scripts/estimate_difficulty.py
- share/analysis-scripts/find_fun.py 4 additions, 4 deletionsshare/analysis-scripts/find_fun.py
- share/analysis-scripts/function_finder.py 162 additions, 9 deletionsshare/analysis-scripts/function_finder.py
- share/analysis-scripts/heuristic_list_functions.py 64 additions, 0 deletionsshare/analysis-scripts/heuristic_list_functions.py
- share/analysis-scripts/make_template.py 2 additions, 2 deletionsshare/analysis-scripts/make_template.py
- share/analysis-scripts/print_callgraph.py 60 additions, 0 deletionsshare/analysis-scripts/print_callgraph.py
- share/libc/__fc_libc.h 109 additions, 0 deletionsshare/libc/__fc_libc.h
- tests/fc_script/build-callgraph.i 69 additions, 0 deletionstests/fc_script/build-callgraph.i
- tests/fc_script/list_functions.i 4 additions, 0 deletionstests/fc_script/list_functions.i
- tests/fc_script/oracle/build-callgraph.err 0 additions, 0 deletionstests/fc_script/oracle/build-callgraph.err
- tests/fc_script/oracle/build-callgraph.res 21 additions, 0 deletionstests/fc_script/oracle/build-callgraph.res
- tests/fc_script/oracle/find_fun1.res 2 additions, 1 deletiontests/fc_script/oracle/find_fun1.res
- tests/fc_script/oracle/find_fun2.res 2 additions, 1 deletiontests/fc_script/oracle/find_fun2.res
- tests/fc_script/oracle/find_fun3.res 1 addition, 1 deletiontests/fc_script/oracle/find_fun3.res
- tests/fc_script/oracle/heuristic_list_functions.err 0 additions, 0 deletionstests/fc_script/oracle/heuristic_list_functions.err
- tests/fc_script/oracle/heuristic_list_functions.res 50 additions, 0 deletionstests/fc_script/oracle/heuristic_list_functions.res
Loading
Please register or sign in to comment