<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p>Kristof,<br>
</p>
<p><br>
</p>
<p>Thank you for a detailed and quick response! It is more clear now. I will look closer at alpha checkers.<br>
</p>
<p><br>
</p>
<div id="Signature">
<div name="divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:; margin:0">
<hr>
<div><b>Denys Petrov</b></div>
<div>Senior С++ Developer | Kharkiv, Ukraine</div>
<div><br>
</div>
<div></div>
</div>
</div>
<div style="color:rgb(33,33,33)">
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>От:</b> Kristóf Umann <dkszelethus@gmail.com><br>
<b>Отправлено:</b> 17 марта 2020 г. 15:24<br>
<b>Кому:</b> Denis Petrov<br>
<b>Копия:</b> cfe-dev<br>
<b>Тема:</b> Re: [cfe-dev] I am a newcomer</font>
<div> </div>
</div>
<div>
<div style="font-size:9pt; font-family:'Calibri',sans-serif">
<h3 style="background-color:#ffffff; font-size:10pt; border:1px dotted #003333; padding:.8em">
<span style="color:#ff6600">CAUTION:<strong> </strong></span>This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. If you suspect potential phishing or spam
email, report it to ReportSpam@accesssoftek.com</h3>
</div>
<div>
<div dir="ltr">Hi!
<div><br>
</div>
<div>Welcome to the community, I hope you'll enjoy working in the analyzer!</div>
<div><br>
</div>
<div>As an open source project, the static analyzer receives patches from a variety of companies, individual contributors and researchers. We usually communicate either here, on the mailing list (for the most part we tag mails with the [analyzer] tag), but
even more so on phabricator (where we also use the same tag). Many of these groups also contribute to related libraries, most often to clang-tidy.</div>
<div><br>
</div>
<div>Currently Apple, Ericsson and Eötvös Lóránd Universoty are the most frequent contributors, but Google, Firefox, and many others chip in often as well. Apple currently holds ownership of the tool. Generally speaking, this is a team effort from everyone
involved, and we do our best to respond and guide patches to guide them where they would be a great addition.</div>
<div><br>
</div>
<div>Speaking from Ericsson's side, we have a fairly large group working on a number of projects. Some of these in no specific order:</div>
<div>- Introducing a reaching definitions calculator</div>
<div>- Improving the checker infrastructure in preparation for a better C++ support</div>
<div>- Improving checkers for stream handling, iterator and container operations</div>
<div>- Adding new checkers to cover many of the CERT rules</div>
<div>- Researching summary based analyses</div>
<div>- And many others!</div>
<div><br>
</div>
<div>If you wanna be up-to-date as to what others might be doing, I suggest that you create a herald rule that will add you as subscriber to such patches. You can do that from <a href="https://reviews.llvm.org/">https://reviews.llvm.org/</a> -> More applications
(on the left sidebar) -> Herald -> Create Herald Rule (upper right corner):</div>
<div><br>
</div>
<div>When any of these conditions are met:</div>
<div>Revision title contains analyzer</div>
<div>Take these actions every time this rule matches:</div>
<div>Add me as subscriber</div>
<div><br>
</div>
<div>When creating a patch, you should probably add some of the more experienced folks as reviewers: @NoQ (Artem Dergachev), @Szelethus (That's me!), @xazax.hun (Gábor Horváth), @baloghadamsoftware (Ádám Balogh), @Charusso (Csaba Dabis), @dcoughlin (Devin Coughlin,
the code owner).</div>
<div><br>
</div>
<div>As to what projects need the most help, I guess one of the bigger pain points for us the state of alpha checkers. You can retrieve their list with clang -cc1 -analyzer-checker-help-alpha. These are checkers that are by definition incomplete. Artem Dergachev
(@NoQ on phabricator) talked about them in this letter: <a href="http://lists.llvm.org/pipermail/cfe-dev/2019-May/062298.html">http://lists.llvm.org/pipermail/cfe-dev/2019-May/062298.html</a>. Addign new CERT rule checkers would be great as well, though you
should probably send a mail to check whether somebody else is working on it already.</div>
<div><br>
</div>
<div>I don't immediately have a specific bugfix in mind I can direct you to, but other might have ideas regarding that ;)</div>
<div><br>
</div>
<div>Please follow up if you have any questions!</div>
<div>Cheers,</div>
<div>Husi</div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Tue, 17 Mar 2020 at 14:00, Denis Petrov via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>> wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">
<div dir="ltr" style="font-size:12pt; color:rgb(0,0,0); background-color:rgb(255,255,255); font-family:Calibri,Arial,Helvetica,sans-serif">
<p>Hi, all.<br>
</p>
<p><br>
</p>
<p>I am going to be a new contributor for Clang Static Analyzer. <span style="font-size:12pt">I</span><span style="font-size:12pt">'ve been getting familiar for the last two weeks. </span><span style="font-size:12pt">I've already inspected git history, a </span><a href="https://bugs.llvm.org/buglist.cgi?bug_status=NEW&bug_status=CONFIRMED&bug_status=REOPENED&component=Static%20Analyzer&limit=0&list_id=182719&order=product%2Cchangeddate%20DESC%2Cbug_id%20DESC&product=clang&query_format=advanced&resolution=---" target="_blank" style="font-size:12pt">bug-list</a><span style="font-size:12pt"> and
defined main contributors for it. I've read in Docs that addressing here is a good way to assimilate.</span></p>
<p><br>
</p>
<div><span style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:16px; background-color:rgb(255,255,255)">It would be nice if you could tell if there someone who designates the roadmap or has a strategic vision for </span><span style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:16px; background-color:rgb(255,255,255)">Static
Analyzer. Who could advice me where to start from to bring a real impact in terms of<span style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:16px; background-color:rgb(255,255,255)"> at least</span> fixing bugs</span><span style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:16px; background-color:rgb(255,255,255)">?
Maybe you could advice me a specific bug that I can start investigating. It should be easier for you to determine which one might be the one.</span></div>
<div><br>
</div>
<div><span style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:16px; background-color:rgb(255,255,255)"></span>Many thanks!<br>
</div>
<div id="gmail-m_8610386139485781856Signature">
<div name="divtagdefaultwrapper">
<hr>
<div><b>Denys Petrov</b></div>
<div>Senior С++ Developer | Kharkiv, Ukraine</div>
<div><br>
</div>
<div></div>
</div>
</div>
</div>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote>
</div>
</div>
</div>
</div>
</body>
</html>