<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Oct 10, 2016 at 2:12 AM, Jong-Ju Park via cfe-dev <span dir="ltr"><<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">To whom it may concern:<br>
<br>
Greetings and happy Thanksgiving!<br>
I am using DataflowSanitizer to conduct software engineering-related research at Simon Fraser University, Canada.<br>
<br>
First off, why is it that for dfsan_create_label, the userdata is a pointer type,<br>
whereas for dfsan_get_label, the data is a long integer type? Not that I intend to<br>
confront or judge your wisdom in any way, but it seems more intuitive<br>
for the data type of dfsan_get_label and that in the dfsan_label_info structure to match.<br></blockquote><div><br></div><div>The userdata stored in dfsan_label_info is unrelated to the value passed to dfsan_get_label. Normally we would expect this value to be numeric, so the function takes an integer as a parameter.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Also, after assigning a label to a byte, and copying the byte into another variable,<br>
I should get the label for the original byte if I try to fetch the labels on the said variable;<br>
however, no matter what I do, I get a (null) description and a (nil) data for the variable.<br>
The description and the data are just as expected when I use the original byte to<br>
fetch the label and the dfsan_label_info structure, though.<br></blockquote><div><br></div><div>Can you please attach a small self contained example that demonstrates the problem? Ideally something along the lines of the test cases in compiler-rt/test/dfsan.</div><div><br></div><div>Peter</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
My Clang version is 3.8, and I am using Lubutu 16.04.<br>
<br>
I have attached a PDF of some of the codes that I tried.<br>
<br>
DyTan has a dependency hell going on, not to mention being too tightly<br>
coupled with legacy technology (a very old version of Pin that has the files laid out in<br>
a very particular way) and TaintGrind is not quite what I am looking for,<br>
so I am really counting on getting DataFlowSanitizer to work as I want it to.<br>
<br>
Thank you for looking into this, and I would appreciate a reply as soon as possible.<br>
<br>
<br>
Sincerely,<br>
<br>
JongJu Park<br>______________________________<wbr>_________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div><div dir="ltr">-- <div>Peter</div></div></div>
</div></div>