PCGE

Project Call Graph Explorer

This is a simple Frama-C plugin devoted to analyse C projects and to produce retro-design information. This plugin is able to generate:

• function call-graph
• module call-graph (deduced from function call-graph)
• automatic call dependencies of each module (.c file)
• computation of the longuest branch in the calltree for stack analysis usage (stack usage of each function shall be entered as input)
• counting lins of code and comment per function

Graphs are generated in dot format. Use graphviz to generate .png, .svg of other formats. This plugin is easy to modify for other usages.

Installation

Prerequisites:

• Ocaml (>= 4.02.3)
• Frama-C ( >= Sulfur) very easy to adapt to prior versions of OCaml and Frama-C

2 ways to use it:

1. Without installing it with -load-script option

frama-c -load-script <absolute-path>/plug.ml -pcg-help # to check is the plugin is available

2. By installing it as a real plugin in your Frama-C

make
make install
frama-c -pcg-help # to check is the plugin is available

Examples

frama-c -no-annot <source files> -load-script ~/Tools/FRAMAC/PLUGINS/PCGE_Argon/plug.ml -pcg-m m.dot -pcg-f f.dot
dot -Tsvg m.dot -o m.svg
dot -Tsvg f.dot -o f.svg
firefox m.svg f.svg

• function call graph

• module call graph

• counting lines :

frama-c -load-script plug.ml <source files> -keep-comments -c11 -pcg-comment -pcg-comments f1.csv

output:
file.c;CallBackConsoleOut;5;1;20
file.c;CallBackDebugOut;4;0;0
file.c;CallBackErrorCode;4;0;0
file.c;CallBackErrorOut;4;0;0
file.c;CallBackGetProgramByte;7;2;28
file.c;CallBackReset;3;0;0
file.c;main;28;14;50