# Package accrue.analysis.pointer.analyses

- Class Summary
  Class | Description
  --- | ---
  CallSiteContextSensitiveAnalysis | Analysis where the contexts are based on procedure call sites
  CallSiteForCallee | Call site sensitive for any callees matching a given prefix
  CallSiteForPattern | Call site sensitivity, but only for call sites that match a particular pattern.
  CrossProductAnalysis | Create an analysis context that is the cross product of two context representations.
  DistinguishClass | A heap abstraction that improves the precision of object sensitive analyses: once a call stack is tainted by a subclass of the specified class, all heap and code contexts are distinguished by the allocation site of that specified class.
  FullObjSensitiveAnalysis |
  HeapAbstractionFactory | A HeapAbstractionFactory is responsible for providing an appropriate abstraction of the heap for pointer analysis.
  StaticCallSiteContextSensitiveAnalysis | Similar to CallSiteContextSensitiveAnalysis, this is a call-site sensitive analysis.
  StickFirstCalledFrom | Analysis that keeps the first N call sites where the file called from matches a particular prefix.
  StickFirstCallee | Analysis that keeps the first N call sites that matches a particular prefix.
  StickFirstCollections | Precisely track the first calls into the Java collections framework.
  StickFirstMatches | Analysis that keeps the first N call sites that matches some predicate.
  StickFirstPrimitive | Precisely track the first calls into the one of the 8 Java primitive wrappers.
  TypeSensitive_nTmH_Analysis | A 2type+1H Type Sensitive pointer analysis, as described in "Pick Your Contexts Well: Understanding Object-Sensitivity" by Smaragdakis, Bravenboer, and Lhotak, POPL 2011.