use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.
the class ARMAdcTranslatorTest method testSimpleRegisterEQ.
@Test
public void testSimpleRegisterEQ() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("R0", BigInteger.valueOf(0x809BL), dw, ReilRegisterStatus.DEFINED);
interpreter.setRegister("R1", BigInteger.valueOf(0x8085L), dw, ReilRegisterStatus.DEFINED);
interpreter.setRegister("R2", BigInteger.valueOf(0x0L), dw, ReilRegisterStatus.DEFINED);
interpreter.setRegister("C", BigInteger.ONE, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("N", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("Z", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("V", BigInteger.ZERO, 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, "R1"));
final MockOperandTree operandTree3 = new MockOperandTree();
operandTree3.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
operandTree3.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R0"));
final List<MockOperandTree> operands = Lists.newArrayList(operandTree1, operandTree2, operandTree3);
final IInstruction instruction = new MockInstruction("ADCEQ", operands);
translator.translate(environment, instruction, instructions);
interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
assertEquals(BigInteger.valueOf(0x809BL), interpreter.getVariableValue("R0"));
assertEquals(BigInteger.valueOf(0x8085L), interpreter.getVariableValue("R1"));
assertEquals(BigInteger.valueOf(0x0L), interpreter.getVariableValue("R2"));
assertEquals(BigInteger.ONE, interpreter.getVariableValue("C"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("N"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("V"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("Z"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(8, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.
the class ARMAdcTranslatorTest method testSimpleASRS.
@Test
public void testSimpleASRS() 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(0x539), dw, ReilRegisterStatus.DEFINED);
interpreter.setRegister("C", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("N", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("Z", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("V", BigInteger.ZERO, 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.OPERATOR, "ASR"));
operandTree3.root.m_children.get(0).m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R1"));
operandTree3.root.m_children.get(0).m_children.add(new MockOperandTreeNode(ExpressionType.IMMEDIATE_INTEGER, "1"));
final List<MockOperandTree> operands = Lists.newArrayList(operandTree1, operandTree2, operandTree3);
final IInstruction instruction = new MockInstruction("ADCS", 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(0x995), interpreter.getVariableValue("R2"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("C"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("N"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("Z"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("V"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(8, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.
the class ARMAddTranslatorTest method testSimpleRORSregister.
@Test
public void testSimpleRORSregister() 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(0x539L), dw, ReilRegisterStatus.DEFINED);
interpreter.setRegister("R3", BigInteger.valueOf(0x4L), dw, ReilRegisterStatus.DEFINED);
interpreter.setRegister("C", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("N", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("Z", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("V", BigInteger.ZERO, 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.OPERATOR, "ROR"));
operandTree3.root.m_children.get(0).m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R1"));
operandTree3.root.m_children.get(0).m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R3"));
final List<MockOperandTree> operands = Lists.newArrayList(operandTree1, operandTree2, operandTree3);
final IInstruction instruction = new MockInstruction("ADDS", 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(0x900005C4L), interpreter.getVariableValue("R2"));
assertEquals(BigInteger.valueOf(0x4L), interpreter.getVariableValue("R3"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("C"));
assertEquals(BigInteger.ONE, interpreter.getVariableValue("N"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("Z"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("V"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(9, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.
the class ARMAddTranslatorTest method testSimpleLSLS.
@Test
public void testSimpleLSLS() 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(0xDF2), dw, ReilRegisterStatus.DEFINED);
interpreter.setRegister("C", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("N", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("Z", BigInteger.ZERO, bt, ReilRegisterStatus.DEFINED);
interpreter.setRegister("V", BigInteger.ZERO, 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.OPERATOR, "LSL"));
operandTree3.root.m_children.get(0).m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R1"));
operandTree3.root.m_children.get(0).m_children.add(new MockOperandTreeNode(ExpressionType.IMMEDIATE_INTEGER, "1"));
final List<MockOperandTree> operands = Lists.newArrayList(operandTree1, operandTree2, operandTree3);
final IInstruction instruction = new MockInstruction("ADDS", 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(0x16AB), interpreter.getVariableValue("R2"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("C"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("N"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("Z"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("V"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(8, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.IInstruction in project binnavi by google.
the class ARMAddTranslatorTest method testSimpleROR.
@Test
public void testSimpleROR() 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(0x995), 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.OPERATOR, "ROR"));
operandTree3.root.m_children.get(0).m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "R1"));
operandTree3.root.m_children.get(0).m_children.add(new MockOperandTreeNode(ExpressionType.IMMEDIATE_INTEGER, "5"));
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(0xC800057EL), interpreter.getVariableValue("R2"));
assertEquals(BigInteger.ONE, interpreter.getVariableValue("C"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(5, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
Aggregations