module Reason_graph: sig
.. end
Why is a node impacted. The reasons will be given as n is impacted
by the effect of [n'], and the impact is of type reason
.
module NodeSet: PdgTypes.NodeSet
type
reason_type =
| |
Intraprocedural of PdgTypes.Dpd.t |
| |
InterproceduralDownward |
| |
InterproceduralUpward |
Why is a node impacted. The reasons will be given as n is impacted
by the effect of [n'], and the impact is of type reason
.
module ReasonType: Datatype.Make
(
sig
end
)
module Reason: Datatype.Triple_with_collections
(
PdgTypes.Node
)
(
PdgTypes.Node
)
(
ReasonType
)
(
sig
end
)
Reasons for impact are expressed as sets (n', n, reason)
type
reason_graph = Reason.Set.t
Map from a node to the kernel_function it belongs to
type
nodes_origin = Cil_types.kernel_function PdgTypes.Node.Map.t
type
reason = {
}
val empty : reason
module DatatypeReason: Datatype.Make
(
sig
end
)
module type AdditionalInfo = sig
.. end
module Printer:
module Dot:
val to_dot_file : temp:bool ->
?in_kf:Cil_types.kernel_function -> reason -> string
val print_dot_graph : reason -> unit
val print_reason : Reason.Set.t -> unit