<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body>
<p>Folks,</p>
<p><br>
</p>
<p>Prompted by Sean's work (see below) reviving David's original
scheme, I tried this scan-build thing myself. There is now a cron
job set up to run once a week. It populates four new web
directories:</p>
<ul>
<li><a class="moz-txt-link-freetext" href="https://halldweb.jlab.org/scan-build/hdgeant4/">https://halldweb.jlab.org/scan-build/hdgeant4/</a></li>
<li><a class="moz-txt-link-freetext" href="https://halldweb.jlab.org/scan-build/halld_sim/">https://halldweb.jlab.org/scan-build/halld_sim/</a></li>
<li><a class="moz-txt-link-freetext" href="https://halldweb.jlab.org/scan-build/halld_recon/">https://halldweb.jlab.org/scan-build/halld_recon/</a></li>
<li><a class="moz-txt-link-freetext" href="https://halldweb.jlab.org/scan-build/hdds/">https://halldweb.jlab.org/scan-build/hdds/</a></li>
</ul>
<p>where the results of scan-build will be accumulated for each
package. It is running once a week at present, using a build of
the master branch of each package. A screenshot of an example
warning from halld_recon is attached.<br>
</p>
<p><br>
</p>
<p> -- Mark</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 2/5/21 3:53 PM, Sean Dobbs wrote:<br>
</div>
<blockquote type="cite" cite="mid:BN8PR02MB5985CB0D234BE5E7704A5A0FCBB29@BN8PR02MB5985.namprd02.prod.outlook.com">
<style type="text/css" style="display:none;">P {margin-top:0;margin-bottom:0;}</style>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">Hi Offliners,</span><br>
<br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">To follow up on some of the
discussion from this week's meeting, you</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">can find the output of a
recent run of the scan-build static analyzer</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">here:</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<a href="https://halldweb.jlab.org/scan-build/scan-build-2021-01-21-110224-160369-1/" rel="noreferrer" target="_blank" data-saferedirecturl="https://www.google.com/url?q=https://halldweb.jlab.org/scan-build/scan-build-2021-01-21-110224-160369-1/&source=gmail&ust=1612644755461000&usg=AFQjCNFn1jvV3vxgS3wqbaGlbukCMsMEiw" style="color:rgb(17, 85, 204);font-family:Arial, Helvetica,
sans-serif" moz-do-not-send="true">https://halldweb.jlab.org/scan<wbr>-build/scan-build-2021-01-21-<wbr>110224-160369-1/</a><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">Several potential bugs are
flagged, but I'm not convinced that any of</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">them have any practical effect
- we should squash them anyway, of</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">course.</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">I couldn't find a common build
of clang (though I didn't do an</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">exhaustive search), so I built
my own version, and then used the</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">following magic to get
scan-build to work with Scons:</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important"> env["CC"] =
os.getenv("CC") or env["CC"]</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important"> env["CXX"] =
os.getenv("CXX") or env["CXX"]</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important"> env["ENV"].update(x
for x in os.environ.items() if</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">x[0].startswith("CCC_"))</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">I scattered this code in
various places, but probably someone more</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">familiar with SBMS would know
the most efficient place to put these</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">lines, if we want to start the
weekly runs of this analyzer back up.</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">Cheers,</span><br style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica, sans-serif">
<span style="caret-color:rgb(34, 34, 34);color:rgb(34, 34,
34);font-family:Arial, Helvetica,
sans-serif;font-size:small;background-color:rgb(255, 255,
255);display:inline !important">Sean</span>
<div class="yj6qo" style="caret-color:rgb(34, 34,
34);color:rgb(34, 34, 34);font-family:Arial, Helvetica,
sans-serif">
</div>
<br class="Apple-interchange-newline" style="caret-color:rgb(0,
0, 0)">
<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Halld-offline mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Halld-offline@jlab.org">Halld-offline@jlab.org</a>
<a class="moz-txt-link-freetext" href="https://mailman.jlab.org/mailman/listinfo/halld-offline">https://mailman.jlab.org/mailman/listinfo/halld-offline</a></pre>
</blockquote>
</body>
</html>