Package com.ibm.wala.shrikeBT.analysis

Interface Summary

ClassHierarchyProvider

This interface provides information about the class hierarchy to some consumer, such as a bytecode verifier.

Class Summary

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

Analyzer.FailureException

This exception is thrown by verify() when it fails.