frama-c-slicing index

Library frama-c-slicing.core

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

Library frama-c-slicing.gui

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