import soot.jimple.DivExpr; //导入依赖的package包/类
@Override
public void visit(Value e) {
	if (e instanceof DivExpr) {
		DivExpr de = (DivExpr) e;
		add(e, de.getOp1(), de.getOp2());
	}
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
@Override
public void caseDivExpr(DivExpr v) {
	throw new RuntimeException("todo");
	
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
public void caseDivExpr(DivExpr v) {
	printBinaryExpr(v);
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
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));
		}
	}
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
@Override
public void caseDivExpr(DivExpr de) {
       stmtV.addInsn(buildCalculatingBinaryInsn("DIV", de.getOp1(), de.getOp2()), origStmt);
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
public void caseDivExpr(DivExpr expr) {
    caseBinopDivExpr(expr);
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
@Override
public void caseDivExpr(DivExpr arg0) {
	translateBinOp(arg0);
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
/**
 * DOC
 * 
 * @see soot.jimple.ExprSwitch#caseDivExpr(soot.jimple.DivExpr)
 */
@Override
public void caseDivExpr(DivExpr v) {
    v.getOp1().apply(this);
    v.getOp2().apply(this);
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
@Override
public void caseDivExpr(DivExpr v) {
    throwInvalidWriteException(v);
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
@Override
public void caseDivExpr(DivExpr v) {
    handleBinaryExpr(v.getOp1(), v.getOp2());
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
/**
 * 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 caseDivExpr(DivExpr v) {
	logger.finest("Div Expr identified " + callingStmt.toString());
	rightElement = RightElement.NOT;
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
/**
 * The method should update the <em>security level</em> of a {@link DivExpr}
 * , 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#caseDivExpr(soot.jimple.DivExpr)
 * @throws InvalidSwitchException
 *             Always, because the update is not possible.
 */
@Override
public void caseDivExpr(DivExpr v) {
    throw new SwitchException(getMsg("exception.analysis.switch.update_error",
                                     this.getClass().getSimpleName(),
                                     v.getClass().getSimpleName(),
                                     v.toString(),
                                     getSourceLine()));
}
 

import soot.jimple.DivExpr; //导入依赖的package包/类
/**
 * Looks up the <em>security level</em> for the given binary expression and
 * stores the level in {@link SecurityLevelValueReadSwitch#level}. For a
 * {@link DivExpr} 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#caseDivExpr(soot.jimple.DivExpr)
 * @see SecurityLevelValueReadSwitch#handleBinaryOperation(BinopExpr)
 */
@Override
public void caseDivExpr(DivExpr v) {
    handleBinaryOperation(v);
}