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