Package org.jakstab.rtl

Examples of org.jakstab.rtl.Context

165
166
167
168
169
170
171
172
173
174
175
          continue;
       
        evaldStatement = new AssignmentTemplate(a.getBitWidth(), evaldLHS, evaldRHS);
       
      } else /* non AssignmentTemplate */ {
        evaldStatement = statement.evaluate(new Context());
      }

      addLast(evaldStatement);
    }
    if (sequence.size() < 1)
View Full Code Here
43
44
45
46
47
48
49
50
51
52
    RTLExpression addrExp = ExpressionFactory.createPlus(
        ExpressionFactory.createNumber(4),
        ExpressionFactory.createVariable("x", 32),
        ExpressionFactory.createNumber(8));
    RTLMemoryLocation memLoc32 = ExpressionFactory.createMemoryLocation(addrExp, 32);
    RTLMemoryLocation evaldMemLoc32 = (RTLMemoryLocation)memLoc32.evaluate(new Context());
    assertTrue(evaldMemLoc32.getAddress() instanceof RTLOperation);
    RTLOperation newAddrExp = (RTLOperation)evaldMemLoc32.getAddress();
    assertEquals(2, newAddrExp.getOperandCount());
  }
View Full Code Here
95
96
97
98
99
100
101
102
103
104
105
          );
          // set next label to jump target
          nextLabel = new Location(new AbsoluteAddress(targetValue));
        }
      }
      assumption = assumption.evaluate(new Context());
      RTLAssume assume = new RTLAssume(assumption, stmt);
      assume.setLabel(stmt.getLabel());
      assume.setNextLabel(nextLabel);
      results.add(new CFAEdge(stmt.getLabel(), nextLabel, assume));
    }
View Full Code Here
214
215
216
217
218
219
220
221
222
223
224
225
226
    // Just go through all patterns and check for a match
    for (int i=0; i<patterns.length; i++) {
      if (match(e, patterns[i], bindings)) {
        // Success
        Context context = new Context();
        for (Map.Entry<RTLVariable, RTLExpression> binding : bindings.entrySet())
          context.substitute(binding.getKey(), binding.getValue());
        RTLExpression result = results[i].evaluate(context);
        //logger.debug("Simplified " + e + " to " + result);
        e = result;
      }
      bindings.clear();
View Full Code Here
106
107
108
109
110
111
112
113
114
115
116
              );
          // set next label to jump target
          nextLabel = new Location(new AbsoluteAddress(targetValue));
        }
      }
      assumption = assumption.evaluate(new Context());
      RTLAssume assume = new RTLAssume(assumption, stmt);
      assume.setLabel(stmt.getLabel());
      assume.setNextLabel(nextLabel);
      results.add(new CFAEdge(assume.getLabel(), assume.getNextLabel(), assume));
    }
View Full Code Here
275
276
277
278
279
280
281
282
283
284
285
       
        // Negated variables can match constants
        if (subExpr instanceof RTLNumber && e.getOperator() == Operator.NEG) {
          // Negate the number
          subExpr = ExpressionFactory.createNeg(subExpr);
          subExpr = subExpr.evaluate(new Context());
          assert (subExpr instanceof RTLNumber);
          // Match the expression within the negation to the negated number
          return e.getOperands()[0].accept(this);
        }
       
View Full Code Here
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
    if (newStmt != stmt)
      edge.setTransformer(newStmt);
  }
 
  public static RTLStatement substituteStatement(RTLStatement stmt, SubstitutionState s) {
    Context substCtx = new Context();
    for (RTLVariable v : stmt.getUsedVariables()) {
      SubstitutionElement el = s.getValue(v);
      if (!el.isTop()) {
        substCtx.addAssignment(v, el.getExpression());
      }
    }
    if (!substCtx.getAssignments().isEmpty()) {
      //logger.info("Old stmt: " + stmt);
      RTLStatement newStmt = stmt.copy().evaluate(substCtx);
      //logger.info("New stmt: " + newStmt);
      if (newStmt != null) {
        return newStmt.evaluate(new Context());
      } else {
        RTLSkip skip = new RTLSkip();
        skip.setLabel(stmt.getLabel());
        skip.setNextLabel(stmt.getNextLabel());
        return skip;
View Full Code Here
122
123
124
125
126
127
128
129
130
131
132
              );
          // set next label to jump target
          nextLabel = new Location(new AbsoluteAddress(targetValue));
        }
      }
      assumption = assumption.evaluate(new Context());
      RTLAssume assume = new RTLAssume(assumption, stmt);
      assume.setLabel(stmt.getLabel());
      assume.setNextLabel(nextLabel);
      // Target address sanity check
      if (nextLabel.getAddress().getValue() < 10L) {
View Full Code Here
107
108
109
110
111
112
113
114
115
116
117
              );
          // set next label to jump target
          nextLabel = new Location(new AbsoluteAddress(targetValue));
        }
      }
      assumption = assumption.evaluate(new Context());
      RTLAssume assume = new RTLAssume(assumption, stmt);
      assume.setLabel(stmt.getLabel());
      assume.setNextLabel(nextLabel);
      // Target address sanity check
      if (nextLabel.getAddress().getValue() < 10L) {
View Full Code Here
70
71
72
73
74
75
76
77
78
79
80
81
        for (RTLNumber cVal : parentVal.concretize()) {
          if (cVal == null) {
            cValues = null;
            break;
          }
          Context ctx = new Context();
          ctx.addAssignment(parent, cVal);
          RTLExpression result = asParent.evaluate(ctx);
          cValues.add((RTLNumber)result);
        }
        if (cValues != null) {
          e = valueFactory.createAbstractValue(cValues);
View Full Code Here
TOP

Related Classes of org.jakstab.rtl.Context

  • org.jakstab.analysis.predabs.PredicateAbstraction
  • org.jakstab.analysis.VariableValuation
  • org.jakstab.cfa.AlternatingStateTransformerFactory
  • org.jakstab.cfa.OptimisticStateTransformerFactory
  • org.jakstab.cfa.PessimisticBasicBlockFactory
  • org.jakstab.cfa.PessimisticStateTransformerFactory
  • org.jakstab.cfa.SemiOptimisticStateTransformerFactory
  • org.jakstab.rtl.expressions.ExpressionSimplifier
  • org.jakstab.rtl.expressions.RTLMemoryLocationTest
  • org.jakstab.rtl.statements.StatementSequence
    • 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.