Package org.jakstab.analysis.explicit

Examples of org.jakstab.analysis.explicit.NumberElement

43
44
45
46
47
48
49
50
51
52
53
54
55
56
  private NumberElementFactory valueFactory;
 
 
  @Before
  public void setUp() throws Exception {
    n32 = new NumberElement(ExpressionFactory.createNumber(52, 32));
    n32b = new NumberElement(ExpressionFactory.createNumber(13, 32));
    n32c = new NumberElement(ExpressionFactory.createNumber(13, 32));
    n16 = new NumberElement(ExpressionFactory.createNumber(-123, 16));
    alloc1 = MemoryRegion.create("PartA");
    alloc2 = MemoryRegion.create("PartB");
    valueFactory = new NumberElementFactory();
    Options.debug.setValue(false);
  }
View Full Code Here
178
179
180
181
182
183
184
185
186
187
188
189
190
 
  @Test
  public void testExtractBytesFromStore() {
    PartitionedMemory<NumberElement> store = new PartitionedMemory<NumberElement>(
        valueFactory);
    NumberElement b2 = new NumberElement(ExpressionFactory.createNumber(2, 8));
    NumberElement b7 = new NumberElement(ExpressionFactory.createNumber(7, 8));
    NumberElement dComb = new NumberElement(ExpressionFactory.createNumber(0x02070202, 32));
   
    store.set(MemoryRegion.STACK, 16, 32, dComb);
   
    assertEquals(b2, store.get(MemoryRegion.STACK, 16, 8));
    assertEquals(b2, store.get(MemoryRegion.STACK, 17, 8));
View Full Code Here
194
195
196
197
198
199
200
201
202
203
204
205
206
207
  @Test
  public void testCombineBytesFromStore() {
    PartitionedMemory<NumberElement> store = new PartitionedMemory<NumberElement>(
        valueFactory);
    NumberElement b2 = new NumberElement(ExpressionFactory.createNumber(2, 8));
    NumberElement b7 = new NumberElement(ExpressionFactory.createNumber(7, 8));
    NumberElement wComb = new NumberElement(ExpressionFactory.createNumber(0x0207, 16));
    NumberElement dComb = new NumberElement(ExpressionFactory.createNumber(0x02070202, 32));
   
    store.set(MemoryRegion.STACK, 16, 8, b2);
    store.set(MemoryRegion.STACK, 17, 8, b2);
    store.set(MemoryRegion.STACK, 18, 8, b7);
    store.set(MemoryRegion.STACK, 19, 8, b2);
View Full Code Here
TOP

Related Classes of org.jakstab.analysis.explicit.NumberElement

  • org.jakstab.analysis.PartitionedMemoryTest
  • org.jakstab.rtl.expressions.RTLNumber
    • 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.