Impact.Register
val compute_annots : unit -> Frama_c_kernel.Cil_types.stmt list
Compute the impact analysis from the impact annotations in the program. Print and slice the results according to the parameters -impact-print and -impact-slice.
val from_stmt :
Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.stmt list
Compute the impact analysis of the given statement.
val from_nodes :
Frama_c_kernel.Cil_types.kernel_function ->
Pdg_types.PdgTypes.Node.t list ->
Pdg_types.PdgTypes.NodeSet.t
Compute the impact analysis of the given set of PDG nodes, that come from the given function.
val slice : Frama_c_kernel.Cil_types.stmt list -> Frama_c_kernel.Project.t