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

Example 16 with IInstruction

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

the class MulTranslatorTest method testMsubu1PositivePositive.

@Test
public void testMsubu1PositivePositive() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister("$v0", BigInteger.valueOf(0xDEADBEEFL), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("$v1", BigInteger.valueOf(0x7L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("$v2", BigInteger.valueOf(0x3L), 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(0x7L), interpreter.getVariableValue("$v1"));
    assertEquals(BigInteger.valueOf(0x3L), interpreter.getVariableValue("$v2"));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
}

Example 17 with IInstruction

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

the class MultTranslatorTest method testMsubu3NegativePositive.

@Test
public void testMsubu3NegativePositive() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister("$v1", BigInteger.valueOf(0xFFFFFFF9L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("$v2", BigInteger.valueOf(0x3L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("HI", BigInteger.valueOf(0x0L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("LO", BigInteger.valueOf(0x0L), 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"));
    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(operandTree1, operandTree2);
    final IInstruction instruction = new MockInstruction("mult", operands);
    translator.translate(environment, instruction, instructions);
    interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100));
    // check correct outcome
    assertEquals(5, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
    assertEquals(BigInteger.valueOf(0xFFFFFFF9L), interpreter.getVariableValue("$v1"));
    assertEquals(BigInteger.valueOf(0x3L), interpreter.getVariableValue("$v2"));
    assertEquals(BigInteger.valueOf(0xFFFFFFFFL), interpreter.getVariableValue("HI"));
    assertEquals(BigInteger.valueOf(0xFFFFFFEBL), interpreter.getVariableValue("LO"));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
}

Example 18 with IInstruction

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

the class MultuTranslatorTest method testMsubu3NegativePositive.

@Test
public void testMsubu3NegativePositive() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister("$v1", BigInteger.valueOf(0xFFFFFFF9L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("$v2", BigInteger.valueOf(0x3L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("HI", BigInteger.valueOf(0x0L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("LO", BigInteger.valueOf(0x0L), 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"));
    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(operandTree1, operandTree2);
    final IInstruction instruction = new MockInstruction("multu", operands);
    translator.translate(environment, instruction, instructions);
    interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100));
    // check correct outcome
    assertEquals(5, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
    assertEquals(BigInteger.valueOf(0xFFFFFFF9L), interpreter.getVariableValue("$v1"));
    assertEquals(BigInteger.valueOf(0x3L), interpreter.getVariableValue("$v2"));
    assertEquals(BigInteger.valueOf(0x2L), interpreter.getVariableValue("HI"));
    assertEquals(BigInteger.valueOf(0xFFFFFFEBL), interpreter.getVariableValue("LO"));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
}

Example 19 with IInstruction

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

the class MultuTranslatorTest method testMsubu4NegativeNegative.

@Test
public void testMsubu4NegativeNegative() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister("$v1", BigInteger.valueOf(0xFFFFFFF9L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("$v2", BigInteger.valueOf(0xFFFFFFFDL), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("HI", BigInteger.valueOf(0x0L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("LO", BigInteger.valueOf(0x0L), 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"));
    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(operandTree1, operandTree2);
    final IInstruction instruction = new MockInstruction("multu", operands);
    translator.translate(environment, instruction, instructions);
    interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100));
    // check correct outcome
    assertEquals(5, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
    assertEquals(BigInteger.valueOf(0xFFFFFFF9L), interpreter.getVariableValue("$v1"));
    assertEquals(BigInteger.valueOf(0xFFFFFFFDL), interpreter.getVariableValue("$v2"));
    assertEquals(BigInteger.valueOf(0xFFFFFFF6L), interpreter.getVariableValue("HI"));
    assertEquals(BigInteger.valueOf(0x15L), interpreter.getVariableValue("LO"));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
}

Example 20 with IInstruction

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

the class MultuTranslatorTest method testMsubu2PositiveNegative.

@Test
public void testMsubu2PositiveNegative() throws InternalTranslationException, InterpreterException {
    interpreter.setRegister("$v1", BigInteger.valueOf(0x7L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("$v2", BigInteger.valueOf(0xFFFFFFFDL), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("HI", BigInteger.valueOf(0x0L), OperandSize.DWORD, ReilRegisterStatus.DEFINED);
    interpreter.setRegister("LO", BigInteger.valueOf(0x0L), 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"));
    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(operandTree1, operandTree2);
    final IInstruction instruction = new MockInstruction("multu", operands);
    translator.translate(environment, instruction, instructions);
    interpreter.interpret(TestHelpers.createMapping(instructions), BigInteger.valueOf(0x100));
    // check correct outcome
    assertEquals(5, TestHelpers.filterNativeRegisters(interpreter.getDefinedRegisters()).size());
    assertEquals(BigInteger.valueOf(0x7L), interpreter.getVariableValue("$v1"));
    assertEquals(BigInteger.valueOf(0xFFFFFFFDL), interpreter.getVariableValue("$v2"));
    assertEquals(BigInteger.valueOf(0x6L), interpreter.getVariableValue("HI"));
    assertEquals(BigInteger.valueOf(0xFFFFFFEBL), interpreter.getVariableValue("LO"));
    assertEquals(BigInteger.ZERO, BigInteger.valueOf(interpreter.getMemorySize()));
}