<div dir="ltr"><div>To be more explicit, the message is below.</div><div><br class="gmail-Apple-interchange-newline"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">---------- Forwarded message ----------</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">From:<span> </span></span><b class="gmail_sendername" style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">Coverity SCAN</b><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline"><span> </span></span><span dir="ltr" style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><<a href="mailto:scan-admin@coverity.com">scan-admin@coverity.com</a>></span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Date: Fri, Mar 16, 2018 at 2:18 PM</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Subject: Coverity SCAN is Again Available</span><br style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><div style="font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><p style="color:rgb(34,34,34)">Coverity SCAN Service Community:</p><p style="">As you may be aware, there recently was an interruption in the availability of the Coverity Scan service. In February 2018, we discovered that servers used for the Coverity Scan service were accessed by an unauthorized third-party. The access appears to have started earlier in the month. <font color="#ff0000">We suspect that the access was to utilize our computing power for cryptocurrency mining.</font> We have not found evidence that database files or artifacts uploaded by the open source community users of the Coverity Scan service were accessed. We retained a well-known computer forensics company to assist us in our investigation.</p><p style="color:rgb(34,34,34)">We have closed the method of access, and the Coverity Scan service is again available as a free service to the open source community. The Coverity Scan service data is backed up frequently, and Coverity Scan service data will be restored. We regret any inconvenience caused by the downtime of the Coverity Scan service.</p><p style="color:rgb(34,34,34)">We take our commitment to the Open Source community seriously.<span> </span><strong>To that end, we are asking that all Coverity Scan users reset their passwords to regain access to the service. We are continually assessing and improving our systems and practices in this environment, and will work with the Coverity Scan Service community in this effort.</strong></p><p style="color:rgb(34,34,34)">Please note that the servers in question were not connected to any other Synopsys computer networks. This should have no impact on customers of our commercial products, and this event did not put any Synopsys corporate data or intellectual property at risk.</p><p style="color:rgb(34,34,34)">If you have any questions or concerns, please contact us at<span> </span><a href="mailto:scan-admin@synopsys.com" target="_blank" style="color:rgb(17,85,204)">scan-admin@synopsys.com</a>.</p></div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Mar 16, 2018 at 3:21 PM, Jeff Hammond <span dir="ltr"><<a href="mailto:jeff.science@gmail.com" target="_blank">jeff.science@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I assume you all saw the update an hour or two ago explaining the absence. If not, look for it.<div><br></div><div>Jeff</div></div><div class="gmail_extra"><div><div class="h5"><br><div class="gmail_quote">On Wed, Mar 14, 2018 at 1:29 PM, Jeff Squyres (jsquyres) <span dir="ltr"><<a href="mailto:jsquyres@cisco.com" target="_blank">jsquyres@cisco.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">We could certainly try them all and see which one(s) we like.<br>
<br>
I have no real opinion -- we've been using Coverity for forever; it's disappointing that it has gone offline with zero word from their owners (even if they told us "no, we're not doing this anymore", that would be better than silence).<br>
<div class="m_-6490940452024601430HOEnZb"><div class="m_-6490940452024601430h5"><br>
<br>
<br>
> On Mar 14, 2018, at 4:05 PM, Paulson, Erik R <<a href="mailto:erik.r.paulson@intel.com" target="_blank">erik.r.paulson@intel.com</a>> wrote:<br>
><br>
> Looking at Code Climate's website, it looks like they don't support C.<br>
><br>
> I found this tool: <a href="https://about.sonarcloud.io/" rel="noreferrer" target="_blank">https://about.sonarcloud.io/</a> I have never used it before, but it says it supports C and is free for open source.<br>
><br>
><br>
> -Erik<br>
><br>
> -----Original Message-----<br>
> From: ofiwg [mailto:<a href="mailto:ofiwg-bounces@lists.openfabrics.org" target="_blank">ofiwg-bounces@lists.op<wbr>enfabrics.org</a>] On Behalf Of Hefty, Sean<br>
> Sent: Wednesday, March 14, 2018 12:17 PM<br>
> To: <a href="mailto:ofiwg@lists.openfabrics.org" target="_blank">ofiwg@lists.openfabrics.org</a><br>
> Subject: [ofiwg] coverity replacement<br>
><br>
> The ofiwg github projects have made use of Coverity for static code analysis, which has proven useful in identifying bugs without generating hundreds of false warnings (I'm looking at you Klockwork). However, it went down for maintenance nearly a month ago, with no responses to emails or updates on when or if the service will ever come back.<br>
><br>
> At this point, I think we need to look at alternatives. Does anyone have any personal recommendations on any analysis tools that integrate with github? I've done some searches for possible replacements, and Code Climate came up as a possible alternative. Has anyone used this or know of something better?<br>
><br>
> <a href="https://codeclimate.com/pricing/" rel="noreferrer" target="_blank">https://codeclimate.com/pricin<wbr>g/</a><br>
><br>
> We are still using Travis CI and AppVeyor for testing, so this would primarily be for static analysis.<br>
><br>
> - Sean<br>
> ______________________________<wbr>_________________<br>
> ofiwg mailing list<br>
> <a href="mailto:ofiwg@lists.openfabrics.org" target="_blank">ofiwg@lists.openfabrics.org</a><br>
> <a href="http://lists.openfabrics.org/mailman/listinfo/ofiwg" rel="noreferrer" target="_blank">http://lists.openfabrics.org/m<wbr>ailman/listinfo/ofiwg</a><br>
> ______________________________<wbr>_________________<br>
> ofiwg mailing list<br>
> <a href="mailto:ofiwg@lists.openfabrics.org" target="_blank">ofiwg@lists.openfabrics.org</a><br>
> <a href="http://lists.openfabrics.org/mailman/listinfo/ofiwg" rel="noreferrer" target="_blank">http://lists.openfabrics.org/m<wbr>ailman/listinfo/ofiwg</a><br>
<br>
<br>
</div></div><span class="m_-6490940452024601430HOEnZb"><font color="#888888">--<br>
Jeff Squyres<br>
<a href="mailto:jsquyres@cisco.com" target="_blank">jsquyres@cisco.com</a><br>
</font></span><div class="m_-6490940452024601430HOEnZb"><div class="m_-6490940452024601430h5"><br>
______________________________<wbr>_________________<br>
ofiwg mailing list<br>
<a href="mailto:ofiwg@lists.openfabrics.org" target="_blank">ofiwg@lists.openfabrics.org</a><br>
<a href="http://lists.openfabrics.org/mailman/listinfo/ofiwg" rel="noreferrer" target="_blank">http://lists.openfabrics.org/m<wbr>ailman/listinfo/ofiwg</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div></div></div><span class="HOEnZb"><font color="#888888">-- <br><div class="m_-6490940452024601430gmail_signature" data-smartmail="gmail_signature">Jeff Hammond<br><a href="mailto:jeff.science@gmail.com" target="_blank">jeff.science@gmail.com</a><br><a href="http://jeffhammond.github.io/" target="_blank">http://jeffhammond.github.io/</a></div>
</font></span></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Jeff Hammond<br><a href="mailto:jeff.science@gmail.com" target="_blank">jeff.science@gmail.com</a><br><a href="http://jeffhammond.github.io/" target="_blank">http://jeffhammond.github.io/</a></div>
</div></div>