Package soot

Examples of soot.Value

58
59
60
61
62
63
64
65
66
67
68
69
70
71
  void copyLocals(){
    for(Unit u : m_outputUnits){
      List<ValueBox> boxes = u.getUseAndDefBoxes();
      for(ValueBox box : boxes){
        Value v = box.getValue();
        if(v instanceof Local == false)
          continue;
        Local local = (Local) v.clone();
        if(m_localMap.containsKey(local.toString()) == false){
          m_localMap.put(local.toString(), local);
          m_outputLocals.add(local);
        }
        local = m_localMap.get(local.toString());
View Full Code Here
31
32
33
34
35
36
37
38
39
40
41
    Iterator<Unit> iter = chain.iterator();
    while(iter.hasNext()){
      Unit unit = iter.next();
      List<ValueBox> vboxes = unit.getUseAndDefBoxes();
      for(ValueBox vbox : vboxes){
        Value value = vbox.getValue();
        if(value instanceof InvokeExpr == false)
          continue;
        InvokeExpr expr = (InvokeExpr) value;
        SootMethod method = expr.getMethod();
        if(methods.contains(method) == false)
View Full Code Here
78
79
80
81
82
83
84
85
86
87
88
      Unit curr = iter.next();
      if(curr instanceof AssignStmt == false)
        continue;
     
      AssignStmt assign = (AssignStmt) curr;
      Value lhs = assign.getLeftOp();
     
      if(lhs instanceof FieldRef == false)
        continue;
       
      FieldRef ref = (FieldRef) lhs;
View Full Code Here
90
91
92
93
94
95
96
97
98
99
100
  }
 
  /** Generates code for an if statement. */
  @Override
  public Void visitIfStmt(IfStmt nd) {
    Value cond = ExprCodeGenerator.generate(nd.getExpr(), fcg);
    NopStmt join = j.newNopStmt();
    units.add(j.newIfStmt(j.newEqExpr(cond, IntConstant.v(0)), join));
    nd.getThen().accept(this);
    if(nd.hasElse()) {
      NopStmt els = join;
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
    label1:
     */
    NopStmt label0 = j.newNopStmt();
    this.units.add(label0);
   
    Value cond = ExprCodeGenerator.generate(nd.getExpr(), this.fcg);
    NopStmt label1 = j.newNopStmt();
    this.units.add(
        j.newIfStmt(
            j.newEqExpr(cond, IntConstant.v(0)),
            label1
View Full Code Here
99
100
101
102
103
104
105
106
107
108
 
  /** Generate code for an assignment. */
  @Override
  public Value visitAssignment(Assignment nd) {
    // note that the left hand side should _not_ be wrapped!
    Value lhs = nd.getLHS().accept(this),
        rhs = wrap(nd.getRHS().accept(this));
    units.add(Jimple.v().newAssignStmt(lhs, rhs));
    return rhs;
  }
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
  /** Generate code for an integer literal. */
  @Override
  public Value visitIntLiteral(IntLiteral nd) {
    /* DONE: return something meaningful here */
    //Value value = ExprCodeGenerator.generate(nd, this.fcg); // recursive, stack overflow
    Value value = IntConstant.v( // no need wrap
            nd.getValue().intValue()
          );
    // why not units.add(...)? because only add statement, not expression
    return value;
  }
View Full Code Here
121
122
123
124
125
126
127
128
129
130
 
  /** Generate code for a string literal. */
  @Override
  public Value visitStringLiteral(StringLiteral nd) {
    /* DONE: return something meaningful here */
    Value value = StringConstant.v( // no need wrap
            nd.getValue()
          );
    return value;
  }
View Full Code Here
133
134
135
136
137
138
139
140
141
142
143
  @Override
  public Value visitBooleanLiteral(BooleanLiteral nd) {
    /* DONE: return something meaningful here (hint: translate 'true' to integer
     *       constant 1, 'false' to integer constant 0) */
    Boolean truthBoolean = nd.getValue();
    Value value;
    if(truthBoolean) {
      value = IntConstant.v(1); // no need wrap
    }
    else {
      value = IntConstant.v(0); // no need wrap
View Full Code Here
148
149
150
151
152
153
154
155
156
157
158
159
160
  /** Generate code for an array literal. */
  @Override
  public Value visitArrayLiteral(ArrayLiteral nd) {
    Type elttp = SootTypeUtil.getSootType(nd.getElement(0).type());
    // create a new array with the appropriate number of elements
    Value array = wrap(Jimple.v().newNewArrayExpr(elttp, IntConstant.v(nd.getNumElement())));
    for(int i=0;i<nd.getNumElement();++i) {
      // generate code to store the individual expressions into the elements of the array
      Value elt = wrap(nd.getElement(i).accept(this));
      units.add(Jimple.v().newAssignStmt(Jimple.v().newArrayRef(array, IntConstant.v(i)), elt));
    }
    return array;
  }
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.