Fix #12458 (checkers report: does not indicate misra checkers properl…

…y) (#6302)
danmar · Apr 17, 2024 · 397464e · 397464e
1 parent 3a212f1
commit 397464e
Show file tree

Hide file tree

Showing 6 changed files with 561 additions and 393 deletions.
diff --git a/addons/cppcheckdata.py b/addons/cppcheckdata.py
@@ -1651,6 +1651,14 @@ def is_suppressed(location, message, errorId):
             return True
     return False
 
+def log_checker(message, addon):
+    if '--cli' in sys.argv:
+        msg = { 'addon': addon,
+                'severity': 'none',
+                'message': message,
+                'errorId': 'logChecker'}
+        sys.stdout.write(json.dumps(msg) + '\n')
+
 def reportError(location, severity, message, addon, errorId, extra='', columnOverride=None):
     if '--cli' in sys.argv:
         msg = { 'file': location.file,

diff --git a/addons/misra.py b/addons/misra.py
@@ -4489,6 +4489,10 @@ def executeCheck(self, rule_num, check_function, *args):
                 1901) # misra-c2012-19.1 : misra c++2008 2-13-3
 
             if (not self.is_cpp) or rule_num in misra_cpp:
+                # log checker
+                errmsg = 'Misra C: %i.%i' % (rule_num // 100, rule_num % 100)
+                cppcheckdata.log_checker(errmsg, 'misra')
+
                 check_function(*args)
 
     def parseDump(self, dumpfile, path_premium_addon=None):

diff --git a/lib/checkbufferoverrun.cpp b/lib/checkbufferoverrun.cpp
@@ -462,7 +462,7 @@ void CheckBufferOverrun::negativeIndexError(const Token* tok,
 
 void CheckBufferOverrun::pointerArithmetic()
 {
-    if (!mSettings->severity.isEnabled(Severity::portability))
+    if (!mSettings->severity.isEnabled(Severity::portability) && !mSettings->isPremiumEnabled("pointerOutOfBounds"))
         return;
 
     logChecker("CheckBufferOverrun::pointerArithmetic"); // portability
@@ -820,7 +820,7 @@ void CheckBufferOverrun::terminateStrncpyError(const Token *tok, const std::stri
 void CheckBufferOverrun::argumentSize()
 {
     // Check '%type% x[10]' arguments
-    if (!mSettings->severity.isEnabled(Severity::warning))
+    if (!mSettings->severity.isEnabled(Severity::warning) && !mSettings->isPremiumEnabled("argumentSize"))
         return;
 
     logChecker("CheckBufferOverrun::argumentSize"); // warning