Module Db.Impact


module Impact: sig .. end
Impact analysis.
See also internal documentation.

val compute_pragmas : (unit -> unit) Pervasives.ref
Compute the impact analysis from the impact pragma in the program. Print and slice the results according to the parameters -impact-print and -impact-slice.
Consult the Plugin Development Guide for additional details.
val from_stmt : (Cil_types.stmt -> Cil_types.stmt list) Pervasives.ref
Compute the impact analysis of the given statement.
Returns the impacted statement
val slice : (Cil_types.stmt list -> unit) Pervasives.ref
Slice the given statement according to the impact analysis.