Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
32 lines (25 sloc) 711 Bytes
package petablox.analyses.syntax;
import petablox.program.visitors.IExprVisitor;
import petablox.project.Petablox;
import petablox.project.analyses.ProgramRel;
import soot.SootClass;
import soot.SootMethod;
import soot.Unit;
import soot.Value;
import soot.jimple.UshrExpr;
@Petablox(name = "UshrExpr", sign = "EXPR0,EXPR1,EXPR2:EXPR0_EXPR1xEXPR2")
public class RelUshrExpr extends ProgramRel implements IExprVisitor {
public void visit(Unit q) { }
public void visit(SootMethod m) { }
public void visit(SootClass c) { }
public void visit(Value e) {
if (e instanceof UshrExpr) {
UshrExpr ue = (UshrExpr) e;
add(e, ue.getOp1(), ue.getOp2());
You can’t perform that action at this time.