
{2 API Documentation}

The Semantic_callgraph API is dynamically registered:
 - {{:../dynamic_plugins/Dynamic_plugins.Semantic_callgraph.html} Semantic_callgraph} API
 - {{:../dynamic_plugins/Dynamic_plugins.html} Dynamically registered plugins} index

 - {{:../index.html}Frama-C} complete kernel API
 - {{:../html/Dynamic.html}Dynamic} kernel registry for plugins' API


{2 Plugin Internal Documentation}

 - {{:modules.svg}Semantic_callgraph} architecture (SVG format)
 - Index of {{:index_modules.html}Modules}
 - Index of {{:index_types.html}Types}
 - Index of {{:index_values.html}Values}
 - Index of {{:index_exceptions.html}Exceptions}

