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

Example 56 with IntegerValue

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

the class SymbolicFunctionVM method CALLER_STACK_PARAM.

@Override
public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, int conc_arg) {
    if (functionUnderExecution != null) {
        IntegerValue symb_arg = getIntegerExprFromStack(nr);
        functionUnderExecution.setParam(nr, conc_arg, symb_arg);
        beforeExecuteFunction(nr);
    }
}

Example 57 with IntegerValue

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

the class SymbolicFunctionVM method CALL_RESULT.

@Override
public void CALL_RESULT(boolean conc_ret_val, String owner, String name, String desc) {
    if (functionUnderExecution != null) {
        if (!functionUnderExecution.getOwner().equals(owner) || !functionUnderExecution.getName().equals(name) || !functionUnderExecution.getDesc().equals(desc)) {
            functionUnderExecution = null;
        }
    }
    if (functionUnderExecution != null) {
        IntegerValue symb_ret_val = this.env.topFrame().operandStack.peekBv32();
        functionUnderExecution.setReturnValue(conc_ret_val, symb_ret_val);
        IntegerValue new_symb_ret_val = (IntegerValue) functionUnderExecution.executeFunction();
        this.replaceTopBv32(new_symb_ret_val);
    }
    functionUnderExecution = null;
}

Example 58 with IntegerValue

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

the class SymbolicFunctionVM method CALLER_STACK_PARAM.

@Override
public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, long conc_arg) {
    if (functionUnderExecution != null) {
        IntegerValue symb_arg = getIntegerExprFromStack(nr);
        functionUnderExecution.setParam(nr, conc_arg, symb_arg);
        beforeExecuteFunction(nr);
    }
}

Example 59 with IntegerValue

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

the class SymbolicFunctionVM method CALLER_STACK_PARAM.

@Override
public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, char conc_arg) {
    if (functionUnderExecution != null) {
        IntegerValue symb_arg = getIntegerExprFromStack(nr);
        functionUnderExecution.setParam(nr, conc_arg, symb_arg);
        beforeExecuteFunction(nr);
    }
}

Example 60 with IntegerValue

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

the class SymbolicFunctionVM method CALL_RESULT.

@Override
public void CALL_RESULT(long conc_ret_val, String owner, String name, String desc) {
    if (functionUnderExecution != null) {
        if (!functionUnderExecution.getOwner().equals(owner) || !functionUnderExecution.getName().equals(name) || !functionUnderExecution.getDesc().equals(desc)) {
            functionUnderExecution = null;
        }
    }
    if (functionUnderExecution != null) {
        IntegerValue symb_ret_val = this.env.topFrame().operandStack.peekBv64();
        functionUnderExecution.setReturnValue(conc_ret_val, symb_ret_val);
        IntegerValue new_symb_ret_val = (IntegerValue) functionUnderExecution.executeFunction();
        this.replaceTopBv64(new_symb_ret_val);
    }
    functionUnderExecution = null;
}