Snippets Groups Projects

[analysis-scripts] start heuristic callgraph

Dario Pinto authored 4 years ago

fe5fac10

fe5fac10 4 years ago

Name	Last commit	Last update
..
.gitignore
README.md
analysis.mk
bench-sqlite.sh
benchmark.sh
benchmark_database.py
build_callgraph.py
clone.sh
cmd-dep.sh
concat-csv.sh
creduce.sh
epilogue.mk
fc_stubs.c
find_fun.py
flamegraph.pl
frama_c_results.py
function_finder.py
git_utils.py
list_files.py
list_functions.ml
make_template.py
make_wrapper.py
normalize_jcdb.py
parse-coverage.sh
plot.sh
prologue.mk
readme-graph.graphml
readme-graph.svg
results_display.py
summary.py
template.mk

Analysis scripts

Documentation related to the contents of this directory is available in the Frama-C User Manual, chapter "Analysis scripts".