[klee-dev] Running SPEC benchmarks with klee

[Awanish Pandey]

*******************
This email originates from outside Imperial. Do not click on links and attachments unless you recognise the sender. 
If you trust the sender, add them to your safe senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for this address.
*******************
Dear all,

I tried to run SPEC benchmarks with klee but I found that they require
highly formatted input.

Is there any way to handle these situations?

Does anyone have previously rewritten the parsing code of SPEC benchmarks
with insertion of klee_assume for removing useless execution.

Any other different way to tackle this situation is welcomed.

-- 
Thanks and Regards
Awanish Pandey
PhD, CSE
IIT Kanpur
-------------- next part --------------
HTML attachment scrubbed and removed