"src/plugins/git@git.frama-c.com:pub/frama-c.git" did not exist on "b55f010a9931c73af14760f2ff0a9694234a02c4"
[Analysis-scripts] add find-fun script, to grep for function declarations/definitions
Showing
- Makefile 2 additions, 0 deletionsMakefile
- bin/frama-c-script 9 additions, 0 deletionsbin/frama-c-script
- headers/header_spec.txt 1 addition, 0 deletionsheaders/header_spec.txt
- share/analysis-scripts/find_fun.py 101 additions, 0 deletionsshare/analysis-scripts/find_fun.py
- tests/fc_script/for-find-fun.c 17 additions, 0 deletionstests/fc_script/for-find-fun.c
- tests/fc_script/main.c 2 additions, 0 deletionstests/fc_script/main.c
- tests/fc_script/oracle/find_fun1.err 0 additions, 0 deletionstests/fc_script/oracle/find_fun1.err
- tests/fc_script/oracle/find_fun1.res 5 additions, 0 deletionstests/fc_script/oracle/find_fun1.res
- tests/fc_script/oracle/find_fun2.err 0 additions, 0 deletionstests/fc_script/oracle/find_fun2.err
- tests/fc_script/oracle/find_fun2.res 3 additions, 0 deletionstests/fc_script/oracle/find_fun2.res
Loading
Please register or sign in to comment