org.evosuite.symbolic.vm.SymbolicFunctionVM Maven / Gradle / Ivy
The newest version!
/**
* Copyright (C) 2010-2018 Gordon Fraser, Andrea Arcuri and EvoSuite
* contributors
*
* This file is part of EvoSuite.
*
* EvoSuite is free software: you can redistribute it and/or modify it
* under the terms of the GNU Lesser General Public License as published
* by the Free Software Foundation, either version 3.0 of the License, or
* (at your option) any later version.
*
* EvoSuite is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with EvoSuite. If not, see it = this.env.topFrame().operandStack.iterator();
for (int i = 0; i < argTypes.length; i++) {
it.next(); // move cursor until reference
}
Operand op = it.next();
return ((ReferenceOperand) op).getReference();
}
private Operand getOperandFromStack(int nr) {
String desc = functionUnderExecution.getDesc();
Type[] argTypes = Type.getArgumentTypes(desc);
int moves = argTypes.length - 1 - nr;
Iterator it = this.env.topFrame().operandStack.iterator();
for (int i = 0; i < moves; i++) {
it.next(); // move cursor until reference
}
Operand op = it.next();
return op;
}
private IntegerValue getIntegerExprFromStack(int nr) {
IntegerOperand op = (IntegerOperand) getOperandFromStack(nr);
return op.getIntegerExpression();
}
private RealValue getRealExprFromStack(int moves) {
RealOperand op = (RealOperand) getOperandFromStack(moves);
return op.getRealExpression();
}
private ReferenceExpression getReferenceFromStack(int moves) {
ReferenceOperand op = (ReferenceOperand) getOperandFromStack(moves);
return op.getReference();
}
private final Map functionsTable = new HashMap();
private SymbolicFunction getFunction(String owner, String name, String desc) {
FunctionKey k = new FunctionKey(owner, name, desc);
SymbolicFunction f = functionsTable.get(k);
return f;
}
@Override
public void CALL_RESULT(int 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;
}
@Override
public void CALL_RESULT(Object 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) {
ReferenceExpression symb_ret_val = this.env.topFrame().operandStack.peekRef();
functionUnderExecution.setReturnValue(conc_ret_val, symb_ret_val);
ReferenceExpression new_symb_ret_val = (ReferenceExpression) functionUnderExecution
.executeFunction();
this.replaceTopRef(new_symb_ret_val);
}
functionUnderExecution = null;
}
private void replaceTopRef(ReferenceExpression ref) {
env.topFrame().operandStack.popRef();
env.topFrame().operandStack.pushRef(ref);
}
@Override
public void CALL_RESULT(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) {
functionUnderExecution.executeFunction();
}
functionUnderExecution = null;
}
@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;
}
@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;
}
@Override
public void CALL_RESULT(double 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) {
RealValue symb_ret_val = this.env.topFrame().operandStack
.peekFp64();
functionUnderExecution.setReturnValue(conc_ret_val, symb_ret_val);
RealValue new_symb_ret_val = (RealValue) functionUnderExecution
.executeFunction();
this.replaceTopFp64(new_symb_ret_val);
}
functionUnderExecution = null;
}
@Override
public void CALL_RESULT(float 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) {
RealValue symb_ret_val = this.env.topFrame().operandStack
.peekFp32();
functionUnderExecution.setReturnValue(conc_ret_val, symb_ret_val);
RealValue new_symb_ret_val = (RealValue) functionUnderExecution
.executeFunction();
this.replaceTopFp32(new_symb_ret_val);
}
functionUnderExecution = null;
}
@Override
public void INVOKESPECIAL(String owner, String name, String desc) {
functionUnderExecution = getFunction(owner, name, desc);
if (functionUnderExecution != null) {
ReferenceExpression symb_receiver = getReceiverFromStack();
functionUnderExecution.setReceiver(
null /* receiver not yet ready */, symb_receiver);
if (Type.getArgumentTypes(desc).length == 0) {
callBeforeExecution(functionUnderExecution);
}
}
}
private void callBeforeExecution(SymbolicFunction myFunctionUnderExecution) {
IntegerConstraint constraint = myFunctionUnderExecution
.beforeExecuteFunction();
if (constraint != null) {
pc.appendSupportingConstraint(constraint);
}
}
@Override
public void INVOKESPECIAL(Object conc_receiver, String owner, String name,
String desc) {
functionUnderExecution = getFunction(owner, name, desc);
if (functionUnderExecution != null) {
ReferenceExpression symb_receiver = getReceiverFromStack();
functionUnderExecution.setReceiver(conc_receiver, symb_receiver);
if (Type.getArgumentTypes(desc).length == 0) {
callBeforeExecution(functionUnderExecution);
}
}
}
private SymbolicFunction functionUnderExecution;
@Override
public void INVOKEINTERFACE(Object conc_receiver, String owner,
String name, String desc) {
functionUnderExecution = getFunction(owner, name, desc);
if (functionUnderExecution != null) {
ReferenceExpression symb_receiver = getReceiverFromStack();
functionUnderExecution.setReceiver(conc_receiver, symb_receiver);
if (Type.getArgumentTypes(functionUnderExecution.getDesc()).length == 0) {
callBeforeExecution(functionUnderExecution);
}
}
}
@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);
}
}
@Override
public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex,
boolean conc_arg) {
if (functionUnderExecution != null) {
IntegerValue symb_arg = getIntegerExprFromStack(nr);
functionUnderExecution.setParam(nr, conc_arg, symb_arg);
beforeExecuteFunction(nr);
}
}
private void beforeExecuteFunction(int nr) {
// String desc = functionUnderExecution.getDesc();
if (nr ==0) {
callBeforeExecution(functionUnderExecution);
}
}
@Override
public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, short conc_arg) {
if (functionUnderExecution != null) {
IntegerValue symb_arg = getIntegerExprFromStack(nr);
functionUnderExecution.setParam(nr, conc_arg, symb_arg);
beforeExecuteFunction(nr);
}
}
@Override
public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, byte conc_arg) {
if (functionUnderExecution != null) {
IntegerValue symb_arg = getIntegerExprFromStack(nr);
functionUnderExecution.setParam(nr, conc_arg, symb_arg);
beforeExecuteFunction(nr);
}
}
@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);
}
}
@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);
}
}
@Override
public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex, float conc_arg) {
if (functionUnderExecution != null) {
RealValue symb_arg = getRealExprFromStack(nr);
functionUnderExecution.setParam(nr, conc_arg, symb_arg);
beforeExecuteFunction(nr);
}
}
@Override
public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex,
double conc_arg) {
if (functionUnderExecution != null) {
RealValue symb_arg = getRealExprFromStack(nr);
functionUnderExecution.setParam(nr, conc_arg, symb_arg);
beforeExecuteFunction(nr);
}
}
@Override
public void CALLER_STACK_PARAM(int nr, int calleeLocalsIndex,
Object conc_arg) {
if (functionUnderExecution != null) {
ReferenceExpression symb_arg = getReferenceFromStack(nr);
functionUnderExecution.setParam(nr, conc_arg, symb_arg);
beforeExecuteFunction(nr);
}
}
private void replaceTopBv32(IntegerValue expr) {
env.topFrame().operandStack.popBv32();
env.topFrame().operandStack.pushBv32(expr);
}
private void replaceTopBv64(IntegerValue expr) {
env.topFrame().operandStack.popBv64();
env.topFrame().operandStack.pushBv64(expr);
}
private void replaceTopFp32(RealValue expr) {
this.env.topFrame().operandStack.popFp32();
this.env.topFrame().operandStack.pushFp32(expr);
}
private void replaceTopFp64(RealValue expr) {
env.topFrame().operandStack.popFp64();
env.topFrame().operandStack.pushFp64(expr);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy