[cfe-dev] Working on open projects

[Jiten Thakkar via cfe-dev]

Hi Anna,
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:
https://github.com/llvm-mirror/clang/blob/master/lib/Analysis/BodyFarm.cpp#L274
Can you please tell me if this function needs to be improved? How?

Thanks,
Jiten

On Thu, Sep 14, 2017 at 12:49 PM, Anna Zaks <ganna at apple.com> wrote:

> Hi Jiten,
>
> 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.
>
> One more specific suggestion I have that aligns with the Body Farm project
> is to add modeling for the atomics:
> http://llvm.org/OpenProjects.html#clang-sa-atomics
>
> Let us know if you have more questions or would like other starter project
> suggestions.
>
> Thanks!
> Anna.
>
> On Sep 13, 2017, at 4:27 PM, Jiten Thakkar via cfe-dev <
> cfe-dev at lists.llvm.org> wrote:
>
> Hi All,
> I was going through open projects page (https://clang-analyzer.llvm.
> org/open_projects.html) 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.
>
> Thanks,
> Jiten
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20170915/1c545204/attachment.html>