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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
