[cfe-dev] [GSoC] Interested in idea: "Find null smart pointer dereferences with the Static Analyzer"

[Nithin Vadukkumchery Rajendrakumar via cfe-dev]

Hi,

Thanks for the help!

I have followed this
guide(https://github.com/haoNoQ/clang-analyzer-guide) also. Even
though it was little outdated, it helped to learn about basic ideas like
Exploded Graph and Symbolic Values. And with a little bit of googling I was
able to implement the simple checker (to find a main call) given in the
guide.
As you suggested, I will have a look at InnerPointerChecker.cpp
<https://github.com/llvm/llvm-project/blob/master/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp>
 implementation.

----
Regards,
Nithin


On Sat, Mar 7, 2020 at 3:46 PM Csaba Dabis <dabis.csaba98 at gmail.com> wrote:

> Hey!
>
> This is a tiny bit outdated, but very great booklet which is must have:
> https://github.com/haoNoQ/clang-analyzer-guide
>
> I believe you have missed that tutorial, and there is another cool checker
> which tries to model the inner pointer of a string, something similar idea
> to check the guts of a smart pointer:
> InnerPointerChecker.cpp
> <https://github.com/llvm/llvm-project/blob/master/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp>
>
> That was another GSoC project: https://rnkovacs.com/gsoc2018/
>
> On Sat, Mar 7, 2020 at 1:41 PM Nithin Vadukkumchery Rajendrakumar via
> cfe-dev <cfe-dev at lists.llvm.org> wrote:
>
>> Greetings,
>>
>>
>> I am interested to participate in GSoC 2020. I am particularly interested
>> in the project idea "Find null smart pointer dereferences with the Static
>> Analyzer". I am doing my masters in computer science and interested in
>> program analysis and verification. I thought GSoC2020 will be a wonderful
>> opportunity to learn more about Clang Static Analyzer and contribute.
>>
>>
>> I have started reading about smart pointers in C++ to get a good grasp of
>> the concepts. Also, has some experience in implementing Clang Static
>> Analyzer simple checks(similar to SimpleStreamChecker) from the tutorials.
>> I read through few available tutorials and have some basic idea about Control
>> Flow Graph, Exploded Graph and Symbolic Values. I have read the paper "A
>> memory model for static analysis of C programs" to get some theoretical
>> background. I also started looking into NullabilityChecker.cpp
>> <https://github.com/llvm/llvm-project/blob/master/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp> to
>> understand the codebase.
>>
>> I would like to know is this the right place to look?
>>
>> Could anyone please help me on what should I do next?
>>
>> ----
>> Thanks & Regards,
>> Nithin
>> _______________________________________________
>> cfe-dev mailing list
>> cfe-dev at lists.llvm.org
>> https://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/20200307/a427546a/attachment.html>