public soot.Value comparisonInv(Body b, soot.Value left, soot.Value right) { return Jimple.v().newEqExpr(asImmediate(b, left), asImmediate(b, right)); }
public soot.Value emitOperation(Body b, soot.Value left, soot.Value right) { return asLocal(b, Jimple.v().newDivExpr(asImmediate(b, left), asImmediate(b, right))); }