soot.jimple.spark.geom.dataMgr

Class Obj_full_extractor

java.lang.Object

soot.jimple.spark.geom.dataMgr.PtSensVisitor<IntervalContextVar>

soot.jimple.spark.geom.dataMgr.Obj_full_extractor

public class Obj_full_extractor
extends PtSensVisitor<IntervalContextVar>

Extracts the full context sensitive points-to result.

Author:

xiao

Field Summary

Fields inherited from class soot.jimple.spark.geom.dataMgr.PtSensVisitor

outList, ptsProvider, readyToUse, tableView

Constructor Summary

Constructors

Constructor and Description
Obj_full_extractor()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	visit(Node var, long L, long R, int sm_int) We use visitor pattern to collect contexts.

Methods inherited from class soot.jimple.spark.geom.dataMgr.PtSensVisitor

debugPrint, finish, getCSList, getUsageState, hasNonEmptyIntersection, numOfDiffObjects, prepare, toSparkCompatiableResult

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Obj_full_extractor

public Obj_full_extractor()

Method Detail

visit

public boolean visit(Node var,
            long L,
            long R,
            int sm_int)

Description copied from class: PtSensVisitor

We use visitor pattern to collect contexts. Derived classes decide how to deal with the variable with the contexts [L, R). Returning false means this interval [L, R) is covered by other intervals.

Specified by:

visit in class PtSensVisitor<IntervalContextVar>

sm_int - : the integer ID of the SootMethod