<div dir="ltr">Thanks, no worries I did not add them to Bcc, dont know what went wrong ...<div><br></div><div>Regards,</div><div><br></div><div>Pierre Gousseau</div><div>SN Systems - Sony Computer Entertainment<br><div class="gmail_extra"><br><div class="gmail_quote">On 16 July 2015 at 15:24, Gábor Horváth <span dir="ltr"><<a href="mailto:xazax.hun@gmail.com" target="_blank">xazax.hun@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span class=""><span style="line-height:normal">On 16 July 2015 at 14:59, Pierre Gousseau </span><span dir="ltr" style="line-height:normal"><<a href="mailto:pierregousseau14@gmail.com" target="_blank">pierregousseau14@gmail.com</a>></span><span style="line-height:normal"> wrote:</span><br></span><div class="gmail_extra"><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">Ping !<div>Adding analyzer experts to cc.</div></div></blockquote><div><br></div></span><div><span style="line-height:normal">Did you add them to bcc? I can not see them in CC. (So added them. Sorry in case it is redundant.)</span> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span class=""><div dir="ltr"><span><div><br></div><div>Regards,</div><div><br></div><div><div style="font-size:12.8000001907349px">Pierre Gousseau</div><div style="font-size:12.8000001907349px">SN Systems - Sony Computer Entertainment</div></div></span></div></span><div class="gmail_extra"><br><div class="gmail_quote"><span class=""><span>On 2 July 2015 at 09:06, Pierre Gousseau <span dir="ltr"><<a href="mailto:pierregousseau14@gmail.com" target="_blank">pierregousseau14@gmail.com</a>></span> wrote:<br></span></span><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div>Dear All,</div><div><br></div><div>I have been looking into PR22954 which has been kindly raised by krzystof at <a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__llvm.org_bugs_show-5Fbug.cgi-3Fid-3D22954&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=CnzuN65ENJ1H9py9XLiRvC_UQz6u3oG6GUNn7_wosSM&m=LxmcVZkm5xIjs1yr1VLtb4m0d77DEnuuKxA5OWJy0ik&s=20DofY-XUAVm4jp531KRZXRDke5d_wY6icOWPvtHJoA&e=" target="_blank">https://llvm.org/bugs/show_bug.cgi?id=22954</a> and being new to this area of Clang I would appreciate any tips on how to fix it.</div><span class=""><span><div><br></div><div>To me the root of the issue seems to originate from the CString checker as it performs invalidation of the destination buffer.</div><div>Given the snippet below:</div><div>-----------------</div><div>struct aa { char *s; char data[32];};</div><div>...</div><div>a.s = malloc(nbytes);</div><div>memcpy(a.data, source, len);</div><div>...</div><div>-----------------</div><div>As the CString checker handles the memcpy call, it requests the invalidation of the 'a.data' region. But the invalidation worker seems to consider that the whole memory region of 'a' has to be invalidated. The Malloc checker is not made aware of this causing the false positive.</div><div><br></div><div>It seems a short term fix could be to detect this specific case and have the CString checker notify the Malloc checker that it should stop tracking 'a.s'.</div><div>However this solution would reduce the number of genuine defects detected.</div><div><br></div><div>So I would be grateful if someone could give some hints on how to provide the right solution.</div><div><br></div><div>Regards,</div><div><br></div><div>Pierre Gousseau</div><div>SN Systems - Sony Computer Entertainment</div></span></span></div>
</blockquote></div><br></div>
<br>_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
<br></blockquote></div><br></div></div>
</blockquote></div><br></div></div></div>