frama-c-scope index

Library frama-c-scope.core

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

Library frama-c-scope.gui

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