| Interface | Description |
|---|---|
| CContext |
A procedure analysis context.
|
| HContext |
An abstract heap object.
|
| Class | Description |
|---|---|
| AllocSiteNode |
Represents an allocation site in the code.
|
| CallSiteNode |
XXX TODO
Represents a call site, to a method or constructor.
|
| ConstructorContext |
ConstructorContext is used to distinguish instances of code.
|
| LibraryPointsToSignature | |
| ObjectField |
Represents a field of an abstract object for pointer analysis.
|
| PointerAnalysisPass | |
| PointsToEngine | |
| PointsToEngine.StmtAndContext | |
| PointsToEngineMultiThread | |
| PointsToEngineSingleThread | |
| PointsToEngineTimeout | |
| PointsToGraph |
A PointsToGraph is a data structure that describes what expressions/locations
(i.e., PointsToGraphNodes) can point to what abstract objects
(i.e., HContexts)
|
| PointsToGraphNode |
A PointsToGraphNode represents something that can point to an object.
|
| PointsToGraphSerial | |
| PointsToGraphSync |
A concurrent implementation of the PointsToGraph.
|
| PointsToLibrarySigs | |
| PointsToLibrarySigs.AllocatorOrReceiver |
Returns a new node, and maybe also the receiver.
|
| PointsToLibrarySigs.AssignsArgToField | |
| PointsToLibrarySigs.ReturnsField | |
| PointsToLibrarySigs.Singleton |
Returns a singleton.
|
| PointsToStmt | |
| ReferenceVariable |
A ReferenceVariable represents the result of an expression.
|
| ReferenceVariableReplica | |
| RegisterPointerStmtsVisitor |
Registers all procedures (methods, constructors, initializers) with
the InterAnalysisPass.
|
| StmtAllocToLocal | |
| StmtConstructorCall | |
| StmtFieldToLocal | |
| StmtFilteredLocalToLocal |
left = right, but only allow left to point to objects that
are subtypes ot t and are not subtypes of any element of notT.
|
| StmtLocalToField | |
| StmtLocalToLocal | |
| StmtProcedureCall | |
| StmtProcedureCall.ExceptionHandlerPointsToGraphNode | |
| StmtRegistrar | |
| StmtRegistrar.CodeInfo | |
| StmtRegistrar.ExceptionHandlerReferenceVariable | |
| StmtSpecialMethodCall | |
| StmtStaticMethodCall | |
| StmtVirtualMethodCall |
| Exception | Description |
|---|---|
| PointsToEngine.PointsToTimeoutException |