[klee-dev] KLEE Slow execution while executing natively

[Cristian Cadar]

Improving the interpretation speed of KLEE is on our todo list.  But 
KLEE's speed should be comparable to that of lli in interpreter mode 
(lli --force-interpreter=true).  If you have examples where it's slower, 
I'd be curious to take a look, please open an issue on GitHub.

Best,
Cristian

On 14/04/2020 09:50, Hooman wrote:
> Dear all,
> 
> I am trying to execute part of a program symbolically. before using 
> klee_make_symbolic() function, I have some functions which are supposed 
> to be executed natively because I have not made anything symbolic yet. 
> However, this part is executed really slowly. When I execute this part 
> with llvm interpreter, It is executed much faster. I would appreciate 
> any kind of help.
> 
> 
> Kind regards,
> 
> Hooman
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev