|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| PrimitiveMethodSummary.HeapObject | |
| PrimitiveMethodSummary.Variable | |
| Class Summary | |
|---|---|
| PrimitiveGenRelations | Generate initial relations for BDD pointer analysis. |
| PrimitiveMethodSummary | MethodSummary |
| PrimitiveMethodSummary.AccessPath | Encodes an access path. |
| PrimitiveMethodSummary.BuildMethodSummary | Visitor class to build an intramethod summary. |
| PrimitiveMethodSummary.CallSite | Represents a particular call site in a method. |
| PrimitiveMethodSummary.CheckCastNode | A CheckCastNode refers to the result of a CheckCast instruction |
| PrimitiveMethodSummary.ConcreteObjectNode | A ConcreteObjectNode refers to an object that we discovered through reflection. |
| PrimitiveMethodSummary.ConcreteTypeNode | A ConcreteTypeNode refers to an object with a concrete type. |
| PrimitiveMethodSummary.FakeParamNode | |
| PrimitiveMethodSummary.FieldNode | A FieldNode represents the result of a 'load' instruction. |
| PrimitiveMethodSummary.GlobalNode | A GlobalNode stores references to the static variables. |
| PrimitiveMethodSummary.InsideEdgeNavigator | Represents a field edge between two nodes. |
| PrimitiveMethodSummary.MethodSummaryBuilder | Helper class to output method summary in dot graph format. |
| PrimitiveMethodSummary.Node | |
| PrimitiveMethodSummary.NodeSet | |
| PrimitiveMethodSummary.OperandToNodeMap | |
| PrimitiveMethodSummary.OutsideNode | An outside node is some node that can be mapped to other nodes. |
| PrimitiveMethodSummary.ParamNode | A ParamNode represents an incoming parameter. |
| PrimitiveMethodSummary.PassedParameter | Represents a particular parameter passed to a particular method call. |
| PrimitiveMethodSummary.PlaceholderNode | A PlaceholderNode is used to signify an object that is out-of-scope. |
| PrimitiveMethodSummary.ReturnedNode | A ReturnedNode represents a return value or thrown exception from a method call. |
| PrimitiveMethodSummary.ReturnValueNode | A ReturnValueNode represents the return value of a method call. |
| PrimitiveMethodSummary.State | Records the state of the intramethod analysis at some point in the method. |
| PrimitiveMethodSummary.ThrownExceptionNode | A ThrownExceptionNode represents the thrown exception of a method call. |
| PrimitiveMethodSummary.UnknownTypeNode | A UnknownTypeNode refers to an object with an unknown type. |
| PrimitivePA | Pointer analysis using BDDs. |
| PrimitivePA.ThreadRootMap | |
| PrimitivePA.VarPathSelector | |
| PrimitivePACallGraph | PrimitivePACallGraph |
| PrimitivePACallGraph.BDDSet | |
| PrimitivePACallGraph.PACallTargetMap | |
| PrimitivePAMethodSummary | |
| PrimitiveSubtypeHelper | |
| PrimitiveSubtypeHelper.KnownClassesSubtypeHelper | |
| PrimitiveSubtypeHelper.OfflineSubtypeHelper | |
| PrimitiveSubtypeHelper.OnlineSubtypeHelper | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||