
{2 API Documentation}

The Occurrence plugin is integrated with the Frama-C kernel:
 - {{:../index.html}Frama-C} complete kernel API
 - {{:../html/Db.Occurrence.html}Occurrence} available kernel API

{2 Internal Documentation}

 - {{:modules.svg}Occurrence} 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}


{2 Overview}

The Occurrence module aims at highlighting the occurrence of any variable in
the Frama-C GUI. Details about the use of this plugin may be found in
{{:http://frama-c.cea.fr/occurrence.html}the user documentation}.

{2 Inside the plug-in}

The code of this plug-in is quite simple. It is splitted into the analysis
itself and the extension to the GUI. 

The code of this plug-in is quite short but uses most advanced Frama-C
features (visitor, projects, journalisation, log, gui). So it is a good
complete not-toy example of a (kernel-integrated) Frama-C plug-in.
