Frama-C:
Plug-ins:
Libraries:

Frama-C API - frama-c-scope

Library frama-c-scope.core

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