Package soot

Examples of soot.Value

164
165
166
167
168
169
170
171
172
   * Index (the element)
   */
  @Override
  public Value visitArrayIndex(ArrayIndex nd) {
    /* DONE: generate code for array index */
    Value index = this.wrap(nd.getIndex().accept(this));
    Value base = this.wrap(nd.getBase().accept(this)); // need wrap due to int [][] a;
    return Jimple.v().newArrayRef(base, index);
  }
View Full Code Here
191
192
193
194
195
196
197
198
199
200
201
202
203
    /* DONE: generate code for binary expression here; you can either use a visitor
     *       to determine the type of binary expression you are dealing with, or
     *       generate code in the more specialized visitor methods visitAddExpr,
     *       visitSubExpr, etc., instead
     */
    final Value lhsValue = this.wrap(nd.getLeft().accept(this));
    final Value rhsValue = this.wrap(nd.getRight().accept(this));
    Value binValue = this.wrap(nd.accept(new Visitor<Value>() {
      @Override
      public Value visitAddExpr(AddExpr nd) {
        return Jimple.v().newAddExpr(lhsValue, rhsValue);
      }
      @Override
View Full Code Here
224
225
226
227
228
229
230
231
232
233
234
235
236
  }
 
  /** Generate code for a comparison expression. */
  @Override
  public Value visitCompExpr(CompExpr nd) {
    final Value left = wrap(nd.getLeft().accept(this)),
          right = wrap(nd.getRight().accept(this));
    Value res = nd.accept(new Visitor<Value>() {
      @Override
      public Value visitEqExpr(EqExpr nd) {
        return Jimple.v().newEqExpr(left, right);
      }
      @Override
View Full Code Here
266
267
268
269
270
271
272
273
 
  /** Generate code for a negation expression. */
  @Override
  public Value visitNegExpr(NegExpr nd) {
    /* DONE: generate code for negation expression */
    Value value = this.wrap(nd.getOperand().accept(this));
    return Jimple.v().newNegExpr(value);
  }
View Full Code Here
50
51
52
53
54
55
56
57
58
59
60
                        if (stmt.containsInvokeExpr()) {
                            InvokeExpr expr = stmt.getInvokeExpr();
                            if (expr instanceof SpecialInvokeExpr &&
                                    expr.getMethod().getSignature().equals("<java.net.URL: void <init>(java.lang.String)>") &&
                                    expr.getArg(0) instanceof StringConstant) {
                                Value value = ((SpecialInvokeExpr)expr).getBase();
                                String url = ((StringConstant)expr.getArg(0)).value;
                                url_map.put(value, url);
                            }
                            if (expr.getMethod().getSignature().equals("<dk.brics.string.runtime.Strings: void bind(java.lang.String,java.lang.String)>")) {
                                String name = getName(expr);
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
            }
          }
        }
        else if (stmt instanceof IdentityStmt) {
          IdentityStmt iStmt = (IdentityStmt)stmt;
          Value rvalue = iStmt.getRightOp();
          if (rvalue instanceof ParameterRef) {
            ParameterRef parameter = (ParameterRef)rvalue;
            int index = parameter.getIndex();
            stmt.addTag(new StringTag("Type mismatch: cannot convert parameter number " + (index + 1) + " from " + from + " to " + analyzer.getDescription(a)));
          }
View Full Code Here
338
339
340
341
342
343
344
345
346
347
348
349
350
 
  public void createHotspotsFromInvokeExpr(Stmt stmt) {
    InvokeExpr expr = stmt.getInvokeExpr();
    SootMethod target = expr.getMethod();
    for (int i=0; i<expr.getArgCount(); i++) {
      Value value = expr.getArg(i);
      ValueBox box = expr.getArgBox(i);
      if (isStringType(value.getType())) {
        Map<Integer,Automaton> pMap = parameterAutomatonMap.get(target);
        if (pMap != null && pMap.containsKey(i)) {
          Automaton automaton = pMap.get(i);
          createHotspot(stmt, box, automaton);
        }
View Full Code Here
352
353
354
355
356
357
358
359
360
361
362
    }
  }
 
  @Override
  public void caseAssignStmt(AssignStmt stmt) {
    Value lvalue = stmt.getLeftOp();
    ValueBox rbox = stmt.getRightOpBox();
    if (lvalue instanceof JInstanceFieldRef) {
      JInstanceFieldRef ref = (JInstanceFieldRef)lvalue;
      SootField field = ref.getField();
      if (fieldAutomatonMap.containsKey(field)) {
View Full Code Here
366
367
368
369
370
371
372
373
374
375
376
    }
  }
 
  @Override
  public void caseIdentityStmt(IdentityStmt stmt) {
    Value rvalue = stmt.getRightOp();
    ValueBox rbox = stmt.getRightOpBox();
    if (rvalue instanceof ParameterRef) {
      ParameterRef parameter = (ParameterRef)rvalue;
      int index = parameter.getIndex();
      Map<Integer,Automaton> pMap = parameterAutomatonMap.get(currentMethod);
View Full Code Here
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
        this.hierarchy = hierarchy;
    }
   
    @SuppressWarnings("unchecked")
    public List<SootMethod> getTargetsOf(InstanceInvokeExpr expr) {
        Value v = expr.getBase();
       
        SootMethod m = expr.getMethod();
        SootClass rc;
        Type t = v.getType();
        List<SootMethod> targets;
        if (t instanceof NullType) {
          return Collections.emptyList();
        } else if (t instanceof ArrayType) {
            rc = Scene.v().getSootClass("java.lang.Object");
            targets = Collections.singletonList(hierarchy.resolveConcreteDispatch(rc, m));
        } else {
            rc = ((RefType) v.getType()).getSootClass();
            targets = hierarchy.resolveAbstractDispatch(rc, m);
        }
       
        return targets;
    }
View Full Code Here
TOP

Related Classes of soot.Value

  • backend.ExprCodeGenerator
  • backend.StmtCodeGenerator
  • dk.brics.jwig.analysis.jaive.InterfaceInvocationChecker
  • dk.brics.jwig.analysis.jaive.InterfaceInvocationLinker
  • dk.brics.jwig.analysis.jaive.InvocationDetector
  • dk.brics.jwig.analysis.JwigResolver
  • dk.brics.jwig.analysis.xact.PlugDetector
  • dk.brics.string.annotation.AnnotationAnalyzer
  • dk.brics.string.annotation.Transformer
  • dk.brics.string.BindingAutomatonProvider
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.