Examples with IntegerValue org.evosuite.symbolic.expr.bv.IntegerValue used on opensource projects

Example 96 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class JumpVM method IFGT.

/**
 * (p > 0) is just (0 < p). (0 < p) is just ((left < p) with left==0).
 *
 * (p <= 0) is just (0 >= p). (0 >= p) is just (not (0
 * < p
 * )).
 *
 * http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
 * doc6.html#ifcond
 */
@Override
public void IFGT(String className, String methName, int branchIndex, int p) {
    // symbolic
    IntegerValue rightBv = env.topFrame().operandStack.popBv32();
    // version
    // of
    // p
    // left
    env.topFrame().operandStack.pushBv32(ExpressionFactory.ICONST_0);
    // hand
    // side
    // argument
    // of
    // LT comparison
    // right hand side
    env.topFrame().operandStack.pushBv32(rightBv);
    // argument of LT
    // comparison
    IF_ICMPLT(className, methName, branchIndex, 0, p);
}

Example 97 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class LocalsVM method ILOAD.

/**
 * ... ==> ..., value
 *
 * http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
 * doc6.html#iload
 */
@Override
public void ILOAD(int i) {
    IntegerValue integerExpression = env.topFrame().localsTable.getBv32Local(i);
    env.topFrame().operandStack.pushBv32(integerExpression);
}

Example 98 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class LocalsVM method LLOAD.

@Override
public void LLOAD(int i) {
    IntegerValue integerExpression = env.topFrame().localsTable.getBv64Local(i);
    env.topFrame().operandStack.pushBv64(integerExpression);
}

Example 99 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class B_Init method executeFunction.

@Override
public Object executeFunction() {
    IntegerValue bv32 = this.getSymbIntegerArgument(0);
    ReferenceConstant symb_byte = (ReferenceConstant) this.getSymbReceiver();
    env.heap.putField(Types.JAVA_LANG_BYTE, SymbolicHeap.$BYTE_VALUE, null, /* conc_integer */
    symb_byte, bv32);
    // return void
    return null;
}

Example 100 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class C_CharValue method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_character = this.getSymbReceiver();
    Character conc_character = (Character) this.getConcReceiver();
    char conc_char_value = this.getConcCharRetVal();
    IntegerValue symb_char_value = env.heap.getField(Types.JAVA_LANG_CHARACTER, SymbolicHeap.$CHAR_VALUE, conc_character, symb_character, conc_char_value);
    return symb_char_value;
}