Frama-C API - Compute_impact
type nodes = Pdg_aux.NS.ttype result = nodes Frama_c_kernel.Kernel_function.Map.tval 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 -> nodesval nodes_to_stmts : nodes -> Frama_c_kernel.Cil_types.stmt listval impact_in_kf : result -> Frama_c_kernel.Cil_types.kernel_function -> nodesval skip : unit -> Frama_c_kernel.Locations.Zone.tcomputed from the option -impact-skip