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 |