From: Jay Rolette <rolette@infiniteio.com>
To: "Wiles, Roger Keith" <keith.wiles@windriver.com>
Cc: "<dev@dpdk.org>" <dev@dpdk.org>
Subject: Re: [dpdk-dev] Clang Scan build results
Date: Wed, 27 Aug 2014 10:58:19 -0500 [thread overview]
Message-ID: <CADNuJVrauQmTJm_F7qshc7mnyMyTLMAeKRn_2yVcW3sApexWSw@mail.gmail.com> (raw)
In-Reply-To: <D5DA887A-E33A-4444-8FE4-D932809FF006@windriver.com>
Here's the link you want: https://scan.coverity.com/
Check the FAQ for terms and you'll need to register the product, but I
didn't see anything obvious that should get in the way from being able to
use it for DPDK.
Agree with Coverity not being cheap. I bought it for my last company.
Really liked that Coverity had a much higher signal-to-noise ratio than
other tools at the time. Possibly the gap has closed since then, but you
know it can't be as bad as lint!
On Wed, Aug 27, 2014 at 10:52 AM, Wiles, Roger Keith <
keith.wiles@windriver.com> wrote:
> Nice, we had to buy one and that was not cheap :-) I groped around on the
> Coverity site and did not find any statement about being free to open
> source, but I may have just missed it.
>
> I did find that PC-Lint, Coverity, scan-build, … all seem to test
> different parts of your code and some are better then others. Some have a
> lot false positives and some report huge number of issues, but it just
> depends on the type and level of scan you want. One thing I found was you
> need to run different tools to find different problems as none of them do
> everything IMO.
>
> On Aug 27, 2014, at 10:24 AM, Jay Rolette <rolette@infiniteio.com> wrote:
>
> *> We could run something like PC-Lint or Coverity, but they cost money
> :-)*
> Pretty sure Coverity is free for open source projects...
>
> Jay
>
> On Wed, Aug 27, 2014 at 10:13 AM, Wiles, Roger Keith <
> keith.wiles@windriver.com> wrote:
>
>> Hi Everyone,
>>
>> I built dpdk with Clang and used the scan-build analyzer to produce a
>> report. The report is about 13M in size so not very nice to send to the
>> list. I decided to place the report on github.com if you want to see the
>> results.
>>
>> While running scan-build the build would fail, but I forced the build to
>> continue using the scan-build option to get as much of the report as
>> possible. I did not have time yet to understand why the build stopped and I
>> hope to dig into it more later.
>>
>> Running scan-build is pretty simple, so would be a nice test report if
>> you wanted to add it to dpdk.org site and maintain its output for
>> review. It would be nice to run once in a while to weed out any basic
>> problems. We could run something like PC-Lint or Coverity, but they cost
>> money :-)
>>
>> Here is the link to my Pktgen-DPDK repos on github:
>>
>> # git clone git://github.com/Pktgen/dpdk-scan-build-results.git
>>
>> Let me know if you have any questions or suggestions.
>>
>> Thanks
>> ++Keith
>>
>>
>> Keith Wiles, Principal Technologist with CTO office, Wind River mobile
>> 972-213-5533
>>
>>
>
> *Keith **Wiles*, Principal Technologist with CTO office, *Wind River *mobile
> 972-213-5533
>
>
next prev parent reply other threads:[~2014-08-27 15:54 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-27 15:13 Wiles, Roger Keith
2014-08-27 15:24 ` Jay Rolette
2014-08-27 15:52 ` Wiles, Roger Keith
2014-08-27 15:58 ` Jay Rolette [this message]
2014-08-27 16:09 ` Thomas Monjalon
2014-08-27 16:19 ` Wiles, Roger Keith
2014-08-27 17:02 ` Vincent JARDIN
2014-08-27 17:55 ` Julien Cretin
2014-08-28 3:00 ` Matthew Hall
2014-08-28 5:29 ` Wiles, Roger Keith
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CADNuJVrauQmTJm_F7qshc7mnyMyTLMAeKRn_2yVcW3sApexWSw@mail.gmail.com \
--to=rolette@infiniteio.com \
--cc=dev@dpdk.org \
--cc=keith.wiles@windriver.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).