use of com.google.security.zynamics.zylib.disassembly.MockOperandTree in project binnavi by google.
the class AddTranslatorTest method testSimple.
@Test
public void testSimple() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("%r0", BigInteger.ZERO, OperandSize.BYTE, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r1", BigInteger.valueOf(0x4000L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r2", BigInteger.valueOf(0x4000L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
final MockOperandTree operandTree1 = new MockOperandTree();
operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "%r0"));
final MockOperandTree operandTree2 = new MockOperandTree();
operandTree2.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree2.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "%r1"));
final MockOperandTree operandTree3 = new MockOperandTree();
operandTree3.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree3.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "%r2"));
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(0x8000L), interpreter.getVariableValue("%r0"));
assertEquals(BigInteger.valueOf(0x4000L), interpreter.getVariableValue("%r1"));
assertEquals(BigInteger.valueOf(0x4000L), interpreter.getVariableValue("%r2"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(4, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.MockOperandTree in project binnavi by google.
the class AddTranslatorTest method testOverflow.
@Test
public void testOverflow() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("%r0", BigInteger.ZERO, OperandSize.BYTE, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r1", BigInteger.valueOf(0xFFFFFFFFL), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r2", BigInteger.ONE, OperandSize.DWORD, ReilRegisterStatus.DEFINED);
final MockOperandTree operandTree1 = new MockOperandTree();
operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "%r0"));
final MockOperandTree operandTree2 = new MockOperandTree();
operandTree2.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree2.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "%r1"));
final MockOperandTree operandTree3 = new MockOperandTree();
operandTree3.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree3.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "%r2"));
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.ZERO, interpreter.getVariableValue("%r0"));
assertEquals(BigInteger.valueOf(0xFFFFFFFFL), interpreter.getVariableValue("%r1"));
assertEquals(BigInteger.ONE, interpreter.getVariableValue("%r2"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(4, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.MockOperandTree in project binnavi by google.
the class AddcDotTranslatorTest method testSimple.
@Test
public void testSimple() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("CR0", BigInteger.ZERO, OperandSize.BYTE, ReilRegisterStatus.DEFINED);
interpreter.setRegister("XER", BigInteger.ZERO, OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r0", BigInteger.ZERO, OperandSize.BYTE, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r1", BigInteger.valueOf(0x4000), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r2", BigInteger.valueOf(0x4000), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
final MockOperandTree operandTree1 = new MockOperandTree();
operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "%r0"));
final MockOperandTree operandTree2 = new MockOperandTree();
operandTree2.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree2.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "%r1"));
final MockOperandTree operandTree3 = new MockOperandTree();
operandTree3.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree3.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "%r2"));
final List<MockOperandTree> operands = Lists.newArrayList(operandTree1, operandTree2, operandTree3);
final IInstruction instruction = new MockInstruction("addc.", operands);
translator.translate(environment, instruction, instructions);
interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100));
assertEquals(BigInteger.valueOf(0x8000), interpreter.getVariableValue("%r0"));
assertEquals(BigInteger.valueOf(0x4000), interpreter.getVariableValue("%r1"));
assertEquals(BigInteger.valueOf(0x4000), interpreter.getVariableValue("%r2"));
assertEquals(BigInteger.ONE, interpreter.getVariableValue("CR0GT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0SO"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0LT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0EQ"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("XEROV"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("XERSO"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("XERCA"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(13, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.MockOperandTree in project binnavi by google.
the class MtloTranslatorTest method testMsubu1PositivePositive.
@Test
public void testMsubu1PositivePositive() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("$v1", BigInteger.valueOf(0x12345678L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("LO", BigInteger.valueOf(0xCAFEBABEL), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
final MockOperandTree operandTree1 = new MockOperandTree();
operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "$v1"));
// , operandTree2);
final List<MockOperandTree> operands = Lists.newArrayList(operandTree1);
final IInstruction instruction = new MockInstruction("mtlo", operands);
translator.translate(environment, instruction, instructions);
interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100));
// check correct outcome
assertEquals(3, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
assertEquals(BigInteger.valueOf(0x12345678L), interpreter.getVariableValue("$v1"));
assertEquals(BigInteger.valueOf(0x12345678L), interpreter.getVariableValue("LO"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
}
use of com.google.security.zynamics.zylib.disassembly.MockOperandTree in project binnavi by google.
the class MulTranslatorTest method testMsubu4NegativeNegative.
@Test
public void testMsubu4NegativeNegative() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("$v0", BigInteger.valueOf(0xDEADBEEFL), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("$v1", BigInteger.valueOf(0xFFFFFFF9L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("$v2", BigInteger.valueOf(0xFFFFFFFDL), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
final MockOperandTree operandTree0 = new MockOperandTree();
operandTree0.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
operandTree0.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "$v0"));
final MockOperandTree operandTree1 = new MockOperandTree();
operandTree1.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
operandTree1.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "$v1"));
final MockOperandTree operandTree2 = new MockOperandTree();
operandTree2.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "b4");
operandTree2.root.m_children.add(new MockOperandTreeNode(ExpressionType.REGISTER, "$v2"));
final List<MockOperandTree> operands = Lists.newArrayList(operandTree0, operandTree1, operandTree2);
final IInstruction instruction = new MockInstruction("mul", operands);
translator.translate(environment, instruction, instructions);
interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100));
// check correct outcome
assertEquals(4, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
assertEquals(BigInteger.valueOf(0x15L), interpreter.getVariableValue("$v0"));
assertEquals(BigInteger.valueOf(0xFFFFFFF9L), interpreter.getVariableValue("$v1"));
assertEquals(BigInteger.valueOf(0xFFFFFFFDL), interpreter.getVariableValue("$v2"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
}
Aggregations