Frama-C:
Plug-ins:
Libraries:

frama-c-dive index

Library frama-c-dive.core

The entry point of this library is the module: Dive.