<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi Jiten,<div class=""><br class=""></div><div class="">The existing function models Apple specific API, but std::atomic_compare_exchange_* functions are not modeled yet. The modeling would be similar but not quite the same.</div><div class=""><br class=""></div><div class="">Cheers,</div><div class="">Anna<br class=""><div><blockquote type="cite" class=""><div class="">On Sep 15, 2017, at 5:08 PM, Jiten Thakkar <<a href="mailto:jitenmt@gmail.com" class="">jitenmt@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class=""><div class=""><div class="">Hi Anna,<br class=""></div>I think the atomics modeling project seems interesting. But I was looking at the BodyFarm code and I found that atomics is being taken care of by this function: <a href="https://github.com/llvm-mirror/clang/blob/master/lib/Analysis/BodyFarm.cpp#L274" class="">https://github.com/llvm-mirror/clang/blob/master/lib/Analysis/BodyFarm.cpp#L274</a> Can you please tell me if this function needs to be improved? How?<br class=""><br class=""></div>Thanks,<br class=""></div>Jiten<br class=""></div><div class="gmail_extra"><br class=""><div class="gmail_quote">On Thu, Sep 14, 2017 at 12:49 PM, Anna Zaks <span dir="ltr" class=""><<a href="mailto:ganna@apple.com" target="_blank" class="">ganna@apple.com</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class="">Hi Jiten,<div class=""><br class=""></div><div class="">The open projects list is somewhat out of date. However, the main problem is that most of the projects on the list are too difficult, especially, for contributors who do not have a lot of experience working on the analyzer.</div><div class=""><br class=""></div><div class="">One more specific suggestion I have that aligns with the Body Farm project is to add modeling for the atomics:</div><div class=""><span class="m_-6810016708217551451Apple-tab-span" style="white-space:pre-wrap"> </span><a href="http://llvm.org/OpenProjects.html#clang-sa-atomics" target="_blank" class="">http://llvm.org/OpenProjects.<wbr class="">html#clang-sa-atomics</a></div><div class=""><br class=""></div><div class="">Let us know if you have more questions or would like other starter project suggestions.</div><div class=""><br class=""></div><div class="">Thanks!</div><span class="HOEnZb"><font color="#888888" class=""><div class="">Anna.</div></font></span><div class=""><div class=""><blockquote type="cite" class=""><div class=""><div class="h5"><div class="">On Sep 13, 2017, at 4:27 PM, Jiten Thakkar via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank" class="">cfe-dev@lists.llvm.org</a>> wrote:</div><br class="m_-6810016708217551451Apple-interchange-newline"></div></div><div class=""><div class=""><div class="h5"><div dir="ltr" class=""><div class=""><div class=""><div class="">Hi All,<br class=""></div>I was going through open projects page (<a href="https://clang-analyzer.llvm.org/open_projects.html" target="_blank" class="">https://clang-analyzer.llvm.<wbr class="">org/open_projects.html</a>) and wondering if that page is up to date or not. I found 'Explicitly model standard library functions with BodyFarm' and 'Enhance CFG to model C++ new more precisely' interesting to work on. I have some experience with LLVM API and modeling functions for verification as part of my masters project. So if anyone can let me know whom should I contact for those projects or how should I get started then it would be very helpful.<br class=""><br class=""></div>Thanks,<br class=""></div>Jiten<br class=""></div></div></div><span class="">
______________________________<wbr class="">_________________<br class="">cfe-dev mailing list<br class=""><a href="mailto:cfe-dev@lists.llvm.org" target="_blank" class="">cfe-dev@lists.llvm.org</a><br class=""><a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" target="_blank" class="">http://lists.llvm.org/cgi-bin/<wbr class="">mailman/listinfo/cfe-dev</a><br class=""></span></div></blockquote></div><br class=""></div></div></blockquote></div><br class=""></div>
</div></blockquote></div><br class=""></div></body></html>