Examples with CPFlowSet soot.dava.toolkits.base.AST.structuredAnalysis.CPFlowSet used on opensource projects

Example 6 with CPFlowSet

use of soot.dava.toolkits.base.AST.structuredAnalysis.CPFlowSet in project soot by Sable.

the class CPApplication method inASTWhileNode.

public void inASTWhileNode(ASTWhileNode node) {
    Object obj = cp.getAfterSet(node);
    if (obj == null)
        return;
    if (!(obj instanceof CPFlowSet))
        return;
    // after set is a non null CPFlowSet
    CPFlowSet afterSet = (CPFlowSet) obj;
    ASTCondition cond = node.get_Condition();
    // System.out.println("While Statement with condition: "+cond);
    // System.out.println("After set is: "+afterSet.toString());
    changedCondition(cond, afterSet);
}

Example 7 with CPFlowSet

use of soot.dava.toolkits.base.AST.structuredAnalysis.CPFlowSet in project soot by Sable.

the class CPApplication method inASTIfElseNode.

public void inASTIfElseNode(ASTIfElseNode node) {
    Object obj = cp.getBeforeSet(node);
    if (obj == null)
        return;
    if (!(obj instanceof CPFlowSet))
        return;
    // before set is a non null CPFlowSet
    CPFlowSet beforeSet = (CPFlowSet) obj;
    ASTCondition cond = node.get_Condition();
    // System.out.println("IfElse Statement with condition: "+cond);
    // System.out.println("Before set is: "+beforeSet.toString());
    changedCondition(cond, beforeSet);
}