コード例 #1
0
  public boolean next() {
    if (!m_started) {
      pushLongestPathFrom(m_root);

      m_started = true;
    } else {
      if (traversalStack.empty()) {
        throw new RuntimeException("Internal Error: Traversal already finished");
      }

      do {
        if (traversalStack.empty()) {
          return false;
        }

        final Pair<IZyTreeNode, Integer> parentElement = traversalStack.pop();

        final int childrenProcessed = parentElement.second() + 1;

        if (childrenProcessed > parentElement.first().getChildren().size()) {
          // The parent node was already processed

          continue;
        } else if (childrenProcessed == parentElement.first().getChildren().size()) {
          // Processing finished => Process the parent node now
          traversalStack.push(
              new Pair<IZyTreeNode, Integer>(parentElement.first(), childrenProcessed));

          return true;
        } else {
          traversalStack.push(
              new Pair<IZyTreeNode, Integer>(parentElement.first(), childrenProcessed));

          pushLongestPathFrom(parentElement.first().getChildren().get(childrenProcessed));

          return true;
        }
      } while (true);
    }

    return !traversalStack.empty();
  }
コード例 #2
0
ファイル: ARMCmnTranslator.java プロジェクト: rhmoult/binnavi
  @Override
  protected void translateCore(
      final ITranslationEnvironment environment,
      final IInstruction instruction,
      final List<ReilInstruction> instructions)
      throws InternalTranslationException {

    final IOperandTreeNode registerOperand1 =
        instruction.getOperands().get(0).getRootNode().getChildren().get(0);
    final IOperandTreeNode shifter = instruction.getOperands().get(1).getRootNode();

    final String sourceRegister = (registerOperand1.getValue());

    final OperandSize bt = OperandSize.BYTE;
    final OperandSize wd = OperandSize.WORD;
    final OperandSize dw = OperandSize.DWORD;
    final OperandSize qw = OperandSize.QWORD;

    long baseOffset = (instruction.getAddress().toLong() * 0x100) + instructions.size();

    final String tmpVar1 = environment.getNextVariableString();
    final String aluOut = environment.getNextVariableString();

    // compute <shifter_operand>
    final Pair<String, String> shifterPair =
        AddressingModeOneGenerator.generate(
            baseOffset, environment, instruction, instructions, shifter);

    baseOffset = (instruction.getAddress().toLong() * 0x100) + instructions.size();

    final String shifterOperand = shifterPair.first();

    instructions.add(
        ReilHelpers.createAdd(baseOffset++, dw, sourceRegister, dw, shifterOperand, qw, tmpVar1));
    instructions.add(
        ReilHelpers.createAnd(
            baseOffset++, qw, tmpVar1, dw, String.valueOf(0xFFFFFFFFL), dw, aluOut));

    // match the case where we have to set flags this does not handle the S == 1 and Rd == R15 case
    // !!!
    final String tmpVar3 = environment.getNextVariableString();
    final String tmpVar4 = environment.getNextVariableString();

    final String msbVar1 = environment.getNextVariableString();
    final String msbVar2 = environment.getNextVariableString();

    // N Flag Rd[31]
    instructions.add(
        ReilHelpers.createBsh(baseOffset++, qw, tmpVar1, dw, String.valueOf(-31L), bt, tmpVar3));
    instructions.add(
        ReilHelpers.createAnd(baseOffset++, bt, tmpVar3, bt, String.valueOf(1L), bt, "N"));

    // Z Flag if Rd == 0 then 1 else 0
    instructions.add(ReilHelpers.createBisz(baseOffset++, dw, aluOut, bt, "Z"));

    // C Flag CarryFrom(Rn + shifter_operand)
    instructions.add(
        ReilHelpers.createBsh(baseOffset++, qw, tmpVar1, wd, String.valueOf(-32L), bt, tmpVar4));
    instructions.add(
        ReilHelpers.createAnd(baseOffset++, bt, tmpVar4, bt, String.valueOf(1L), bt, "C"));

    // V Flag OverflowFrom(Rn + shifter_operand)
    instructions.add(
        ReilHelpers.createBsh(
            baseOffset++, dw, shifterOperand, wd, String.valueOf(-31L), bt, msbVar1));
    instructions.add(
        ReilHelpers.createBsh(
            baseOffset++, dw, sourceRegister, wd, String.valueOf(-31L), bt, msbVar2));

    // ( msbA XOR msbR ) AND ( msbB XOR msbR ) == OF
    instructions.add(ReilHelpers.createXor(baseOffset++, bt, msbVar1, bt, "N", bt, tmpVar4));
    instructions.add(ReilHelpers.createXor(baseOffset++, bt, msbVar2, bt, "N", bt, tmpVar3));
    instructions.add(ReilHelpers.createAnd(baseOffset++, bt, tmpVar4, bt, tmpVar3, bt, "V"));
  }
