|
Class Summary |
| AbstractJFaceRunner |
abstract base class for launching a JFace application
TODO: unify with other launchers? |
| IFDSExplorer |
Explore the result of an IFDS problem with an SWT viewer and ghostview. |
| SWTTreeViewer |
A class to view a WALA Graph with an SWT TreeViewer |
| ViewIFDSLocalAction<T,P,F> |
An SWT action that spawns spawns a ghostview to see the local supergraph for a procedure node which is the current selection in a
tree viewer. |
| ViewIRAction |
An SWT action that spawns spawns a ghostview to see the IR for a call graph node which is the current selection in a tree viewer. |