gcc-parser: experimental support for smatch

Author: kdudka

gcc-parser.cc

@@ -63,6 +63,7 @@ class AbstractTokenFilter: public ITokenizer {
 #define RE_EVENT_GCC "(?:(?:(?:fatal|internal) )?[a-z]+)"
 #define RE_EVENT_PROSPECTOR "(?:[A-Z]+[0-9]+\\[[a-z0-9]+\\])"
 #define RE_EVENT RE_EVENT_GCC "|" RE_EVENT_PROSPECTOR
+#define RE_FNC_SMATCH "(\\(null\\)|[_A-Za-z][_A-Za-z0-9]*)\\(\\)"
 
 class Tokenizer: public ITokenizer {
     public:
@@ -73,7 +74,10 @@ class Tokenizer: public ITokenizer {
             reInc_("^(?:In file included| +) from " RE_LOCATION "[:,]"
                     RE_TOOL_SUFFIX),
             reScope_("^" RE_LOCATION ": ([A-Z].+):" RE_TOOL_SUFFIX),
-            reMsg_("^" RE_LOCATION /* evt/msg */ ": (" RE_EVENT "): (.*)$")
+            reMsg_("^" RE_LOCATION /* evt/msg */ ": (" RE_EVENT "): (.*)$"),
+            reSmatch_("^([^:]+):([0-9]+)() "    /* file:line */
+                    RE_FNC_SMATCH               /* fnc       */
+                    " ([a-z]+): (.*)$")         /* evt: msg  */
         {
         }
 
@@ -90,6 +94,7 @@ class Tokenizer: public ITokenizer {
         const boost::regex      reInc_;
         const boost::regex      reScope_;
         const boost::regex      reMsg_;
+        const boost::regex      reSmatch_;
 };
 
 EToken Tokenizer::readNext(DefEvent *pEvt) {
@@ -128,6 +133,12 @@ EToken Tokenizer::readNext(DefEvent *pEvt) {
         pEvt->event = "included_from";
         pEvt->msg   = "Included from here.";
     }
+    else if (boost::regex_match(line, sm, reSmatch_)) {
+        tok = T_MSG;
+        pEvt->event = sm[/* evt */ 5];
+        pEvt->msg   = sm[/* fnc */ 4] + "(): ";
+        pEvt->msg  += sm[/* msg */ 6];
+    }
     else
         return T_UNKNOWN;
 
@@ -391,6 +402,10 @@ bool BasicGccParser::exportAndReset(Defect *pDef) {
             // <--[shellcheck]
             def.checker = "SHELLCHECK_WARNING";
 
+        else if (tool == "smatch")
+            // <--[smatch]
+            def.checker = "SMATCH_WARNING";
+
         else if (tool == "cppcheck" && !this->digCppcheckEvt(&def))
             // <--[cppcheck] ... assume cppcheck running with --template=gcc
             def.checker = "CPPCHECK_WARNING";

tests/CMakeLists.txt

@@ -148,6 +148,7 @@ test_csgrep(csgrep      "38-csparser-remediation"     )
 test_csgrep(csgrep      "39-csparser-remediation"     )
 test_csgrep(csgrep      "40-csparser-code-snippet"    )
 test_csgrep(csgrep      "41-gcc-parser-pylint"        )
+test_csgrep(csgrep      "42-gcc-parser-smatch"        )
 test_csparser(csparser-5.8                          00)
 test_csparser(csparser-5.8                          01)
 test_csparser(csparser-5.8                          02)