diff --git a/analyzer/tests/functional/cmdline/test_cmdline.py b/analyzer/tests/functional/cmdline/test_cmdline.py index 34b2091acb..d1ca045ec2 100644 --- a/analyzer/tests/functional/cmdline/test_cmdline.py +++ b/analyzer/tests/functional/cmdline/test_cmdline.py @@ -211,7 +211,9 @@ def test_checkers_guideline(self): 'Malloc', 'MallocSizeof', 'clang-diagnostic-format-overflow', - 'overflow-non-kprintf'])) + 'overflow-non-kprintf', + 'gcc-allocation-size', + 'gcc-out-of-bounds'])) checkers_cmd = [env.codechecker_cmd(), 'checkers', '--guideline'] _, out, _ = run_cmd(checkers_cmd) diff --git a/config/labels/analyzers/cppcheck.json b/config/labels/analyzers/cppcheck.json index eaf37cf436..936fd6233f 100644 --- a/config/labels/analyzers/cppcheck.json +++ b/config/labels/analyzers/cppcheck.json @@ -21,7 +21,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:fio39-c" ], "cppcheck-StlMissingComparison": [ "profile:default", @@ -58,7 +59,8 @@ "memory-safety:cwe-121", "memory-safety:cwe-122", "memory-safety:cwe-126", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:arr30-c" ], "cppcheck-arrayIndexOutOfBoundsCond": [ "profile:default", @@ -100,7 +102,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:dcl30-c" ], "cppcheck-autovarInvalidDeallocation": [ "guideline:memory-safety", @@ -108,7 +111,8 @@ "profile:extreme", "profile:sensitive", "memory-safety:cwe-590", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:mem34-c" ], "cppcheck-badBitmaskCheck": [ "profile:default", @@ -132,7 +136,8 @@ "profile:sensitive", "memory-safety:cwe-121", "memory-safety:cwe-122", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:arr30-c" ], "cppcheck-catchExceptionByValue": [ "severity:STYLE" @@ -188,6 +193,10 @@ "profile:sensitive", "severity:HIGH" ], + "cppcheck-subtractPointers": [ + "severity:HIGH", + "sei-cert-c:arr36-c" + ], "cppcheck-compareValueOutOfTypeRangeError": [ "severity:STYLE" ], @@ -246,7 +255,9 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:ctr50-cpp", + "sei-cert-c:str53-cpp" ], "cppcheck-copyCtorAndEqOperator": [ "profile:default", @@ -284,7 +295,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:dcl30-c" ], "cppcheck-danglingReference": [ "profile:default", @@ -299,7 +311,9 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp54-cpp", + "sei-cert-c:mem50-cpp" ], "cppcheck-deallocDealloc": [ "profile:default", @@ -319,13 +333,15 @@ "profile:extreme", "profile:sensitive", "memory-safety:cwe-416", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:mem30-c", + "sei-cert-c:mem50-cpp" ], "cppcheck-derefInvalidIterator": [ "profile:default", "profile:extreme", "profile:sensitive", - "severity:MEDIUM" + "severity:HIGH" ], "cppcheck-divideSizeof": [ "profile:default", @@ -339,7 +355,9 @@ "profile:extreme", "profile:sensitive", "memory-safety:cwe-415", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:mem36-c", + "sei-cert-c:mem56-cpp" ], "cppcheck-duplInheritedMember": [ "profile:default", @@ -398,8 +416,12 @@ "profile:sensitive", "severity:MEDIUM" ], + "cppcheck-throwInEntryPoint": [ + "severity:HIGH", + "sei-cert-c:err55-cpp" + ], "cppcheck-fflushOnInputStream": [ - "severity:LOW" + "severity:MEDIUM" ], "cppcheck-floatConversionOverflow": [ "profile:default", @@ -495,7 +517,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:int32-c" ], "cppcheck-internalAstError": [ "severity:CRITICAL" @@ -507,7 +530,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:str52-cpp" ], "cppcheck-invalidContainerLoop": [ "severity:HIGH" @@ -522,7 +546,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:flp32-c" ], "cppcheck-invalidFunctionArgBool": [ "profile:default", @@ -552,10 +577,11 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:mem50-cpp" ], "cppcheck-invalidPointerCast": [ - "severity:LOW" + "severity:MEDIUM" ], "cppcheck-invalidPrintfArgType_float": [ "profile:default", @@ -701,8 +727,9 @@ "cppcheck-legacyUninitvar": [ "guideline:sei-cert-c", "profile:security", + "severity:HIGH", "sei-cert-c:exp33-c", - "severity:HIGH" + "sei-cert-c:exp53-cpp" ], "cppcheck-literalWithCharPtrCompare": [ "profile:default", @@ -732,19 +759,22 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:mem31-c" ], "cppcheck-memleakOnRealloc": [ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:err33-c" ], "cppcheck-memsetClass": [ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp62-cpp" ], "cppcheck-memsetClassFloat": [ "severity:LOW" @@ -776,7 +806,8 @@ "profile:extreme", "profile:sensitive", "memory-safety:cwe-762", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:mem51-cpp" ], "cppcheck-mismatchSize": [ "profile:default", @@ -821,7 +852,9 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:msc37-c", + "sei-cert-c:msc52-cpp" ], "cppcheck-moduloAlwaysTrueFalse": [ "profile:default", @@ -854,7 +887,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:MEDIUM" + "severity:MEDIUM", + "sei-cert-c:ctr50-cpp" ], "cppcheck-negativeIndex": [ "guideline:memory-safety", @@ -902,7 +936,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp34-c" ], "cppcheck-nullPointerArithmetic": [ "profile:default", @@ -920,17 +955,26 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:MEDIUM" + "severity:MEDIUM", + "sei-cert-c:err33-c" + ], + "cppcheck-nullPointerArithmeticOutOfMemory": [ + "severity:MEDIUM", + "sei-cert-c:err33-c" ], "cppcheck-nullPointerOutOfMemory": [ "profile:extreme", "profile:sensitive", - "severity:MEDIUM" + "severity:MEDIUM", + "sei-cert-c:err33-c", + "sei-cert-c:exp34-c", + "sei-cert-c:mem52-cpp" ], "cppcheck-nullPointerOutOfResources": [ "profile:extreme", "profile:sensitive", - "severity:MEDIUM" + "severity:MEDIUM", + "sei-cert-c:err33-c" ], "cppcheck-nullPointerRedundantCheck": [ "profile:default", @@ -1014,10 +1058,10 @@ "severity:STYLE" ], "cppcheck-pointerOutOfBounds": [ - "severity:LOW" + "severity:MEDIUM" ], "cppcheck-pointerOutOfBoundsCond": [ - "severity:LOW" + "severity:MEDIUM" ], "cppcheck-pointerPositive": [ "severity:STYLE" @@ -1032,7 +1076,7 @@ "severity:LOW" ], "cppcheck-preprocessorErrorDirective": [ - "severity:HIGH" + "severity:CRITICAL" ], "cppcheck-publicAllocationError": [ "profile:default", @@ -1044,7 +1088,7 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:MEDIUM" + "severity:HIGH" ], "cppcheck-purgedConfiguration": [ "severity:LOW" @@ -1111,7 +1155,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:fio42-c" ], "cppcheck-rethrowNoCurrentException": [ "profile:default", @@ -1140,7 +1185,10 @@ "profile:extreme", "profile:sensitive", "memory-safety:cwe-562", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:dcl30-c", + "sei-cert-c:exp54-cpp", + "sei-cert-c:exp61-cpp" ], "cppcheck-returnLocalVariable": [ "profile:default", @@ -1200,16 +1248,18 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:int34-c" ], "cppcheck-shiftNegativeLHS": [ - "severity:LOW" + "severity:MEDIUM" ], "cppcheck-shiftTooManyBits": [ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:int34-c" ], "cppcheck-shiftTooManyBitsSigned": [ "profile:default", @@ -1344,7 +1394,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:str30-c" ], "cppcheck-suspiciousCase": [ "profile:default", @@ -1362,7 +1413,8 @@ "severity:MEDIUM" ], "cppcheck-syntaxError": [ - "severity:CRITICAL" + "severity:CRITICAL", + "sei-cert-c:pre32-c" ], "cppcheck-thisSubtraction": [ "profile:default", @@ -1371,7 +1423,7 @@ "severity:MEDIUM" ], "cppcheck-thisUseAfterFree": [ - "severity:MEDIUM" + "severity:HIGH" ], "cppcheck-throwInNoexceptFunction": [ "profile:default", @@ -1428,7 +1480,9 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp53-cpp", + "sei-cert-c:mem53-cpp" ], "cppcheck-uninitstring": [ "profile:default", @@ -1442,13 +1496,16 @@ "profile:extreme", "profile:sensitive", "memory-safety:cwe-457", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp33-c" ], "cppcheck-unknownEvaluationOrder": [ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp30-c", + "sei-cert-c:exp50-cpp" ], "cppcheck-unknownMacro": [ "severity:CRITICAL" @@ -1580,7 +1637,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp58-cpp" ], "cppcheck-va_start_subsequentCalls": [ "profile:default", @@ -1610,7 +1668,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:oop52-cpp" ], "cppcheck-writeReadOnlyFile": [ "profile:default", @@ -1646,7 +1705,8 @@ "profile:default", "profile:extreme", "profile:sensitive", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:int33-c" ], "cppcheck-zerodivcond": [ "profile:default", diff --git a/config/labels/analyzers/gcc.json b/config/labels/analyzers/gcc.json index 706663ab6e..a3a32f1294 100644 --- a/config/labels/analyzers/gcc.json +++ b/config/labels/analyzers/gcc.json @@ -4,24 +4,30 @@ "gcc-allocation-size": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-allocation-size", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp36-c", + "sei-cert-c:mem35-c", + "sei-cert-c:mem54-cpp" ], "gcc-deref-before-check": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-deref-before-check", "profile:extreme", - "severity:MEDIUM" + "severity:MEDIUM", + "sei-cert-c:exp34-c" ], "gcc-double-fclose": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-double-fclose", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:fio42-c" ], "gcc-double-free": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-double-free", "guideline:memory-safety", "profile:extreme", "memory-safety:cwe-415", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:mem30-c" ], "gcc-exposure-through-output-file": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-exposure-through-output-file", @@ -36,7 +42,7 @@ "gcc-fd-access-mode-mismatch": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-fd-access-mode-mismatch", "profile:extreme", - "severity:HIGH" + "severity:MEDIUM" ], "gcc-fd-double-close": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-fd-double-close", @@ -46,39 +52,47 @@ "gcc-fd-leak": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-fd-leak", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:pos35-c", + "sei-cert-c:pos38-c" ], "gcc-fd-phase-mismatch": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-fd-phase-mismatch", "profile:extreme", - "severity:HIGH" + "severity:MEDIUM" ], "gcc-fd-type-mismatch": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-fd-type-mismatch", "profile:extreme", - "severity:HIGH" + "severity:MEDIUM" ], "gcc-fd-use-after-close": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-fd-use-after-close", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:pos35-c" ], "gcc-fd-use-without-check": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-fd-use-without-check", "profile:extreme", - "severity:MEDIUM" + "severity:MEDIUM", + "sei-cert-c:pos35-c", + "sei-cert-c:pos38-c" ], "gcc-file-leak": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-file-leak", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:fio42-c" ], "gcc-free-of-non-heap": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-free-of-non-heap", "guideline:memory-safety", "profile:extreme", "memory-safety:cwe-590", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:mem34-c", + "sei-cert-c:mem51-cpp" ], "gcc-imprecise-fp-arithmetic": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-imprecise-fp-arithmetic", @@ -93,7 +107,8 @@ "gcc-jump-through-null": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-jump-through-null", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:oop55-cpp" ], "gcc-malloc-leak": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-malloc-leak", @@ -101,26 +116,35 @@ "profile:extreme", "memory-safety:cwe-401", "memory-safety:cwe-761", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:err57-cpp", + "sei-cert-c:fio42-c", + "sei-cert-c:mem31-c" ], "gcc-mismatching-deallocation": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-mismatching-deallocation", "guideline:memory-safety", "profile:extreme", "memory-safety:cwe-762", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp51-cpp", + "sei-cert-c:mem51-cpp", + "sei-cert-c:mem57-cpp" ], "gcc-null-argument": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-null-argument", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:err33-c", + "sei-cert-c:exp34-c" ], "gcc-null-dereference": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-null-dereference", "guideline:memory-safety", "profile:extreme", "memory-safety:cwe-476", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp34-c" ], "gcc-out-of-bounds": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-out-of-bounds", @@ -132,32 +156,48 @@ "memory-safety:cwe-126", "memory-safety:cwe-127", "memory-safety:cwe-843", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:arr30-c", + "sei-cert-c:arr38-c", + "sei-cert-c:arr39-c", + "sei-cert-c:exp36-c", + "sei-cert-c:int10-c", + "sei-cert-c:mem33-c", + "sei-cert-c:mem35-c", + "sei-cert-c:mem54-cpp", + "sei-cert-c:oop55-cpp" ], "gcc-possible-null-argument": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-possible-null-argument", "profile:extreme", - "severity:LOW" + "severity:MEDIUM", + "sei-cert-c:pos54-c", + "sei-cert-c:err33-c" ], "gcc-possible-null-dereference": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-possible-null-dereference", "profile:extreme", - "severity:LOW" + "severity:MEDIUM", + "sei-cert-c:exp34-c", + "sei-cert-c:err33-c" ], "gcc-putenv-of-auto-var": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-putenv-of-auto-var", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:pos34-c" ], "gcc-shift-count-negative": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-shift-count-negative", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:int34-c" ], "gcc-shift-count-overflow": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-shift-count-overflow", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:int34-c" ], "gcc-stale-setjmp-buffer": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-stale-setjmp-buffer", @@ -197,39 +237,54 @@ "gcc-unsafe-call-within-signal-handler": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-unsafe-call-within-signal-handler", "profile:extreme", - "severity:MEDIUM" + "severity:HIGH", + "sei-cert-c:sig30-c" ], "gcc-use-after-free": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-use-after-free", "guideline:memory-safety", "profile:extreme", "memory-safety:cwe-416", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:mem30-c" ], "gcc-use-of-pointer-in-stale-stack-frame": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-use-of-pointer-in-stale-stack-frame", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:dcl30-c", + "sei-cert-c:exp61-cpp" ], "gcc-use-of-uninitialized-value": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-use-of-uninitialized-value", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:arr38-c", + "sei-cert-c:dcl41-c", + "sei-cert-c:err56-cpp", + "sei-cert-c:exp33-c", + "sei-cert-c:exp53-cpp", + "sei-cert-c:oop53-cpp", + "sei-cert-c:oop54-cpp" ], "gcc-va-arg-type-mismatch": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-va-arg-type-mismatch", "profile:extreme", - "severity:MEDIUM" + "severity:HIGH", + "sei-cert-c:msc39-c" ], "gcc-va-list-exhausted": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-va-list-exhausted", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:dcl50-cpp", + "sei-cert-c:exp47-c" ], "gcc-va-list-leak": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-va-list-leak", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:exp58-cpp" ], "gcc-va-list-use-after-va-end": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-va-list-use-after-va-end", @@ -239,11 +294,52 @@ "gcc-write-to-const": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-write-to-const", "profile:extreme", - "severity:HIGH" + "severity:HIGH", + "sei-cert-c:str30-c" ], "gcc-write-to-string-literal": [ "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-write-to-string-literal", "profile:extreme", + "severity:HIGH", + "sei-cert-c:str30-c" + ], + "gcc-infinite-loop": [ + "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-infinite-loop", + "profile:extreme", + "severity:HIGH", + "sei-cert-c:exp45-c" + ], + "gcc-overlapping-buffers": [ + "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-overlapping-buffers", + "profile:extreme", + "severity:HIGH", + "sei-cert-c:exp43-c" + ], + "gcc-symbol-too-complex": [ + "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-symbol-too-complex", + "profile:extreme", + "severity:LOW" + ], + "gcc-throw-of-unexpected-type": [ + "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-throw-of-unexpected-type", + "profile:extreme", + "severity:HIGH", + "sei-cert-c:err55-cpp" + ], + "gcc-too-complex": [ + "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-too-complex", + "profile:extreme", + "severity:LOW" + ], + "gcc-undefined-behavior-ptrdiff": [ + "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-undefined-behavior-ptrdiff", + "profile:extreme", + "severity:HIGH", + "sei-cert-c:arr36-c" + ], + "gcc-undefined-behavior-strtok": [ + "doc_url:https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-undefined-behavior-strtok", + "profile:extreme", "severity:HIGH" ] }