| Package | Description |
|---|---|
| qilin.core | |
| qilin.core.sets | |
| qilin.pta.tools | |
| qilin.stat | |
| qilin.util |
Generally useful utility classes for Soot.
|
| Modifier and Type | Method and Description |
|---|---|
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
SootMethod m,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
PTA.reachingObjects(Context c,
SootMethod m,
Local l)
Returns the set of objects pointed to by variable l in context c.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Context c,
SootMethod m,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects pointed to by l in
context c.
|
PointsToSet |
PTA.reachingObjects(Context c,
SootMethod m,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects pointed to by l in
context c.
|
PointsToSet |
PointsToAnalysis.reachingObjects(Node n) |
PointsToSet |
PTA.reachingObjects(Node n)
Returns the set of objects pointed by n: case 1: n is an insensitive node, return objects
pointed by n under every possible context.
|
PointsToSet |
PointsToAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.
|
PointsToSet |
PTA.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.
|
PointsToSet |
PointsToAnalysis.reachingObjects(SootField f)
Returns the set of objects pointed to by static field f.
|
PointsToSet |
PTA.reachingObjects(SootField f) |
PointsToSet |
PointsToAnalysis.reachingObjects(SootMethod m,
Local l)
Returns the set of objects pointed to by variable l.
|
PointsToSet |
PTA.reachingObjects(SootMethod m,
Local l)
Returns the set of objects pointed to by variable l.
|
PointsToSet |
PointsToAnalysis.reachingObjects(SootMethod m,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects pointed to by l.
|
PointsToSet |
PTA.reachingObjects(SootMethod m,
Local l,
SootField f)
Returns the set of objects pointed to by instance field f of the objects pointed to by l.
|
PointsToSet |
PTA.reachingObjectsInternal(AllocNode heap,
SparkField f) |
PointsToSet |
PTA.reachingObjectsInternal(PointsToSet bases,
SparkField f) |
PointsToSet |
PointsToAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.
|
PointsToSet |
PTA.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.
|
| Modifier and Type | Method and Description |
|---|---|
PointsToSet |
PointsToAnalysis.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.
|
PointsToSet |
PTA.reachingObjects(PointsToSet s,
SootField f)
Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.
|
PointsToSet |
PTA.reachingObjectsInternal(PointsToSet bases,
SparkField f) |
PointsToSet |
PointsToAnalysis.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.
|
PointsToSet |
PTA.reachingObjectsOfArrayElement(PointsToSet s)
Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.
|
| Modifier and Type | Class and Description |
|---|---|
class |
UnmodifiablePointsToSet |
| Modifier and Type | Method and Description |
|---|---|
PointsToSet |
PointsToSet.toCIPointsToSet() |
PointsToSet |
UnmodifiablePointsToSet.toCIPointsToSet() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
PointsToSet.hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other.
|
boolean |
UnmodifiablePointsToSet.hasNonEmptyIntersection(PointsToSet other) |
| Modifier and Type | Method and Description |
|---|---|
PointsToSet |
DebloatedPTA.reachingObjects(Context c,
SootMethod m,
Local l) |
PointsToSet |
DebloatedPTA.reachingObjects(Context c,
SootMethod m,
Local l,
SootField f) |
PointsToSet |
DebloatedPTA.reachingObjects(Node n) |
PointsToSet |
DebloatedPTA.reachingObjects(PointsToSet s,
SootField f) |
PointsToSet |
DebloatedPTA.reachingObjects(SootField f) |
PointsToSet |
DebloatedPTA.reachingObjects(SootMethod m,
Local l) |
PointsToSet |
DebloatedPTA.reachingObjects(SootMethod m,
Local l,
SootField f) |
PointsToSet |
DebloatedPTA.reachingObjectsOfArrayElement(PointsToSet s) |
| Modifier and Type | Method and Description |
|---|---|
PointsToSet |
DebloatedPTA.reachingObjects(PointsToSet s,
SootField f) |
PointsToSet |
DebloatedPTA.reachingObjectsOfArrayElement(PointsToSet s) |
| Modifier and Type | Method and Description |
|---|---|
protected Set<Object> |
PointsToStat.getPointsToNewExpr(PointsToSet pts) |
protected Set<Object> |
SimplifiedEvaluator.getPointsToNewExpr(PointsToSet pts) |
| Modifier and Type | Method and Description |
|---|---|
void |
Exporter.dumpMethodThrowPointsto(Map<SootMethod,PointsToSet> m2pts) |
| Modifier and Type | Method and Description |
|---|---|
static void |
PTAUtils.printPts(PTA pta,
PointsToSet pts) |
Copyright © 2024 Soot OSS. All rights reserved.