项目:petablox
文件:RelGtExpr.java
项目: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
@Override
public void caseGtExpr(GtExpr v) {
throwInvalidWriteException(v);
}
/**
* 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()));
}
/**
* 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);
}
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。