qilin.pta.toolkits.dd

Class CtxTunnelingFeaturesTrueTable

java.lang.Object

qilin.pta.toolkits.dd.CtxTunnelingFeaturesTrueTable

public class CtxTunnelingFeaturesTrueTable
extends Object

Constructor Summary

Constructors

Constructor and Description
CtxTunnelingFeaturesTrueTable(View view, SootMethod sm)

Method Summary

Modifier and Type	Method and Description
boolean	cfaFormula1()
boolean	cfaFormula2()
boolean	containedInNestedClass(SootMethod sm)
boolean	hybridFormula1()
boolean	hybridFormula2()
boolean	objFormula1()
boolean	objFormula2()
boolean	typeFormula1()
boolean	typeFormula2()

Methods inherited from class java.lang.Object

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

Constructor Detail

CtxTunnelingFeaturesTrueTable

public CtxTunnelingFeaturesTrueTable(View view,
                                     SootMethod sm)

Method Detail

containedInNestedClass

public boolean containedInNestedClass(SootMethod sm)

cfaFormula2

public boolean cfaFormula2()

cfaFormula1

public boolean cfaFormula1()

objFormula2

public boolean objFormula2()

objFormula1

public boolean objFormula1()

typeFormula2

public boolean typeFormula2()

typeFormula1

public boolean typeFormula1()

hybridFormula2

public boolean hybridFormula2()

hybridFormula1

public boolean hybridFormula1()