[cfe-dev] Working on open projects

[Anna Zaks via cfe-dev]

Hi Jiten,

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.

Cheers,
Anna
> On Sep 15, 2017, at 5:08 PM, Jiten Thakkar <jitenmt at gmail.com> wrote:
> 
> 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 <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 <mailto: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 <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 <mailto:cfe-dev at lists.llvm.org>> wrote:
>> 
>> Hi All,
>> I was going through open projects page (https://clang-analyzer.llvm.org/open_projects.html <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 <mailto:cfe-dev at lists.llvm.org>
>> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev <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/20170928/7170039d/attachment.html>