[klee-dev] Is it possible to use llvm bitcode lines as target for klee evaluation?

[Arnab Kumar Biswas]

Hi all,
If anybody can reply my question that will be very helpful for me.
________________________________
From: klee-dev-bounces at imperial.ac.uk <klee-dev-bounces at imperial.ac.uk> on behalf of Arnab Kumar Biswas <dcsakb at nus.edu.sg>
Sent: Friday, 16 August 2019 10:35 AM
To: klee-dev <klee-dev at imperial.ac.uk>
Subject: [klee-dev] Is it possible to use llvm bitcode lines as target for klee evaluation?

I have a couple of llvm bitcode lines that I have already identified as possible targets. Is there any way to use them as target for klee evaluation? Basically, I want klee to reach those lines as fast as possible instead of going in different directions or branches. If there is any existing project or paper, kindly let me know.


________________________________

Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.

________________________________

Important: This email is confidential and may be privileged. If you are not the intended recipient, please delete it and notify us immediately; you should not copy or use it for any purpose, nor disclose its contents to any other person. Thank you.
-------------- next part --------------
HTML attachment scrubbed and removed