Syntactic_callgraph plugin

API Documentation

The Syntactic_callgraph plugin is integrated with the Frama-C kernel:

Internal Documentation