[Nut-upsdev] Static code analysis (was: SSL test regression)

Arjen de Korte nut+devel at de-korte.org
Thu Mar 31 19:44:58 UTC 2011

Citeren Arnaud Quette <aquette.dev op gmail.com>:

> just to revive the static code analysis thread...
> It would be nice if you could expose your ideas and the results of your
> tests.
> Also, apart from Splint, have you tested any other systems?
> From what I see, Splint and Frama-C are probably the most interesting.

Well, the situation hasn't changed much. Even with the latest splint I  
have tried (3.1.2), you still need a *load* of markup to get useful  
output. I'm not sure if this is worth the effort, as you'll have to  
carefully consider each time if the offending line of code should be  
ignored (by adding a directive) or needs changing. Most annoying  
problem is that sometimes even system header files (!) require markup  
and I really don't want to go that route...

Best regards, Arjen
Please keep list traffic on the list (off-list replies will be rejected)

More information about the Nut-upsdev mailing list