use of com.google.security.zynamics.zylib.disassembly.MockInstruction in project binnavi by google.
the class ExtshTranslatorTest method testPositive.
@Test
public void testPositive() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("%r0", BigInteger.ZERO, OperandSize.BYTE, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r1", BigInteger.valueOf(0xFFFF7FFFL), 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 List<MockOperandTree> operands = Lists.newArrayList(operandTree1, operandTree2);
final IInstruction instruction = new MockInstruction("extsh", operands);
translator.translate(environment, instruction, instructions);
interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
assertEquals(BigInteger.valueOf(0x7FFFL), interpreter.getVariableValue("%r0"));
assertEquals(BigInteger.valueOf(0xFFFF7FFFL), interpreter.getVariableValue("%r1"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0LT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0GT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0EQ"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0SO"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(7, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.MockInstruction in project binnavi by google.
the class InslwiTranslatorTest method testSimple.
@Test
public void testSimple() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("%r0", BigInteger.valueOf(0x0L), OperandSize.BYTE, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r18", BigInteger.valueOf(0x3039417FL), 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, "%r18"));
final MockOperandTree operandTree3 = new MockOperandTree();
operandTree3.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree3.root.m_children.add(new MockOperandTreeNode(ExpressionType.IMMEDIATE_INTEGER, "5"));
final MockOperandTree operandTree4 = new MockOperandTree();
operandTree4.root = new MockOperandTreeNode(ExpressionType.SIZE_PREFIX, "dword");
operandTree4.root.m_children.add(new MockOperandTreeNode(ExpressionType.IMMEDIATE_INTEGER, "15"));
final List<MockOperandTree> operands = Lists.newArrayList(operandTree1, operandTree2, operandTree3, operandTree4);
final IInstruction instruction = new MockInstruction("inslwi", operands);
translator.translate(environment, instruction, instructions);
interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
assertEquals(BigInteger.valueOf(0x6000L), interpreter.getVariableValue("%r0"));
assertEquals(BigInteger.valueOf(0x3039417FL), interpreter.getVariableValue("%r18"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0LT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0GT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0EQ"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0SO"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("XERCA"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(8, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.MockInstruction in project binnavi by google.
the class MulhwuDotTranslatorTest method testNegativeToPositive.
@Test
public void testNegativeToPositive() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("%r2", BigInteger.valueOf(0x80000000L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r1", BigInteger.valueOf(0x80000000L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r0", BigInteger.ZERO, 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("mulhwu.", operands);
translator.translate(environment, instruction, instructions);
interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
assertEquals(BigInteger.valueOf(0x40000000L), interpreter.getVariableValue("%r0"));
assertEquals(BigInteger.valueOf(0x80000000L), interpreter.getVariableValue("%r1"));
assertEquals(BigInteger.valueOf(0x80000000L), interpreter.getVariableValue("%r2"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0EQ"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0LT"));
assertEquals(BigInteger.ONE, interpreter.getVariableValue("CR0GT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0SO"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(8, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.MockInstruction in project binnavi by google.
the class MulhwuDotTranslatorTest method testPositiveToNegative.
@Test
public void testPositiveToNegative() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("%r2", BigInteger.valueOf(0x7FFFFFFFL), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r1", BigInteger.valueOf(0x4000L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r0", BigInteger.ZERO, 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("mulhwu.", operands);
translator.translate(environment, instruction, instructions);
interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
assertEquals(BigInteger.valueOf(0x00001FFFL), interpreter.getVariableValue("%r0"));
assertEquals(BigInteger.valueOf(0x4000L), interpreter.getVariableValue("%r1"));
assertEquals(BigInteger.valueOf(0x7FFFFFFFL), interpreter.getVariableValue("%r2"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0EQ"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0LT"));
assertEquals(BigInteger.ONE, interpreter.getVariableValue("CR0GT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0SO"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(8, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
use of com.google.security.zynamics.zylib.disassembly.MockInstruction in project binnavi by google.
the class MulhwuTranslatorTest method testNegativeToPositive.
@Test
public void testNegativeToPositive() throws InternalTranslationException, InterpreterException {
interpreter.setRegister("%r2", BigInteger.valueOf(0x80000000L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r1", BigInteger.valueOf(0x80000000L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
interpreter.setRegister("%r0", BigInteger.ZERO, 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("mulhwu", operands);
translator.translate(environment, instruction, instructions);
interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100L));
assertEquals(BigInteger.valueOf(0x40000000L), interpreter.getVariableValue("%r0"));
assertEquals(BigInteger.valueOf(0x80000000L), interpreter.getVariableValue("%r1"));
assertEquals(BigInteger.valueOf(0x80000000L), interpreter.getVariableValue("%r2"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0EQ"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0LT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0GT"));
assertEquals(BigInteger.ZERO, interpreter.getVariableValue("CR0SO"));
assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
assertEquals(8, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
}
Aggregations