The Scope plugin is integrated with the Frama-C kernel:
See how to use the plugin in the user documentation.
(see also there for a discussion on how we arrived to those definitions)
The code of this plugin is quite simple. It is only composed of :
Datascope_gui
that handles the GUI part,Datascope
that makes the computations.
Some explanations can be found in the code.