module Register: sig
.. end
val compute_pragmas : unit -> Cil_types.stmt list
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.
Returns the impacted statements
val from_stmt : Cil_types.stmt -> Cil_types.stmt list
Compute the impact analysis of the given statement.
Returns the impacted statements
val from_nodes : Cil_types.kernel_function -> PdgTypes.Node.t list -> PdgTypes.NodeSet.t
Compute the impact analysis of the given set of PDG nodes,
that come from the given function.
Returns the impacted nodes