Module Register

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.

val from_stmt : Cil_types.stmt -> Cil_types.stmt list

Compute the impact analysis of the given statement.

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.

val slice : Cil_types.stmt list -> Project.t