Dive plugin

Directory plugins

Section Dive (in plugins/dive)


Build
Callstack
Context
Dive
Dive_graph
Dive_types
Main

Register the plugin in the Frama-C kernel.

Node_kind
Node_range
Self
Server_interface