Hi,
There is no direct way to do this, in the sense that KLEE doesn't have
such an option. One possibility would be to concretize the arguments to
the function using calls to klee_get_value_*. This is particularly easy
if the arguments have primitive types.
Best,
Cristian
On 17/06/2020 13:43, Hooman wrote:
Dear all,
I was wondering if there is a simple way to make KLEE execute a function
concretely. Here's the situation:
I am calling a function which causes state explosion. I want KLEE not to
fork inside that function(some parameters to the function are symbolic).
Is there any simple way to do that. Thanks in advance.
Best,
Hooman
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
