[klee-dev] Facing a problem in linking the external library with KLEE

[Muhammad Monir Hossain]

Dear concern,

Greetings! Hope you are doing well!

I write a code using LLVM dataflow sanitizer library and KLEE assertion and
then convert it to LLVM bit-code. I run the bit-code with KLEE and get some
errors. Here, I have attached the code and screenshot about errors/output
from the tools I received.

Code:
[image: image.png]

The output from KLEE:
[image: image.png]

Would you please let me know why Klee can't run that LLVM bit-code? Is
there any problem with *libclang_rt.dfsan-x88_64.a* static library? Do I
need to use the LLVM bit-code of this library or a shared library (.so) or
anything else I need to do?

I am eagerly waiting for your kind reply. Thank you.


Sincerely,


Muhammad Monir Hossain
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 113544 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20190703/5ea6b822/attachment.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.png
Type: image/png
Size: 44115 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20190703/5ea6b822/attachment-0001.png>