2010/2/17 Arnaud Quette
> 2010/2/17 Arjen de Korte:
> > Citeren Charles Lepple:
> >
> >> I wonder if there are any cross-compilation targets we could use
to test
> >> some of the word-size assumptions. Also, we could add in some
static
> >> analysis tools.
>
> FYI, I submitted NUT to the Coverity Scan program
> (http://scan.coverity.com) last september.
> 3 pings later, I still have no news, nor at least a first contact!
> maybe some of you may want to second that request?
>
> > Regarding the latter, I tried running 'splint' on a couple of
source
> files a
> > while back. It didn't take long to realize that this might indeed
improve
> > the quality of the code. But this will be a monumental task to do this
> NUT
> > wide, since without added markup (to tell splint what we're
doing), this
> > will result in an endless list of warning messages.
> >
> > After nut-2.4.2 is out, I'll commit a couple of examples to show
what
> would
> > be needed.
>
> excellent.
>
> don't hesitate to complete the QA document:
> http://buildbot.ghz.cc/~buildbot/docs/r2351-444/website/nut-qa.html
> (generated from docs/nut-qa.txt)
>
> I would really like to see the static code analysis subject addressed.
>
> Arjen, have you compared / tried other systems like Frama-C, BLAST or
> Clang?
>
> before investing in one system or another (which is part of 2.8), I
> would like to have a clear picture of the situation.
>
> cheers,
> Arnaud
>
cheers,
Arnaud
--
Linux / Unix Expert R&D - Eaton - http://powerquality.eaton.com
Network UPS Tools (NUT) Project Leader - http://www.networkupstools.org/
Debian Developer - http://www.debian.org
Free Software Developer - http://arnaud.quette.free.fr/
--90e6ba6e8714e801d7049f0fca7b
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Hi Arjen,<br><br>just to revive the static code analysis
thread...<br><br>It would be nice if you could expose your ideas and
the results of your tests.<br>Also, apart from Splint, have you tested any
other systems?<br>From what I see, Splint and Frama-C are probably the
most interesting.<br>
<br><div class=3D"gmail_quote">2010/2/17 Arnaud
Quette<br><blockquote class=3D"gmail_quote"
style=3D"margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204,
204); padding-left: 1ex;">2010/2/17 Arjen de Korte:<br>
> Citeren Charles Lepple:<br>
<div class=3D"im">><br>
>> I wonder if there are any cross-compilation targets we could
use to test<br>
>> some of the word-size assumptions. Also, we could add in some
static<br>
>> analysis tools.<br>
<br>
</div>FYI, I submitted NUT to the Coverity Scan program<br>
(<a href=3D"http://scan.coverity.com"
target=3D"_blank">http://scan.coverity.com</a>) last
september.<br>
3 pings later, I still have no news, nor at least a first contact!<br>
maybe some of you may want to second that request?<br>
<div class=3D"im"><br>
> Regarding the latter, I tried running 'splint' on a
couple of source files a<br>
> while back. It didn't take long to realize that this might
indeed improve<br>
> the quality of the code. But this will be a monumental task to do this
NUT<br>
> wide, since without added markup (to tell splint what we're
doing), this<br>
> will result in an endless list of warning messages.<br>
><br>
> After nut-2.4.2 is out, I'll commit a couple of examples to
show what would<br>
> be needed.<br>
<br>
</div>excellent.<br>
<br>
don't hesitate to complete the QA document:<br>
<a
href=3D"http://buildbot.ghz.cc/%7Ebuildbot/docs/r2351-444/website/nut-qa.html"
target=3D"_blank">http://buildbot.ghz.cc/~buildbot/docs/r2351-444/website/nut-qa.html</a><br>
(generated from docs/nut-qa.txt)<br>
<br>
I would really like to see the static code analysis subject addressed.<br>
<br>
Arjen, have you compared / tried other systems like Frama-C, BLAST or
Clang?<br>
<br>
before investing in one system or another (which is part of 2.8), I<br>
would like to have a clear picture of the situation.<br>
<br>
cheers,<br>
<font color=3D"#888888">Arnaud<br>
</font></blockquote></div><br><br>cheers,<br
clear=3D"all">Arnaud<br>-- <br>Linux / Unix Expert
R&D - Eaton - <a href=3D"http://powerquality.eaton.com"
target=3D"_blank">http://powerquality.eaton.com</a><br>Network
UPS Tools (NUT) Project Leader - <a
href=3D"http://www.networkupstools.org/"
target=3D"_blank">http://www.networkupstools.org/</a><br>
Debian Developer - <a href=3D"http://www.debian.org"
target=3D"_blank">http://www.debian.org</a><br>Free
Software Developer - <a href=3D"http://arnaud.quette.free.fr/"
target=3D"_blank">http://arnaud.quette.free.fr/</a><br><br>
--90e6ba6e8714e801d7049f0fca7b--
