Package qilin.pta.toolkits.dd

Class CtxTunnelingFeaturesTrueTable

java.lang.Object
qilin.pta.toolkits.dd.CtxTunnelingFeaturesTrueTable
public class CtxTunnelingFeaturesTrueTable extends Object

  • Constructor Details

    • CtxTunnelingFeaturesTrueTable

      public CtxTunnelingFeaturesTrueTable(View view, SootMethod sm)

  • Method Details

    • 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()