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