share/analysis-scripts/build_callgraph.py · ab5db2c6c248132c9611332c52f46f334f0a5f31 · pub / frama-c

3 years ago

[analysis-scripts] improve and distribute estimate-difficulty executable · ab5db2c6

Andre Maroneze authored 3 years ago

Allow estimate-difficulty to be exported (in Linux/macOS/Windows) as
independent executable, so that it can be used without having to install
Frama-C.

ab5db2c6

History

[analysis-scripts] improve and distribute estimate-difficulty executable

Andre Maroneze authored 3 years ago

Allow estimate-difficulty to be exported (in Linux/macOS/Windows) as
independent executable, so that it can be used without having to install
Frama-C.

build_callgraph.py 6.78 KiB