Examples with IValueElement com.google.security.zynamics.reil.algorithms.mono.valuetracking.elements.IValueElement used on opensource projects

Example 6 with IValueElement

use of com.google.security.zynamics.reil.algorithms.mono.valuetracking.elements.IValueElement in project binnavi by google.

the class AndSimplifier method simplifyAnd.

public static ValueTrackerElement simplifyAnd(final ReilInstruction instruction, final ReilOperand firstOperand, final ReilOperand secondOperand, final BitwiseAnd previousAnd, final ValueTrackerElement state, final IElementGenerator generator) {
    final ReilOperand thirdOperand = instruction.getThirdOperand();
    final Register targetRegister = new Register(thirdOperand.getValue());
    if (isTruncateMask(previousAnd.getLhs(), firstOperand.getSize())) {
        // (0xFFFFFFFF & X) + Y => (X + Y) & 0xFFFFFFFF
        // final Addition newAddition = new Addition(previousAnd.getRhs(), new Literal(new
        // BigInteger(secondOperand.getValue())));
        final IValueElement newAddition = generator.generate(previousAnd.getRhs(), new Literal(new BigInteger(secondOperand.getValue())));
        final BitwiseAnd newBitwiseAnd = new BitwiseAnd(new Literal(newAddition.evaluate()), previousAnd.getLhs());
        return state.update(instruction, targetRegister, newBitwiseAnd);
    } else if (isTruncateMask(previousAnd.getRhs(), firstOperand.getSize())) {
        // (X & 0xFFFFFFFF) + Y => (X + Y) & 0xFFFFFFFF
        final IValueElement previousLhs = previousAnd.getLhs();
        if (previousLhs instanceof Undefined) {
            return state.update(instruction, targetRegister, new Undefined());
        } else {
            // final Addition newAddition = new Addition(previousLhs, new Literal(new
            // BigInteger(secondOperand.getValue())));
            final IValueElement newAddition = generator.generate(previousLhs, new Literal(new BigInteger(secondOperand.getValue())));
            final BitwiseAnd newBitwiseAnd = new BitwiseAnd(newAddition.getSimplified(), previousAnd.getRhs());
            return state.update(instruction, targetRegister, newBitwiseAnd);
        }
    } else {
        final IValueElement previousState = state.getState(firstOperand.getValue());
        // final IValueElement addition = new Addition(previousState, new Literal(new
        // BigInteger(secondOperand.getValue())));
        final IValueElement addition = generator.generate(previousState, new Literal(new BigInteger(secondOperand.getValue())));
        return state.update(instruction, targetRegister, addition);
    }
}

Example 7 with IValueElement

use of com.google.security.zynamics.reil.algorithms.mono.valuetracking.elements.IValueElement in project binnavi by google.

the class BaseTransformer method transformLiterals.

/**
 * Transforms MNEM L1, L2, R1 to (R1 => CALC(L1, L2))
 *
 * @param instruction The instruction in question.
 * @param incomingState The incoming state from the parents of the instruction.
 * @param generator Combines the input operand values of the instruction.
 *
 * @return The new state of the graph node that represents the instruction.
 */
protected static ValueTrackerElement transformLiterals(final ReilInstruction instruction, final ValueTrackerElement incomingState, final IElementGenerator generator) {
    // The easiest case is handling the combination of two integer literals.
    // The result of this combination is obviously another literal.
    final ReilOperand firstOperand = instruction.getFirstOperand();
    final ReilOperand secondOperand = instruction.getSecondOperand();
    final String thirdOperand = instruction.getThirdOperand().getValue();
    // Now we can update the state of the registers after this instruction is executed.
    // The register in the output operand is updated while the values of all other
    // registers are taken from the incoming state.
    final Register resultAloc = new Register(thirdOperand);
    final IValueElement alocValue = generator.generate(getAtomicType(firstOperand), getAtomicType(secondOperand));
    assert alocValue instanceof Literal : "The combination of two literals was not a literal";
    return incomingState.update(instruction, resultAloc, alocValue);
}

Example 8 with IValueElement

use of com.google.security.zynamics.reil.algorithms.mono.valuetracking.elements.IValueElement in project binnavi by google.

the class BaseTransformer method transformRegisters.

/**
 * Transforms MNEM R1, R2, R3 to (R3 => COMBINE(R1, R2))
 *
 * @param instruction The instruction in question.
 * @param incomingState The incoming state from the parents of the instruction.
 * @param generator Combines the input operand values of the instruction.
 *
 * @return The new state of the graph node that represents the instruction.
 */
protected static ValueTrackerElement transformRegisters(final ReilInstruction instruction, final ValueTrackerElement incomingState, final IElementGenerator generator) {
    final ReilOperand firstOperand = instruction.getFirstOperand();
    final ReilOperand secondOperand = instruction.getSecondOperand();
    final ReilOperand thirdOperand = instruction.getThirdOperand();
    final IValueElement previousState1 = incomingState.getState(firstOperand.getValue());
    final IValueElement previousState2 = incomingState.getState(secondOperand.getValue());
    final IValueElement outputValue = getOutputValue(firstOperand, previousState1, secondOperand, previousState2, generator);
    return incomingState.update(instruction, new Register(thirdOperand.getValue()), outputValue);
}

Example 9 with IValueElement

use of com.google.security.zynamics.reil.algorithms.mono.valuetracking.elements.IValueElement in project binnavi by google.

the class StrTransformer method transform.

public static ValueTrackerElement transform(final ReilInstruction instruction, final ValueTrackerElement incomingState) {
    // STR x, , y
    final ReilOperand inputOperand = instruction.getFirstOperand();
    final ReilOperand outputOperand = instruction.getThirdOperand();
    final Register outputRegister = new Register(outputOperand.getValue());
    final IValueElement previousState = getOperandValue(inputOperand, incomingState);
    if (previousState == null) {
        final IValueElement inputValue = getAtomicType(inputOperand);
        return incomingState.update(instruction, outputRegister, inputValue);
    } else {
        return incomingState.update(instruction, outputRegister, previousState.clone());
    }
}