Package qilin.pta.toolkits.conch

Class AbstractPAG

java.lang.Object
qilin.pta.toolkits.conch.AbstractPAG
Direct Known Subclasses:
DepOnParamAnalysis, LeakAnalysis
public abstract class AbstractPAG extends Object

  • Field Details

  • Constructor Details

    • AbstractPAG

      protected AbstractPAG(PTA prePTA)

  • Method Details

    • build

      protected void build()

    • addNormalEdge

      protected void addNormalEdge(TranEdge edge)

    • addThrowEdge

      protected void addThrowEdge(Node throwNode)

    • addParamEdge

      protected void addParamEdge(LocalVarNode param)

    • addReturnEdge

      protected void addReturnEdge(LocalVarNode mret)

    • addNewEdge

      protected void addNewEdge(AllocNode from, LocalVarNode to)

    • addAssignEdge

      protected void addAssignEdge(LocalVarNode from, LocalVarNode to)

    • addStoreEdge

      protected void addStoreEdge(LocalVarNode from, LocalVarNode base)

    • addLoadEdge

      protected void addLoadEdge(LocalVarNode base, LocalVarNode to)

    • solve

      protected void solve()

    • outAndSummaryEdges

      protected Collection<TranEdge> outAndSummaryEdges(Node node)

    • submitInitialSeeds

      protected abstract void submitInitialSeeds()

    • awaitCompletionComputeValuesAndShutdown

      protected void awaitCompletionComputeValuesAndShutdown()

    • getSymbolicHeapOf

      protected AllocNode getSymbolicHeapOf(SootMethod method, Stmt invokeStmt)