No subject
Mon Mar 21 21:14:43 UTC 2011
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>I=
t would be nice if you could expose your ideas and the results of your test=
s.<br>Also, apart from Splint, have you tested any other systems?<br>From w=
hat 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 t=
o test<br>
>> some of the word-size assumptions. Also, we could add in some stat=
ic<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.coverit=
y.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 w=
hat 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/we=
bsite/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 To=
ols (NUT) Project Leader - <a href=3D"http://www.networkupstools.org/" targ=
et=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><b=
r>
--90e6ba6e8714e801d7049f0fca7b--
More information about the Nut-upsdev
mailing list