<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 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="Apple-tab-span" style="white-space:pre"> </span><a href="http://llvm.org/OpenProjects.html#clang-sa-atomics" class="">http://llvm.org/OpenProjects.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><div class="">Anna.</div><div class=""><div><blockquote type="cite" class=""><div class="">On Sep 13, 2017, at 4:27 PM, Jiten Thakkar via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" class="">cfe-dev@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><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" class="">https://clang-analyzer.llvm.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>
_______________________________________________<br class="">cfe-dev mailing list<br class=""><a href="mailto:cfe-dev@lists.llvm.org" class="">cfe-dev@lists.llvm.org</a><br class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev<br class=""></div></blockquote></div><br class=""></div></body></html>