what do you have in mind to speed up the interpretation? What are the
current bottlenecks?
On 17/04/2020 02:38, Cristian Cadar wrote:
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@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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
