Java 类soot.jimple.LeExpr 实例源码
项目:petablox
文件:RelLeExpr.java
@Override
public void visit(Value e) {
if (e instanceof LeExpr) {
LeExpr le = (LeExpr) e;
add(e, le.getOp1(), le.getOp2());
}
}
项目:jgs
文件:AnnotationValueSwitch.java
@Override
public void caseLeExpr(LeExpr v) {
rightElement = RightElement.NOT;
if (actualContext == StmtContext.ASSIGNRIGHT) {
throw new NotSupportedStmtException("LeExpr");
}
}
项目:FuzzDroid
文件:JimpleExprVisitorImpl.java
@Override
public void caseLeExpr(LeExpr v) {
throw new RuntimeException("todo");
}
项目:JAADAS
文件:ValueTemplatePrinter.java
public void caseLeExpr(LeExpr 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, 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));
}
}
}
项目:JAADAS
文件:ExprVisitor.java
@Override
public void caseLeExpr(LeExpr le) {
stmtV.addInsn(buildComparingBinaryInsn("LE", le.getOp1(), le.getOp2()), origStmt);
}
项目:JAADAS
文件:UnitThrowAnalysis.java
public void caseLeExpr(LeExpr expr) {
caseBinopExpr(expr);
}
项目:bixie
文件:SootValueSwitch.java
@Override
public void caseLeExpr(LeExpr arg0) {
translateBinOp(arg0);
}
项目:jar2bpl
文件:SootValueSwitch.java
@Override
public void caseLeExpr(LeExpr arg0) {
translateBinOp(arg0);
}
项目:jgs
文件:AnnotationValueSwitch.java
/**
* DOC
*
* @see soot.jimple.ExprSwitch#caseLeExpr(soot.jimple.LeExpr)
*/
@Override
public void caseLeExpr(LeExpr v) {
v.getOp1().apply(this);
v.getOp2().apply(this);
}
项目:jgs
文件:SecurityConstraintValueWriteSwitch.java
@Override
public void caseLeExpr(LeExpr v) {
throwInvalidWriteException(v);
}
项目:jgs
文件:SecurityConstraintValueReadSwitch.java
@Override
public void caseLeExpr(LeExpr v) {
handleBinaryExpr(v.getOp1(), v.getOp2());
}
项目:jgs
文件:SecurityLevelValueWriteSwitch.java
/**
* The method should update the <em>security level</em> of a {@link LeExpr},
* 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#caseLeExpr(soot.jimple.LeExpr)
* @throws InvalidSwitchException
* Always, because the update is not possible.
*/
@Override
public void caseLeExpr(LeExpr 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 LeExpr} 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#caseLeExpr(soot.jimple.LeExpr)
* @see SecurityLevelValueReadSwitch#handleBinaryOperation(BinopExpr)
*/
@Override
public void caseLeExpr(LeExpr v) {
handleBinaryOperation(v);
}