frama-c-slicing index

Library frama-c-slicing.core

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