Security_slicing plugin
API Documentation
The Security_slicing API is dynamically registered:
Security_slicing
API
Dynamically registered plugins
index
Frama-C
complete kernel API
Dynamic
kernel registry for plugins' API
Plugin Internal Documentation
Security_slicing
architecture (SVG format)
Index of
Modules
Index of
Types
Index of
Values
Index of
Exceptions