soot.jimple.GtExpr的实例源码

项目：petablox    文件：RelGtExpr.java   

@Override
public void visit(Value e) {
    if (e instanceof GtExpr) {
        GtExpr ge = (GtExpr) e;
        add(e,ge.getop1(),ge.getop2());
    }
}

项目：jgs    文件：AnnotationValueSwitch.java   

@Override
public void caseGtExpr(GtExpr v) {
    rightElement = RightElement.NOT;
    if (actualContext == StmtContext.ASSIGNRIGHT) {
        throw new NotSupportedStmtException("GtExpr");
    }
}

项目：FuzzDroid    文件：JimpleExprVisitorImpl.java   

@Override
public void caseGtExpr(GtExpr v) {
    throw new RuntimeException("todo");

}

项目：JAADAS    文件：ValueTemplatePrinter.java   

public void caseGtExpr(GtExpr v) {
    printBinaryExpr(v);
}

项目：JAADAS    文件：UseChecker.java   

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,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,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,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,stmt));
        }
    }
}

项目：JAADAS    文件：ExprVisitor.java   

@Override
public void caseGtExpr(GtExpr ge) {
       stmtV.addInsn(buildComparingBinaryInsn("GT",ge.getop2()),origStmt);
}

项目：JAADAS    文件：UnitThrowAnalysis.java   

public void caseGtExpr(GtExpr expr) {
    caseBinopExpr(expr);
}

项目：bixie    文件：SootValueSwitch.java   

@Override
public void caseGtExpr(GtExpr arg0) {
    translateBinop(arg0);
}

项目：jar2bpl    文件：SootValueSwitch.java   

@Override
public void caseGtExpr(GtExpr arg0) {
    translateBinop(arg0);
}

项目：jgs    文件：AnnotationValueSwitch.java   

/**
 * DOC
 * 
 * @see soot.jimple.ExprSwitch#caseGtExpr(soot.jimple.GtExpr)
 */
@Override
public void caseGtExpr(GtExpr v) {
    v.getop1().apply(this);
    v.getop2().apply(this);
}

项目：jgs    文件：SecurityConstraintValueWriteSwitch.java   

@Override
public void caseGtExpr(GtExpr v) {
    throwInvalidWriteException(v);
}

项目：jgs    文件：SecurityConstraintValueReadSwitch.java   

@Override
public void caseGtExpr(GtExpr v) {
    handleBinaryExpr(v.getop1(),v.getop2());
}

项目：jgs    文件：SecurityLevelValueWriteSwitch.java   

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

项目：jgs    文件：SecurityLevelValueReadSwitch.java   

/**
 * Looks up the <em>security level</em> for the given binary expression and
 * stores the level in {@link SecurityLevelValueReadSwitch#level}. For a
 * {@link GtExpr} 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#caseGtExpr(soot.jimple.GtExpr)
 * @see SecurityLevelValueReadSwitch#handleBinaryOperation(BinopExpr)
 */
@Override
public void caseGtExpr(GtExpr v) {
    handleBinaryOperation(v);
}