# Package accrue.analysis.pointer

- Interface Summary
  Interface | Description
  --- | ---
  CContext | A procedure analysis context.
  HContext | An abstract heap object.

- Class Summary
  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 Summary
  Exception | Description
  --- | ---
  PointsToEngine.PointsToTimeoutException |