|
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 |
|