Package: check-all-the-things
Version: 2017.05.20
Severity: wishlist
As discussed with Pabs, Add support for splint static analysis tool for
C source files check.
The patch (debdiff) is in attachement of this mail.
splint call has been tested on sid.
Pabs: you talked of updated the README file. I didn't see what or where
to upload its content, sorry.
Cheers,
--
Philippe.
diff -Nru check-all-the-things-2017.05.20/data/c.ini check-all-the-things-2017.05.20/data/c.ini
--- check-all-the-things-2017.05.20/data/c.ini 2017-06-15 11:01:44.000000000 +0200
+++ check-all-the-things-2017.05.20/data/c.ini 2017-06-15 10:44:39.000000000 +0200
@@ -147,10 +147,16 @@
types = text/x-c text/x-c++
command = pscan {files}
+[splint]
+apt = splint
+files =
+ *.c
+types = text/x-c
+command = splint -I . +posixlib -preproc -standard -warnposix {files}
+
# TODO: adlint
# TODO: sparse
# TODO: http://repo.or.cz/w/smatch.git
-# TODO: splint
# TODO: frama-c
# TODO: scan-build
# TODO: abi-compliance-checker
