@Override public String toString() { Unit t = getTarget(); String target = "(branch)"; if (!t.branches()) { target = t.toString(); } return Jimple.IF + " " + getCondition().toString() + " " + Jimple.GOTO + " " + target; }
private void handleIfStmt(JIfStmt ifStmt, AnalysisInfo in, AnalysisInfo out, AnalysisInfo outBranch) { Value condition = ifStmt.getCondition(); if (condition instanceof JInstanceOfExpr) { // a instanceof X ; if this succeeds, a is not null JInstanceOfExpr expr = (JInstanceOfExpr) condition; handleInstanceOfExpression(expr, in, out, outBranch); } else if (condition instanceof JEqExpr || condition instanceof JNeExpr) { // a==b or a!=b AbstractBinopExpr eqExpr = (AbstractBinopExpr) condition; handleEqualityOrNonEqualityCheck(eqExpr, in, out, outBranch); } }
@Override public Object clone() { return new JIfStmt(Jimple.cloneIfNecessary(getCondition()), getTarget()); }
@Override public void convertToBaf(final JimpleToBafContext context, final List<Unit> out) { Value cond = getCondition();
public String toString() { Unit t = getTarget(); String target = "(branch)"; if(!t.branches()) target = t.toString(); return Jimple.IF + " " + getCondition().toString() + " " + Jimple.GOTO + " " + target; }
public String toString() { Unit t = getTarget(); String target = "(branch)"; if(!t.branches()) target = t.toString(); return Jimple.IF + " " + getCondition().toString() + " " + Jimple.GOTO + " " + target; }
public Object clone() { return new JIfStmt(Jimple.cloneIfNecessary(getCondition()), getTarget()); }
public Object clone() { return new JIfStmt(Jimple.cloneIfNecessary(getCondition()), getTarget()); }