Examples with IInstruction com.google.security.zynamics.zylib.disassembly.IInstruction used on opensource projects

Example 56 with IInstruction

use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.

the class ARMAddTranslatorTest method testSimpleRegister.

@Test
public void testSimpleRegister() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister("R0", BigInteger.valueOf(1337), dw, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("R1", BigInteger.valueOf(2233), dw, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("R2", BigInteger.valueOf(0xA0B), dw, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("C", BigInteger.ONE, bt, ReilRegisterStatus.DEFINED);
    final MockOperandTree operandTree1 = new MockOperandTree();
    operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
    operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R2"));
    final MockOperandTree operandTree2 = new MockOperandTree();
    operandTree2.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
    operandTree2.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R0"));
    final MockOperandTree operandTree3 = new MockOperandTree();
    operandTree3.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
    operandTree3.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R1"));
    final List<MockOperandTree> operands = Lists.newArrayList(operandTree1, operandTree2, operandTree3);
    final IInstruction instruction = new MockInstruction("ADD", operands);
    translator.translate(environment, instruction, instructions);
    interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
    assertEquals(BigInteger.valueOf(1337), interpreter.getVariableValue("R0"));
    assertEquals(BigInteger.valueOf(2233), interpreter.getVariableValue("R1"));
    assertEquals(BigInteger.valueOf(0xDF2), interpreter.getVariableValue("R2"));
    assertEquals(BigInteger.ONE, interpreter.getVariableValue("C"));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
    assertEquals(5, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}

Example 57 with IInstruction

use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.

the class ARMBlTranslatorTest method testSimpleBranch.

@Test
public void testSimpleBranch() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister("R0", BigInteger.valueOf(0x12000L), dw, ReilRegisterStatus.DEFINED);
    interpreter.setRegister(("PC"), BigInteger.valueOf(0x11020L), dw, ReilRegisterStatus.DEFINED);
    interpreter.setRegister(("LR"), BigInteger.valueOf(0xFFFFFFFFL), dw, ReilRegisterStatus.DEFINED);
    final MockOperandTree operandTree1 = new MockOperandTree();
    operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
    operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R0"));
    final List<MockOperandTree> operands = Lists.newArrayList(operandTree1);
    final IInstruction instruction = new MockInstruction("B", operands);
    translator.translate(environment, instruction, instructions);
    interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
    assertEquals(BigInteger.valueOf(0x12000L), interpreter.getVariableValue("R0"));
    assertEquals(BigInteger.valueOf(0x12000L), interpreter.getVariableValue(("PC")));
    assertEquals(BigInteger.valueOf(0xFFFFFFFFL), interpreter.getVariableValue(("LR")));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
    assertEquals(3, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}

Example 58 with IInstruction

use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.

the class ARMBlxTranslatorTest method testSimpleBranch.

@Test
public void testSimpleBranch() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister("R0", BigInteger.valueOf(0x12000L), dw, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("PC", BigInteger.valueOf(0x11020L), dw, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("LR", BigInteger.valueOf(0xFFFFFFFFL), dw, ReilRegisterStatus.DEFINED);
    final MockOperandTree operandTree1 = new MockOperandTree();
    operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
    operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R0"));
    final List<MockOperandTree> operands = Lists.newArrayList(operandTree1);
    final IInstruction instruction = new MockInstruction("BLX", operands);
    translator.translate(environment, instruction, instructions);
    interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
    assertEquals(BigInteger.valueOf(0x12000L), interpreter.getVariableValue("R0"));
    assertEquals(BigInteger.valueOf(0x12000L), interpreter.getVariableValue(("PC")));
    assertEquals(BigInteger.valueOf(0x104L), interpreter.getVariableValue(("LR")));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
    assertEquals(4, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}

Example 59 with IInstruction

use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.

the class ARMBxTranslatorTest method testSimpleBranch.

@Test
public void testSimpleBranch() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister(("PC"), BigInteger.valueOf(0x8020L), dw, ReilRegisterStatus.DEFINED);
    interpreter.setRegister(("LR"), BigInteger.valueOf(0x8004L), dw, ReilRegisterStatus.DEFINED);
    final MockOperandTree operandTree1 = new MockOperandTree();
    operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
    operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, ("LR")));
    final List<MockOperandTree> operands = Lists.newArrayList(operandTree1);
    final IInstruction instruction = new MockInstruction("BX", operands);
    translator.translate(environment, instruction, instructions);
    interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
    assertEquals(BigInteger.valueOf(0x8004L), interpreter.getVariableValue(("PC")));
    assertEquals(BigInteger.valueOf(0x8004L), interpreter.getVariableValue(("LR")));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
    assertEquals(3, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}

Example 60 with IInstruction

use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.

the class ARMClzTranslatorTest method testZeroRegister.

@Test
public void testZeroRegister() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister("R0", BigInteger.valueOf(0x0L), dw, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("R1", BigInteger.valueOf(0x0L), dw, ReilRegisterStatus.DEFINED);
    final MockOperandTree operandTree1 = new MockOperandTree();
    operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
    operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R0"));
    final MockOperandTree operandTree2 = new MockOperandTree();
    operandTree2.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
    operandTree2.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R1"));
    final List<MockOperandTree> operands = Lists.newArrayList(operandTree1, operandTree2);
    final IInstruction instruction = new MockInstruction("CLZ", operands);
    translator.translate(environment, instruction, instructions);
    interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
    assertEquals(BigInteger.valueOf(0x20L), interpreter.getVariableValue("R0"));
    assertEquals(BigInteger.valueOf(0x0L), interpreter.getVariableValue("R1"));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
    assertEquals(3, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}