C: add TODO items for coccinelle, DR.CHECKER, RATS

data/c.ini

@@ -154,14 +154,15 @@ types = text/x-c
 command = splint -I. +posixlib -preproc -strict -warnposix +quiet {files}
 
 # TODO: adlint
+# TODO: coccinelle
 # TODO: sparse
 # TODO: http://repo.or.cz/w/smatch.git
 # TODO: frama-c
 # TODO: scan-build
 # TODO: abi-compliance-checker
 # TODO: http://oclint.org/
 # TODO: http://saturn.stanford.edu/
-# TODO: https://scan.coverity.com/
+# TODO: https://scan.coverity.com/ https://gcc.gnu.org/ml/gcc-patches/2017-08/msg00424.html
 # TODO: https://github.com/facebookarchive/flint
 # TODO: https://github.com/Krazy-collection/krazy
 # TODO: https://css.csail.mit.edu/stack/
@@ -170,4 +171,6 @@ command = splint -I. +posixlib -preproc -strict -warnposix +quiet {files}
 # TODO: https://github.com/danmar/ublinter
 # TODO: https://cgit.kde.org/clazy.git/
 # TODO: http://trust-in-soft.com/tis-interpreter/
+# TODO: https://github.com/ucsb-seclab/dr_checker/
+# TODO: https://github.com/andrew-d/rough-auditing-tool-for-security
 # TODO: shell metacharacter injection: system popen