コード例 #3
0
ファイル: DivTranslator.java プロジェクト: gamehacker/binnavi
  @Override
  public void translate(
      final ITranslationEnvironment environment,
      final IInstruction instruction,
      final List<ReilInstruction> instructions)
      throws InternalTranslationException {
    TranslationHelpers.checkTranslationArguments(environment, instruction, instructions, "div");

    final String sourceRegister1 =
        instruction.getOperands().get(0).getRootNode().getChildren().get(0).getValue();
    final String sourceRegister2 =
        instruction.getOperands().get(1).getRootNode().getChildren().get(0).getValue();

    final OperandSize dw = OperandSize.DWORD;

    final long baseOffset = ReilHelpers.toReilAddress(instruction.getAddress()).toLong();
    long offset = baseOffset;

    final Pair<String, String> sourceRegister1Abs =
        Helpers.generateAbs(environment, offset, sourceRegister1, dw, instructions);
    final String sourceRegister1Absolute = sourceRegister1Abs.second();
    offset = baseOffset + instructions.size();

    final Pair<String, String> sourceRegister2Abs =
        Helpers.generateAbs(environment, offset, sourceRegister2, dw, instructions);
    final String sourceRegister2Absolute = sourceRegister2Abs.second();
    offset = baseOffset + instructions.size();

    final String divResult = environment.getNextVariableString();
    final String modResult = environment.getNextVariableString();

    instructions.add(
        ReilHelpers.createDiv(
            offset++, dw, sourceRegister1Absolute, dw, sourceRegister2Absolute, dw, divResult));
    instructions.add(
        ReilHelpers.createMod(
            offset++, dw, sourceRegister1Absolute, dw, sourceRegister2Absolute, dw, modResult));

    final String xoredSigns = environment.getNextVariableString();
    final String divToggleMask = environment.getNextVariableString();
    final String xoredDivResult = environment.getNextVariableString();

    // Find out if the two operands had different signs and adjust the result accordingly
    instructions.add(
        ReilHelpers.createXor(
            offset++,
            dw,
            sourceRegister1Abs.first(),
            dw,
            sourceRegister2Abs.first(),
            dw,
            xoredSigns));
    instructions.add(
        ReilHelpers.createSub(offset++, dw, String.valueOf(0L), dw, xoredSigns, dw, divToggleMask));
    instructions.add(
        ReilHelpers.createXor(offset++, dw, divToggleMask, dw, divResult, dw, xoredDivResult));
    instructions.add(ReilHelpers.createAdd(offset++, dw, xoredDivResult, dw, xoredSigns, dw, "LO"));

    final String modToggleMask = environment.getNextVariableString();
    final String xoredModResult = environment.getNextVariableString();

    instructions.add(
        ReilHelpers.createSub(
            offset++, dw, String.valueOf(0L), dw, sourceRegister1Abs.first(), dw, modToggleMask));
    instructions.add(
        ReilHelpers.createXor(offset++, dw, modToggleMask, dw, modResult, dw, xoredModResult));
    instructions.add(
        ReilHelpers.createAdd(
            offset++, dw, xoredModResult, dw, sourceRegister1Abs.first(), dw, "HI"));
  }