[klee-dev] KLEE Slow execution while executing natively

[Wasa Bee]

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