Control: tags -1 + pending On Thu, 2017-06-15 at 11:15 +0200, Philippe Thierry wrote:
> Add support for splint static analysis tool
> for C source files check.
Merged locally, made some slight whitespace adjustments
because of this message in the splint manual page:
-I directory
Add directory to path searched for C include files.
Note there is no space after the I, to be consistent
with C preprocessor flags.
Also do you know how to suppress the version/message when there are
no C files or none with code in them? If not, then we need to add
the fixme, fixme-silent tags to the check.
$ find . -type f -iname '*.c' -exec splint -I. +posixlib -preproc -standard
-warnposix {} +
Splint 3.1.2 --- 01 Dec 2016
Finished checking --- no code processed
> The patch (debdiff) is in attachement of this mail.
For future reference, `git format-patch` output would be better.
> Pabs: you talked of updated the README file. I didn't see what or
> where to upload its content, sorry.
No, I meant to read the README file (in doc folder in git) before
working on the patch to add splint support.
BTW: splint is orphaned in Debian and upstream looks very inactive,
you may want to adopt it in Debian and try to improve the situation.
--
bye,
pabs
https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part
