Snippets Groups Projects

[analysis-scripts] export FRAMAC_BIN from frama-c-script and update scripts

Andre Maroneze authored 4 years ago

Also use argparse for command-line parsing.

5fe84d36

5fe84d36 4 years ago

Name	Last commit	Last update
..
.gitignore
README.md
analysis.mk
bench-sqlite.sh
benchmark.sh
benchmark_database.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
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".