[klee-dev] Executing Concretely inside a certain function

[Cristian Cadar]

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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev