@Override public void visit(Value e) { if (e instanceof ShrExpr) { ShrExpr se = (ShrExpr) e; add(e, se.getOp1(), se.getOp2()); } }
/** * It is not neccessary to treat arithmetic expressions. The SecurityLevels * of this expressions are treated at an other place. * @param v an arithmetic expression */ @Override public void caseShrExpr(ShrExpr v) { logger.finest("Shr Expr identified " + callingStmt.toString()); rightElement = RightElement.NOT; }
@Override public void caseShrExpr(ShrExpr v) { throw new RuntimeException("todo"); }
public void caseShrExpr(ShrExpr v) { printBinaryExpr(v); }
private void handleBinopExpr(BinopExpr be, Stmt stmt, Type tlhs) { Value opl = be.getOp1(), opr = be.getOp2(); Type tl = AugEvalFunction.eval_(this.tg, opl, stmt, this.jb), tr = AugEvalFunction.eval_(this.tg, opr, stmt, this.jb); if ( be instanceof AddExpr || be instanceof SubExpr || be instanceof MulExpr || be instanceof DivExpr || be instanceof RemExpr || be instanceof GeExpr || be instanceof GtExpr || be instanceof LeExpr || be instanceof LtExpr || be instanceof ShlExpr || be instanceof ShrExpr || be instanceof UshrExpr ) { if ( tlhs instanceof IntegerType ) { be.setOp1(this.uv.visit(opl, IntType.v(), stmt)); be.setOp2(this.uv.visit(opr, IntType.v(), stmt)); } } else if ( be instanceof CmpExpr || be instanceof CmpgExpr || be instanceof CmplExpr ) { // No checks in the original assigner } else if ( be instanceof AndExpr || be instanceof OrExpr || be instanceof XorExpr ) { be.setOp1(this.uv.visit(opl, tlhs, stmt)); be.setOp2(this.uv.visit(opr, tlhs, stmt)); } else if ( be instanceof EqExpr || be instanceof NeExpr ) { if ( tl instanceof BooleanType && tr instanceof BooleanType ) { } else if ( tl instanceof Integer1Type || tr instanceof Integer1Type ) { } else if ( tl instanceof IntegerType ) { be.setOp1(this.uv.visit(opl, IntType.v(), stmt)); be.setOp2(this.uv.visit(opr, IntType.v(), stmt)); } } }
@Override public void caseShrExpr(ShrExpr sre) { stmtV.addInsn(buildCalculatingBinaryInsn("SHR", sre.getOp1(), sre.getOp2()), origStmt); }
public void caseShrExpr(ShrExpr expr) { caseBinopExpr(expr); }
@Override public void caseShrExpr(ShrExpr arg0) { translateBinOp(arg0); }
/** * DOC * * @see soot.jimple.ExprSwitch#caseShrExpr(soot.jimple.ShrExpr) */ @Override public void caseShrExpr(ShrExpr v) { v.getOp1().apply(this); v.getOp2().apply(this); }
@Override public void caseShrExpr(ShrExpr v) { throwInvalidWriteException(v); }
@Override public void caseShrExpr(ShrExpr v) { handleBinaryExpr(v.getOp1(), v.getOp2()); }
/** * The method should update the <em>security level</em> of a {@link ShrExpr} * , but it is not possible to update the level of an expression. * * @param v * The expression for which the <em>security level</em> should be * updated. * @see soot.jimple.ExprSwitch#caseShrExpr(soot.jimple.ShrExpr) * @throws InvalidSwitchException * Always, because the update is not possible. */ @Override public void caseShrExpr(ShrExpr v) { throw new SwitchException(getMsg("exception.analysis.switch.update_error", this.getClass().getSimpleName(), v.getClass().getSimpleName(), v.toString(), getSourceLine())); }
/** * Looks up the <em>security level</em> for the given binary expression and * stores the level in {@link SecurityLevelValueReadSwitch#level}. For a * {@link ShrExpr} this is the strongest operand <em>security level</em> of * the given binary expression. * * @param v * The expression for which the <em>security level</em> should be * looked up. * @see soot.jimple.ExprSwitch#caseShrExpr(soot.jimple.ShrExpr) * @see SecurityLevelValueReadSwitch#handleBinaryOperation(BinopExpr) */ @Override public void caseShrExpr(ShrExpr v) { handleBinaryOperation(v); }