Scope plugin

API Documentation

The Scope plugin is integrated with the Frama-C kernel:

Internal Documentation

Overview

See how to use the plugin in the user documentation.

(see also there for a discussion on how we arrived to those definitions)

Inside the plugin

The code of this plugin is quite simple. It is only composed of :