sig
type nodes = Pdg_aux.NS.t
type result = Compute_impact.nodes Kernel_function.Map.t
val initial_nodes :
skip:Locations.Zone.t ->
Cil_types.kernel_function -> Cil_types.stmt -> PdgTypes.Node.t list
val nodes_impacted_by_stmts :
?skip:Locations.Zone.t ->
?restrict:Locations.Zone.t ->
?reason:bool ->
Cil_types.kernel_function ->
Cil_types.stmt list ->
Compute_impact.result * Compute_impact.nodes Kernel_function.Map.t *
Reason_graph.reason
val nodes_impacted_by_nodes :
?skip:Locations.Zone.t ->
?restrict:Locations.Zone.t ->
?reason:bool ->
Cil_types.kernel_function ->
PdgTypes.Node.t list ->
Compute_impact.result * Compute_impact.nodes Kernel_function.Map.t *
Reason_graph.reason
val stmts_impacted :
?skip:Locations.Zone.t ->
reason:bool ->
Cil_types.kernel_function -> Cil_types.stmt list -> Cil_types.stmt list
val nodes_impacted :
?skip:Locations.Zone.t ->
reason:bool ->
Cil_types.kernel_function -> PdgTypes.Node.t list -> Compute_impact.nodes
val result_to_nodes : Compute_impact.result -> Compute_impact.nodes
val nodes_to_stmts : Compute_impact.nodes -> Cil_types.stmt list
val impact_in_kf :
Compute_impact.result ->
Cil_types.kernel_function -> Compute_impact.nodes
val skip : unit -> Locations.Zone.t
end