[zeromq-dev] CZMQ Coverity Scan

Pieter Hintjens ph at imatix.com
Sun Oct 26 19:21:49 CET 2014


Is there any way I can see the defects? I've requested access via that
site. Shame it's not open by default. The analysis should not be private.

On Sun, Oct 26, 2014 at 6:26 PM, William Martin <
william.martin at power-lan.com> wrote:

> Hi,
>
> It's looks like a very nice tool. I have create some issue based on the
> last report.
> https://scan.coverity.com/projects/3263/view_defects
>
> Thanks,
>
> On Sun, Oct 26, 2014 at 4:36 PM, Arnaud Kapp <kapp.arno at gmail.com> wrote:
>
>> Hello everyone,
>>
>> About a week ago I added CZMQ to Coverity Scan. For those who
>> don't know, it's a rather powerful static code analyzer.
>>
>> Coverity integrates well with Github. You should be able to see the
>> defects report here: https://scan.coverity.com/projects/3263 ,
>> provided that you are logged in (you can log-in with Github).
>>
>> Note that this build was manually uploaded. However,
>> Coverity supports Travis-Ci integration.
>>
>> The number of scan per week is limited (based on number of line of
>> code). This best pratice is to create a "coverity-scan" branch
>> and to push change regularly in order to trigger build.
>>
>> If you guys are interested I can come up with a PR that would
>> change the .travis.yml file and enable this behavior. We would
>> then have to push code to covery-scan branch from time to time.
>>
>> Then, if this proves useful, we could consider adding libzmq.
>>
>> Thanks,
>> _______________________________________________
>> zeromq-dev mailing list
>> zeromq-dev at lists.zeromq.org
>> http://lists.zeromq.org/mailman/listinfo/zeromq-dev
>>
>
>
>
> --
> William MARTIN
> <http://www.power-lan.com/>
> 15 rue de la Noé des Yonnières
> 44850 Saint-Mars-du-Désert
>
> Email : william.martin at power-lan.com
> Tel : 02 85 52 12 74 - 06 49 23 59 68
> Fax : 02 85 52 13 72
>
> _______________________________________________
> zeromq-dev mailing list
> zeromq-dev at lists.zeromq.org
> http://lists.zeromq.org/mailman/listinfo/zeromq-dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.zeromq.org/pipermail/zeromq-dev/attachments/20141026/9a858eff/attachment.htm>


More information about the zeromq-dev mailing list