Package com.ibm.wala.shrikeBT.analysis
-
Interface Summary Interface Description ClassHierarchyProvider This interface provides information about the class hierarchy to some consumer, such as a bytecode verifier. -
Class Summary Class Description Analyzer Analyzer.PathElement ClassHierarchy This class takes the raw information from a ClassHierarchyProvider and computes type operations (subtype check, type union).ClassHierarchyStore This implementation of ClassHierarchyProvider is a simple writable data structure representing a class hierarchy.Verifier This class typechecks intermediate code. -
Exception Summary Exception Description Analyzer.FailureException This exception is thrown by verify() when it fails.