当前位置: 首页>>代码示例>>Java>>正文


Java UshrExpr类代码示例

本文整理汇总了Java中soot.jimple.UshrExpr的典型用法代码示例。如果您正苦于以下问题:Java UshrExpr类的具体用法?Java UshrExpr怎么用?Java UshrExpr使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。

UshrExpr类属于soot.jimple包,在下文中一共展示了UshrExpr类的13个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于我们的系统推荐出更棒的Java代码示例。

示例1: visit

import soot.jimple.UshrExpr; //导入依赖的package包/类
@Override
public void visit(Value e) {
	if (e instanceof UshrExpr) {
		UshrExpr ue = (UshrExpr) e;
		add(e, ue.getOp1(), ue.getOp2());
	}
}
 
开发者ID:petablox-project,项目名称:petablox,代码行数:8,代码来源:RelUshrExpr.java


示例2: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
@Override
public void caseUshrExpr(UshrExpr v) {
	throw new RuntimeException("todo");
	
}
 
开发者ID:srasthofer,项目名称:FuzzDroid,代码行数:6,代码来源:JimpleExprVisitorImpl.java


示例3: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
public void caseUshrExpr(UshrExpr v) {
	printBinaryExpr(v);
}
 
开发者ID:flankerhqd,项目名称:JAADAS,代码行数:4,代码来源:ValueTemplatePrinter.java


示例4: handleBinopExpr

import soot.jimple.UshrExpr; //导入依赖的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));
		}
	}
}
 
开发者ID:flankerhqd,项目名称:JAADAS,代码行数:53,代码来源:UseChecker.java


示例5: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
@Override
public void caseUshrExpr(UshrExpr usre) {
       stmtV.addInsn(buildCalculatingBinaryInsn("USHR", usre.getOp1(), usre.getOp2()), origStmt);
}
 
开发者ID:flankerhqd,项目名称:JAADAS,代码行数:5,代码来源:ExprVisitor.java


示例6: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
public void caseUshrExpr(UshrExpr expr) {
    caseBinopExpr(expr);
}
 
开发者ID:flankerhqd,项目名称:JAADAS,代码行数:4,代码来源:UnitThrowAnalysis.java


示例7: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
@Override
public void caseUshrExpr(UshrExpr arg0) {
	translateBinOp(arg0);
}
 
开发者ID:SRI-CSL,项目名称:bixie,代码行数:5,代码来源:SootValueSwitch.java


示例8: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
/**
 * DOC
 * 
 * @see soot.jimple.ExprSwitch#caseUshrExpr(soot.jimple.UshrExpr)
 */
@Override
public void caseUshrExpr(UshrExpr v) {
    v.getOp1().apply(this);
    v.getOp2().apply(this);
}
 
开发者ID:proglang,项目名称:jgs,代码行数:11,代码来源:AnnotationValueSwitch.java


示例9: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
@Override
public void caseUshrExpr(UshrExpr v) {
    throwInvalidWriteException(v);
}
 
开发者ID:proglang,项目名称:jgs,代码行数:5,代码来源:SecurityConstraintValueWriteSwitch.java


示例10: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
@Override
public void caseUshrExpr(UshrExpr v) {
    handleBinaryExpr(v.getOp1(), v.getOp2());
}
 
开发者ID:proglang,项目名称:jgs,代码行数:5,代码来源:SecurityConstraintValueReadSwitch.java


示例11: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的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 caseUshrExpr(UshrExpr v) {
	logger.finest("Ushr Expr identified " + callingStmt.toString());
	rightElement = RightElement.NOT;
}
 
开发者ID:proglang,项目名称:jgs,代码行数:11,代码来源:AnnotationValueSwitch.java


示例12: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
/**
 * The method should update the <em>security level</em> of a
 * {@link UshrExpr}, 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#caseUshrExpr(soot.jimple.UshrExpr)
 * @throws InvalidSwitchException
 *             Always, because the update is not possible.
 */
@Override
public void caseUshrExpr(UshrExpr v) {
    throw new SwitchException(getMsg("exception.analysis.switch.update_error",
                                     this.getClass().getSimpleName(),
                                     v.getClass().getSimpleName(),
                                     v.toString(),
                                     getSourceLine()));
}
 
开发者ID:proglang,项目名称:jgs,代码行数:21,代码来源:SecurityLevelValueWriteSwitch.java


示例13: caseUshrExpr

import soot.jimple.UshrExpr; //导入依赖的package包/类
/**
 * Looks up the <em>security level</em> for the given binary expression and
 * stores the level in {@link SecurityLevelValueReadSwitch#level}. For a
 * {@link UshrExpr} 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#caseUshrExpr(soot.jimple.UshrExpr)
 * @see SecurityLevelValueReadSwitch#handleBinaryOperation(BinopExpr)
 */
@Override
public void caseUshrExpr(UshrExpr v) {
    handleBinaryOperation(v);
}
 
开发者ID:proglang,项目名称:jgs,代码行数:17,代码来源:SecurityLevelValueReadSwitch.java



注:本文中的soot.jimple.UshrExpr类示例整理自Github/MSDocs等源码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。