<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">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><br></div>Thanks,<br></div>Jiten<br></div>