Impact plugin


Directory plugins

Section Impact (in plugins/impact)


Compute_impact
Initial
Impact
Impact analysis.
Options
Use pragmas of given function.
Pdg_aux
Useful functions that are not directly accessible through the other Pdg modules.
Reason_graph
Why is a node impacted.
Register
Register_gui
Extension of the GUI for the impact plugin.