Package com.ibm.wala.examples.drivers

package com.ibm.wala.examples.drivers

Classes

Class	Description
DemandCastChecker	Uses a demand-driven points-to analysis to check the safety of downcasts.
JavaViewerDriver	Allows viewing the ClassHeirarcy, CallGraph and Pointer Analysis built from a given classpath.
PDFCallGraph	This simple example WALA application builds a call graph and fires off ghostview to visualize a DOT representation.
PDFControlDependenceGraph	This simple example application builds a WALA CDG and fires off ghostview to viz a DOT representation.
PDFSDG	This simple example WALA application builds an SDG and fires off ghostview to viz a DOT representation.
PDFSlice	This simple example WALA application computes a slice (see Slicer) and fires off the PDF viewer to view a dot-ted representation of the slice.
PDFTypeHierarchy	This simple example WALA application builds a TypeHierarchy and fires off ghostview to viz a DOT representation.
PDFWalaIR	This simple example application builds a WALA IR and fires off a PDF viewer to visualize a DOT representation.
ScopeFileCallGraph	Driver that constructs a call graph for an application specified via a scope file.