Index of types

C
call_interface [Pdg_aux]

Abstract view of a call frontier.

N
node [Pdg_aux]

Refinement of a PDG node: we add an indication of which zone is really impacted

nodes [Compute_impact]
nodes_origin [Reason_graph]

Map from a node to the kernel_function it belongs to

R
reason [Reason_graph]
reason_graph [Reason_graph]
reason_type [Reason_graph]

Why is a node impacted.

result [Compute_impact]