<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
Dear Developers,<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
<br>
</div>
<div style="margin: 0px; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
<span style="margin: 0px; background-color: white">I am a Master's student at the <span style="margin: 0px; background-color: white">ECE department of the University of Florida, USA.</span><span style="margin: 0px; background-color: white"></span> For my
research project, supervised by </span><a href="http://tehranipoor.ece.ufl.edu/" target="_blank" rel="noopener noreferrer" title="http://tehranipoor.ece.ufl.edu/" style="margin: 0px">Prof. Mark Tehranipoor</a><span style="margin: 0px; background-color: white"> </span><span style="margin: 0px; background-color: white">and</span><span style="margin: 0px; background-color: white"> </span><a href="http://farimah.ece.ufl.edu/" target="_blank" rel="noopener noreferrer" title="http://farimah.ece.ufl.edu/" style="margin: 0px">Prof.
Farimah Farahmandi</a>, <span style="margin: 0px; background-color: white"> I need to use Clang LLVM DataflowSanitizer library in KLEE. However, I have faced some difficulties (explained below) while interfacing this library with KLEE and I am seeking your
help to solve it. </span><br>
<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
For our research purpose, we are using LLVM compiler and LLVM DataFlowSanitizer library. We instrumented a C code using LLVM DataFlowSanitizer library (from <strong>dfsan_interface.h</strong>) along with the insertion of some KLEE assertion (from <strong>klee.h</strong>)
and converted it to LLVM Bit-code. Then we provided this LLVM Bit-code to KLEE (software verification tool) to run with the archive library of DataFlowSanitizer tool, <strong>libclang_rt.dfsan-x86_64.a</strong>. But, KLEE showed the following error.</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
<img size="0" contenttype="image/png" unselectable="on" tabindex="-1" style="max-width: 100%; user-select: none;" data-outlook-trace="F:1|T:1" src="cid:99d3b241-aa41-425f-94fb-1395932c5c00"><br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
<span style="font-family: Calibri, Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255); display: inline !important">However, to figure out the problem, I have built a sample custom archive library from the object files generated by Clang/LLVM
(using cmd </span><b style="font-family: Calibri, Arial, Helvetica, sans-serif">llvm-ar</b><span style="font-family: Calibri, Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255); display: inline !important">) and used this library in a C code
along with KLEE. In this case, KLEE gave the same error as above. Then I generated the same sample custom archive library from the LLVM bit-code files</span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255); display: inline !important"> and
this time KLEE executed successfully. Hence, I am afraid whether KLEE requires the bit-code version of </span><strong style="font-family: Calibri, Arial, Helvetica, sans-serif">libclang_rt.dfsan-x86_64.a</strong><span style="font-family: Calibri, Arial, Helvetica, sans-serif"> or
there is any other solution.</span><br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
<span style="margin: 0px; font-family: Calibri, Arial, Helvetica, sans-serif"><br>
</span></div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
In this circumstance, it would be great if you could direct me to resolve this issue. Please let me know if you need any other information. </div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
Thank you,<br>
</div>
<div style="margin: 0px; font-size: 12pt; font-family: Calibri, Arial, Helvetica, sans-serif; background-color: white">
Monir</div>
<br>
</div>
</body>
</html>