Impact.Compute_impactSourceval initial_nodes :
skip:Frama_c_kernel.Locations.Zone.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt ->
Pdg_types.PdgTypes.Node.t listval nodes_impacted_by_stmts :
?skip:Frama_c_kernel.Locations.Zone.t ->
?restrict:Frama_c_kernel.Locations.Zone.t ->
?reason:bool ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt list ->
result * nodes Frama_c_kernel.Kernel_function.Map.t * Reason_graph.reasonnodes in returned map are initial nodes
val nodes_impacted_by_nodes :
?skip:Frama_c_kernel.Locations.Zone.t ->
?restrict:Frama_c_kernel.Locations.Zone.t ->
?reason:bool ->
Frama_c_kernel.Cil_types.kernel_function ->
Pdg_types.PdgTypes.Node.t list ->
result * nodes Frama_c_kernel.Kernel_function.Map.t * Reason_graph.reasonnodes in returned map are initial nodes
val stmts_impacted :
?skip:Frama_c_kernel.Locations.Zone.t ->
reason:bool ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.stmt list ->
Frama_c_kernel.Cil_types.stmt listval nodes_impacted :
?skip:Frama_c_kernel.Locations.Zone.t ->
reason:bool ->
Frama_c_kernel.Cil_types.kernel_function ->
Pdg_types.PdgTypes.Node.t list ->
nodescomputed from the option -impact-skip