<div dir="ltr"><div><div><div>Hi Anna,<br></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">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><br></div>Thanks,<br></div>Jiten<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Sep 14, 2017 at 12:49 PM, Anna Zaks <span dir="ltr"><<a href="mailto:ganna@apple.com" target="_blank">ganna@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">Hi Jiten,<div><br></div><div>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><br></div><div>One more specific suggestion I have that aligns with the Body Farm project is to add modeling for the atomics:</div><div><span class="m_-6810016708217551451Apple-tab-span" style="white-space:pre-wrap">    </span><a href="http://llvm.org/OpenProjects.html#clang-sa-atomics" target="_blank">http://llvm.org/OpenProjects.<wbr>html#clang-sa-atomics</a></div><div><br></div><div>Let us know if you have more questions or would like other starter project suggestions.</div><div><br></div><div>Thanks!</div><span class="HOEnZb"><font color="#888888"><div>Anna.</div></font></span><div><div><blockquote type="cite"><div><div class="h5"><div>On Sep 13, 2017, at 4:27 PM, Jiten Thakkar via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>> wrote:</div><br class="m_-6810016708217551451Apple-interchange-newline"></div></div><div><div><div class="h5"><div dir="ltr"><div><div><div>Hi All,<br></div>I was going through open projects page (<a href="https://clang-analyzer.llvm.org/open_projects.html" target="_blank">https://clang-analyzer.llvm.<wbr>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><br></div>Thanks,<br></div>Jiten<br></div></div></div><span class="">
______________________________<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" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/cfe-dev</a><br></span></div></blockquote></div><br></div></div></blockquote></div><br></div>