Frama-C:
Plug-ins:
Libraries:

frama-c-security_slicing index

Library frama-c-security_slicing.core

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

Library frama-c-security_slicing.gui

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