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.
|