<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<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>BTW,<br>
</p>
<p><br>
</p>
<p>I am trying to get a report from <em></em><em>tinyxml2 </em>(<a href="https://github.com/leethomason/tinyxml2">https://github.com/leethomason/tinyxml2</a>) project running:<br>
<span style="font-family: Consolas, monospace;">scan-build -stats -o . --use-analyzer=<path>\clang.exe make</span></p>
<p><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;"><span style="font-family: Calibri, Arial, Helvetica, sans-serif;">preliminarily adding next <span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">`<em>d</em></span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);"><em>evision
by zero</em>`</span> function <span style="font-family: Calibri, Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255);">
to </span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255);"><em style="">tinyxml2.cpp</em></span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255);">
file </span>.</span></span><br style="font-family: Consolas, monospace;">
</span></p>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;">int f(bool is)</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;">{</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;"> int x = 0;</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;"> int y = x;</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;"> int z = 0;</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;"> if(y == 0)</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;"> {</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;"> z = 12 / x;</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;"> }</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;"> return z;</span></span></div>
<div><span style="font-family: Consolas, monospace; font-size: 11pt;"><span style="font-family: Consolas, monospace;">}</span></span><br>
</div>
<p>But the result is:<br>
</p>
<div><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;">scan-build: Analysis run complete.</span></span></div>
<div><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;">scan-build: Removing directory '<path>/tinyxml2-master/build/2020-05-14-215742-2708-1' because it contains no reports.</span></span></div>
<div><span style="font-family: Consolas, monospace;"><span style="font-family: Consolas, monospace;">scan-build: No bugs found.</span></span><br>
</div>
<p><br>
</p>
<p>What <span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">
am</span><span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);"> </span>I doing wrong?<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> Gábor Márton <martongabesz@gmail.com><br>
<b>Отправлено:</b> 13 мая 2020 г. 19:40<br>
<b>Кому:</b> Denis Petrov<br>
<b>Копия:</b> cfe-dev<br>
<b>Тема:</b> Re: [cfe-dev] [analyzer] Any real projects for testing Static Analyzer?</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 Denis,
<div><br>
</div>
<div>I am using <a href="https://github.com/Xazax-hun/csa-testbench">csa-testbanch</a> to test the performance and stability of my patches. It can aggregate the analyzer statistics and provides really nice charts. Under the hood it uses
<a href="https://github.com/Ericsson/codechecker/">CodeChecker</a>.</div>
<div>The usual projects I run the tests are (in increasing complexity for the analyzer):</div>
<div>
<ul>
<li>tmux</li><li>curl</li><li>redis</li><li>xerces</li><li>bitcoin</li><li>protobuf</li></ul>
<div>Here are two example configurations that I use for the testbanch:</div>
</div>
<div>
<ul>
<li><a href="https://github.com/Ericsson/clang-jenkins/blob/master/jenkins_home/c_projects_jenkins.json">C projects</a></li><li><a href="https://github.com/Ericsson/clang-jenkins/blob/master/jenkins_home/cpp_projects_jenkins.json">C++ projects</a></li></ul>
<div>Note, these config files describe how to build the projects and what kind of parameters to add to each analyzer invocations.</div>
</div>
<div><br>
</div>
<div>Cheers,</div>
<div>Gabor</div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Wed, May 13, 2020 at 1:37 PM 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>What (open) projects do you use to test CSA (features, performance, etc.)?<br>
</p>
<p>I was trying to find any, but it is harder then I thought. I'm using Windows and many projects use posix includes.<br>
</p>
<p><br>
</p>
<p>My aim is to test performance of my patch. Or maybe somebody could do this for me :).<br>
</p>
<p><br>
</p>
<div id="gmail-m_7962994649105199069Signature">
<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>