Examples with Symbol com.google.security.zynamics.reil.algorithms.mono.valuetracking.elements.Symbol used on opensource projects

Example 1 with Symbol

use of com.google.security.zynamics.reil.algorithms.mono.valuetracking.elements.Symbol in project binnavi by google.

the class AddTransformerTest method testAddRegisterConstant.

@Test
public void testAddRegisterConstant() {
    final ReilInstruction instruction = ReilHelpers.createAdd(0x100, OperandSize.DWORD, "t0", OperandSize.DWORD, "4", OperandSize.QWORD, "t1");
    final ValueTrackerElement state = new ValueTrackerElement();
    final ValueTrackerElement result = AddTransformer.transform(instruction, state);
    assertTrue(result.getState("t1") instanceof Addition);
    assertTrue(((Addition) result.getState("t1")).getLhs() instanceof Symbol);
    assertTrue(((Addition) result.getState("t1")).getRhs() instanceof Literal);
}