Frama-C API - frama-c-security_slicing

Library frama-c-security_slicing.core

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