Skip to content

Commit d0e700f

Browse files
glankkglankk
committed
Update get_checkers.py
1 parent 5bf67a9 commit d0e700f

2 files changed

Lines changed: 130 additions & 120 deletions

File tree

‎lib/checkers.cpp‎

Lines changed: 122 additions & 116 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,8 @@
2323

2424
namespace checkers {
2525
const std::map<std::string, std::string> allCheckers{
26+
{"Check64BitPortability::pointerassignment","portability"},
27+
{"CheckAssert::assertWithSideEffects","warning"},
2628
{"CheckBool::checkIncrementBoolean","style"},
2729
{"CheckBool::checkBitwiseOnBoolean","style,inconclusive"},
2830
{"CheckBool::checkComparisonOfBoolWithInt","warning,c++"},
@@ -33,6 +35,31 @@ namespace checkers {
3335
{"CheckBool::pointerArithBool",""},
3436
{"CheckBool::checkAssignBoolToFloat","style,c++"},
3537
{"CheckBool::returnValueOfFunctionReturningBool","style"},
38+
{"CheckExceptionSafety::destructors","warning"},
39+
{"CheckExceptionSafety::deallocThrow","warning"},
40+
{"CheckExceptionSafety::checkRethrowCopy","style"},
41+
{"CheckExceptionSafety::checkCatchExceptionByValue","style"},
42+
{"CheckExceptionSafety::nothrowThrows",""},
43+
{"CheckExceptionSafety::unhandledExceptionSpecification","style,inconclusive"},
44+
{"CheckExceptionSafety::rethrowNoCurrentException",""},
45+
{"CheckFunctions::checkProhibitedFunctions",""},
46+
{"CheckFunctions::invalidFunctionUsage",""},
47+
{"CheckFunctions::checkIgnoredReturnValue","style,warning"},
48+
{"CheckFunctions::checkMissingReturn",""},
49+
{"CheckFunctions::checkMathFunctions","style,warning,c99,c++11"},
50+
{"CheckFunctions::memsetZeroBytes","warning"},
51+
{"CheckFunctions::memsetInvalid2ndParam","warning,portability"},
52+
{"CheckFunctions::returnLocalStdMove","performance,c++11"},
53+
{"CheckFunctions::useStandardLibrary","style"},
54+
{"CheckIO::checkCoutCerrMisusage","c"},
55+
{"CheckIO::checkFileUsage",""},
56+
{"CheckIO::invalidScanf",""},
57+
{"CheckIO::checkWrongPrintfScanfArguments",""},
58+
{"CheckMemoryLeakInFunction::checkReallocUsage",""},
59+
{"CheckMemoryLeakInClass::check",""},
60+
{"CheckMemoryLeakStructMember::check",""},
61+
{"CheckMemoryLeakNoVar::check",""},
62+
{"CheckMemoryLeakNoVar::checkForUnsafeArgAlloc",""},
3663
{"CheckPostfixOperator::postfixOperator","performance"},
3764
{"CheckSizeof::checkSizeofForNumericParameter","warning"},
3865
{"CheckSizeof::checkSizeofForArrayParameter","warning"},
@@ -42,34 +69,19 @@ namespace checkers {
4269
{"CheckSizeof::sizeofFunction","warning"},
4370
{"CheckSizeof::suspiciousSizeofCalculation","warning,inconclusive"},
4471
{"CheckSizeof::sizeofVoid","portability"},
45-
{"Check64BitPortability::pointerassignment","portability"},
46-
{"CheckStl::outOfBounds",""},
47-
{"CheckStl::outOfBoundsIndexExpression",""},
48-
{"CheckStl::iterators",""},
49-
{"CheckStl::misMatchingContainers",""},
50-
{"CheckStl::misMatchingContainerIterator",""},
51-
{"CheckStl::invalidContainer",""},
52-
{"CheckStl::stlOutOfBounds",""},
53-
{"CheckStl::negativeIndex",""},
54-
{"CheckStl::erase",""},
55-
{"CheckStl::stlBoundaries",""},
56-
{"CheckStl::if_find","warning,performance"},
57-
{"CheckStl::checkFindInsert","performance"},
58-
{"CheckStl::size","performance,c++03"},
59-
{"CheckStl::redundantCondition","style"},
60-
{"CheckStl::missingComparison","warning"},
61-
{"CheckStl::string_c_str",""},
62-
{"CheckStl::uselessCalls","performance,warning"},
63-
{"CheckStl::checkDereferenceInvalidIterator","warning"},
64-
{"CheckStl::checkDereferenceInvalidIterator2",""},
65-
{"CheckStl::useStlAlgorithm","style"},
66-
{"CheckStl::knownEmptyContainer","style"},
67-
{"CheckStl::eraseIteratorOutOfBounds",""},
68-
{"CheckStl::checkMutexes","warning"},
69-
{"CheckNullPointer::nullPointer",""},
70-
{"CheckNullPointer::nullConstantDereference",""},
71-
{"CheckNullPointer::arithmetic",""},
72-
{"CheckNullPointer::analyseWholeProgram","unusedfunctions"},
72+
{"CheckString::stringLiteralWrite",""},
73+
{"CheckString::checkAlwaysTrueOrFalseStringCompare","warning"},
74+
{"CheckString::checkSuspiciousStringCompare","warning"},
75+
{"CheckString::strPlusChar",""},
76+
{"CheckString::checkIncorrectStringCompare","warning"},
77+
{"CheckString::overlappingStrcmp","warning"},
78+
{"CheckString::sprintfOverlappingData",""},
79+
{"CheckVaarg::va_start_argument",""},
80+
{"CheckVaarg::va_list_usage","notclang"},
81+
{"CheckUnusedFunctions::check","unusedFunction"},
82+
{"CheckAutoVariables::assignFunctionArg","style,warning"},
83+
{"CheckAutoVariables::autoVariables",""},
84+
{"CheckAutoVariables::checkVarLifetime",""},
7385
{"CheckBufferOverrun::arrayIndex",""},
7486
{"CheckBufferOverrun::pointerArithmetic","portability"},
7587
{"CheckBufferOverrun::bufferOverflow",""},
@@ -79,9 +91,26 @@ namespace checkers {
7991
{"CheckBufferOverrun::analyseWholeProgram",""},
8092
{"CheckBufferOverrun::objectIndex",""},
8193
{"CheckBufferOverrun::negativeArraySize",""},
82-
{"CheckUninitVar::check",""},
83-
{"CheckUninitVar::valueFlowUninit",""},
84-
{"CheckUninitVar::analyseWholeProgram",""},
94+
{"CheckCondition::assignIf","style"},
95+
{"CheckCondition::checkBadBitmaskCheck","style"},
96+
{"CheckCondition::comparison","style"},
97+
{"CheckCondition::duplicateCondition","style"},
98+
{"CheckCondition::multiCondition","style"},
99+
{"CheckCondition::multiCondition2","warning"},
100+
{"CheckCondition::checkIncorrectLogicOperator","style,warning"},
101+
{"CheckCondition::checkModuloAlwaysTrueFalse","warning"},
102+
{"CheckCondition::clarifyCondition","style"},
103+
{"CheckCondition::alwaysTrueFalse","style"},
104+
{"CheckCondition::checkInvalidTestForOverflow","warning"},
105+
{"CheckCondition::checkPointerAdditionResultNotNull","warning"},
106+
{"CheckCondition::checkDuplicateConditionalAssign","style"},
107+
{"CheckCondition::checkAssignmentInCondition","style"},
108+
{"CheckCondition::checkCompareValueOutOfTypeRange","style,platform"},
109+
{"CheckLeakAutoVar::check","notclang"},
110+
{"CheckNullPointer::nullPointer",""},
111+
{"CheckNullPointer::nullConstantDereference",""},
112+
{"CheckNullPointer::arithmetic",""},
113+
{"CheckNullPointer::analyseWholeProgram","unusedfunctions"},
85114
{"CheckOther::checkCastIntToCharAndBack","warning"},
86115
{"CheckOther::clarifyCalculation","style"},
87116
{"CheckOther::clarifyStatement","warning"},
@@ -125,6 +154,37 @@ namespace checkers {
125154
{"CheckOther::checkComparePointers",""},
126155
{"CheckOther::checkModuloOfOne","style"},
127156
{"CheckOther::checkOverlappingWrite",""},
157+
{"CheckStl::outOfBounds",""},
158+
{"CheckStl::outOfBoundsIndexExpression",""},
159+
{"CheckStl::iterators",""},
160+
{"CheckStl::misMatchingContainers",""},
161+
{"CheckStl::misMatchingContainerIterator",""},
162+
{"CheckStl::invalidContainer",""},
163+
{"CheckStl::stlOutOfBounds",""},
164+
{"CheckStl::negativeIndex",""},
165+
{"CheckStl::erase",""},
166+
{"CheckStl::stlBoundaries",""},
167+
{"CheckStl::if_find","warning,performance"},
168+
{"CheckStl::checkFindInsert","performance"},
169+
{"CheckStl::size","performance,c++03"},
170+
{"CheckStl::redundantCondition","style"},
171+
{"CheckStl::missingComparison","warning"},
172+
{"CheckStl::string_c_str",""},
173+
{"CheckStl::uselessCalls","performance,warning"},
174+
{"CheckStl::checkDereferenceInvalidIterator","warning"},
175+
{"CheckStl::checkDereferenceInvalidIterator2",""},
176+
{"CheckStl::useStlAlgorithm","style"},
177+
{"CheckStl::knownEmptyContainer","style"},
178+
{"CheckStl::eraseIteratorOutOfBounds",""},
179+
{"CheckStl::checkMutexes","warning"},
180+
{"CheckType::checkTooBigBitwiseShift","platform"},
181+
{"CheckType::checkIntegerOverflow","platform"},
182+
{"CheckType::checkSignConversion","warning"},
183+
{"CheckType::checkLongCast","style"},
184+
{"CheckType::checkFloatToIntegerOverflow",""},
185+
{"CheckUninitVar::check",""},
186+
{"CheckUninitVar::valueFlowUninit",""},
187+
{"CheckUninitVar::analyseWholeProgram",""},
128188
{"CheckClass::checkConstructors","style,warning"},
129189
{"CheckClass::checkExplicitConstructors","style"},
130190
{"CheckClass::checkCopyConstructors","warning"},
@@ -148,66 +208,6 @@ namespace checkers {
148208
{"CheckClass::analyseWholeProgram",""},
149209
{"CheckUnusedVar::checkFunctionVariableUsage","style"},
150210
{"CheckUnusedVar::checkStructMemberUsage","style"},
151-
{"CheckIO::checkCoutCerrMisusage","c"},
152-
{"CheckIO::checkFileUsage",""},
153-
{"CheckIO::invalidScanf",""},
154-
{"CheckIO::checkWrongPrintfScanfArguments",""},
155-
{"CheckCondition::assignIf","style"},
156-
{"CheckCondition::checkBadBitmaskCheck","style"},
157-
{"CheckCondition::comparison","style"},
158-
{"CheckCondition::duplicateCondition","style"},
159-
{"CheckCondition::multiCondition","style"},
160-
{"CheckCondition::multiCondition2","warning"},
161-
{"CheckCondition::checkIncorrectLogicOperator","style,warning"},
162-
{"CheckCondition::checkModuloAlwaysTrueFalse","warning"},
163-
{"CheckCondition::clarifyCondition","style"},
164-
{"CheckCondition::alwaysTrueFalse","style"},
165-
{"CheckCondition::checkInvalidTestForOverflow","warning"},
166-
{"CheckCondition::checkPointerAdditionResultNotNull","warning"},
167-
{"CheckCondition::checkDuplicateConditionalAssign","style"},
168-
{"CheckCondition::checkAssignmentInCondition","style"},
169-
{"CheckCondition::checkCompareValueOutOfTypeRange","style,platform"},
170-
{"CheckFunctions::checkProhibitedFunctions",""},
171-
{"CheckFunctions::invalidFunctionUsage",""},
172-
{"CheckFunctions::checkIgnoredReturnValue","style,warning"},
173-
{"CheckFunctions::checkMissingReturn",""},
174-
{"CheckFunctions::checkMathFunctions","style,warning,c99,c++11"},
175-
{"CheckFunctions::memsetZeroBytes","warning"},
176-
{"CheckFunctions::memsetInvalid2ndParam","warning,portability"},
177-
{"CheckFunctions::returnLocalStdMove","performance,c++11"},
178-
{"CheckFunctions::useStandardLibrary","style"},
179-
{"CheckVaarg::va_start_argument",""},
180-
{"CheckVaarg::va_list_usage","notclang"},
181-
{"CheckUnusedFunctions::check","unusedFunction"},
182-
{"CheckType::checkTooBigBitwiseShift","platform"},
183-
{"CheckType::checkIntegerOverflow","platform"},
184-
{"CheckType::checkSignConversion","warning"},
185-
{"CheckType::checkLongCast","style"},
186-
{"CheckType::checkFloatToIntegerOverflow",""},
187-
{"CheckString::stringLiteralWrite",""},
188-
{"CheckString::checkAlwaysTrueOrFalseStringCompare","warning"},
189-
{"CheckString::checkSuspiciousStringCompare","warning"},
190-
{"CheckString::strPlusChar",""},
191-
{"CheckString::checkIncorrectStringCompare","warning"},
192-
{"CheckString::overlappingStrcmp","warning"},
193-
{"CheckString::sprintfOverlappingData",""},
194-
{"CheckAssert::assertWithSideEffects","warning"},
195-
{"CheckExceptionSafety::destructors","warning"},
196-
{"CheckExceptionSafety::deallocThrow","warning"},
197-
{"CheckExceptionSafety::checkRethrowCopy","style"},
198-
{"CheckExceptionSafety::checkCatchExceptionByValue","style"},
199-
{"CheckExceptionSafety::nothrowThrows",""},
200-
{"CheckExceptionSafety::unhandledExceptionSpecification","style,inconclusive"},
201-
{"CheckExceptionSafety::rethrowNoCurrentException",""},
202-
{"CheckAutoVariables::assignFunctionArg","style,warning"},
203-
{"CheckAutoVariables::autoVariables",""},
204-
{"CheckAutoVariables::checkVarLifetime",""},
205-
{"CheckLeakAutoVar::check","notclang"},
206-
{"CheckMemoryLeakInFunction::checkReallocUsage",""},
207-
{"CheckMemoryLeakInClass::check",""},
208-
{"CheckMemoryLeakStructMember::check",""},
209-
{"CheckMemoryLeakNoVar::check",""},
210-
{"CheckMemoryLeakNoVar::checkForUnsafeArgAlloc",""},
211211
};
212212

213213
const std::map<std::string, std::string> premiumCheckers{
@@ -318,6 +318,7 @@ namespace checkers {
318318
{"Cert C++: ERR62-CPP",""},
319319
{"Cert C++: EXP50-CPP",""},
320320
{"Cert C++: EXP51-CPP",""},
321+
{"Cert C++: EXP54-CPP",""},
321322
{"Cert C++: EXP55-CPP",""},
322323
{"Cert C++: EXP56-CPP",""},
323324
{"Cert C++: EXP57-CPP",""},
@@ -326,6 +327,7 @@ namespace checkers {
326327
{"Cert C++: EXP60-CPP",""},
327328
{"Cert C++: FIO51-CPP",""},
328329
{"Cert C++: INT50-CPP",""},
330+
{"Cert C++: MEM51-CPP",""},
329331
{"Cert C++: MEM52-CPP",""},
330332
{"Cert C++: MEM53-CPP",""},
331333
{"Cert C++: MEM54-CPP",""},
@@ -939,6 +941,7 @@ namespace checkers {
939941
{"Misra C: 8.16",""},
940942
{"Misra C: 8.17",""},
941943
{"Misra C: 8.18",""},
944+
{"Misra C: 8.19",""},
942945
{"Misra C: 8.2",""},
943946
{"Misra C: 8.3",""},
944947
{"Misra C: 8.4",""},
@@ -979,11 +982,14 @@ namespace checkers {
979982
{"PremiumCheckUnusedVar::unusedPrivateMember","style"},
980983
{"PremiumMetrics::HIS::Call",""},
981984
{"PremiumMetrics::HIS::Calling",""},
985+
{"PremiumMetrics::HIS::Comment",""},
982986
{"PremiumMetrics::HIS::Goto",""},
983987
{"PremiumMetrics::HIS::Level",""},
984988
{"PremiumMetrics::HIS::Param",""},
985989
{"PremiumMetrics::HIS::Path",""},
986990
{"PremiumMetrics::HIS::Stmt",""},
991+
{"PremiumMetrics::HIS::StmtFile",""},
992+
{"PremiumMetrics::HIS::VOCF",""},
987993
{"PremiumMetrics::HIS::return",""},
988994
{"PremiumMetrics::cyclomaticComplexity",""}
989995
};
@@ -2754,81 +2760,81 @@ std::vector<checkers::Info> checkers::certCppInfo{
27542760
{"DCL51-CPP", "L3"},
27552761
{"DCL52-CPP", "L3"},
27562762
{"DCL53-CPP", "L3"},
2757-
{"DCL54-CPP", "L2"},
2763+
{"DCL54-CPP", "L3"},
27582764
{"DCL55-CPP", "L3"},
27592765
{"DCL56-CPP", "L3"},
27602766
{"DCL57-CPP", "L2"},
27612767
{"DCL58-CPP", "L2"},
27622768
{"DCL59-CPP", "L3"},
2763-
{"DCL60-CPP", "L3"},
2769+
{"DCL60-CPP", "L2"},
27642770
{"EXP50-CPP", "L2"},
27652771
{"EXP51-CPP", "L3"},
27662772
{"EXP52-CPP", "L3"},
27672773
{"EXP53-CPP", "L1"},
27682774
{"EXP54-CPP", "L2"},
2769-
{"EXP55-CPP", "L2"},
2775+
{"EXP55-CPP", "L3"},
27702776
{"EXP56-CPP", "L3"},
27712777
{"EXP57-CPP", "L3"},
27722778
{"EXP58-CPP", "L3"},
27732779
{"EXP59-CPP", "L3"},
2774-
{"EXP60-CPP", "L1"},
2780+
{"EXP60-CPP", "L2"},
27752781
{"EXP61-CPP", "L2"},
2776-
{"EXP62-CPP", "L2"},
2782+
{"EXP62-CPP", "L1"},
27772783
{"EXP63-CPP", "L2"},
27782784
{"INT50-CPP", "L3"},
27792785
{"CTR50-CPP", "L2"},
27802786
{"CTR51-CPP", "L2"},
2781-
{"CTR52-CPP", "L1"},
2787+
{"CTR52-CPP", "L2"},
27822788
{"CTR53-CPP", "L2"},
2783-
{"CTR54-CPP", "L2"},
2784-
{"CTR55-CPP", "L1"},
2789+
{"CTR54-CPP", "L3"},
2790+
{"CTR55-CPP", "L2"},
27852791
{"CTR56-CPP", "L2"},
27862792
{"CTR57-CPP", "L3"},
2787-
{"CTR58-CPP", "L3"},
2788-
{"STR50-CPP", "L1"},
2793+
{"CTR58-CPP", "L2"},
2794+
{"STR50-CPP", "L2"},
27892795
{"STR51-CPP", "L1"},
27902796
{"STR52-CPP", "L2"},
2791-
{"STR53-CPP", "L2"},
2792-
{"MEM50-CPP", "L1"},
2793-
{"MEM51-CPP", "L1"},
2797+
{"STR53-CPP", "L3"},
2798+
{"MEM50-CPP", "L2"},
2799+
{"MEM51-CPP", "L2"},
27942800
{"MEM52-CPP", "L1"},
2795-
{"MEM53-CPP", "L1"},
2796-
{"MEM54-CPP", "L1"},
2797-
{"MEM55-CPP", "L1"},
2798-
{"MEM56-CPP", "L1"},
2799-
{"MEM57-CPP", "L2"},
2801+
{"MEM53-CPP", "L2"},
2802+
{"MEM54-CPP", "L2"},
2803+
{"MEM55-CPP", "L2"},
2804+
{"MEM56-CPP", "L2"},
2805+
{"MEM57-CPP", "L3"},
28002806
{"FIO50-CPP", "L2"},
28012807
{"FIO51-CPP", "L3"},
28022808
{"ERR50-CPP", "L3"},
2803-
{"ERR51-CPP", "L3"},
2809+
{"ERR51-CPP", "L2"},
28042810
{"ERR52-CPP", "L3"},
28052811
{"ERR53-CPP", "L3"},
28062812
{"ERR54-CPP", "L1"},
28072813
{"ERR55-CPP", "L2"},
28082814
{"ERR56-CPP", "L2"},
28092815
{"ERR57-CPP", "L3"},
28102816
{"ERR58-CPP", "L2"},
2811-
{"ERR59-CPP", "L1"},
2817+
{"ERR59-CPP", "L2"},
28122818
{"ERR60-CPP", "L3"},
28132819
{"ERR61-CPP", "L3"},
28142820
{"ERR62-CPP", "L3"},
28152821
{"OOP50-CPP", "L3"},
28162822
{"OOP51-CPP", "L3"},
2817-
{"OOP52-CPP", "L2"},
2818-
{"OOP53-CPP", "L3"},
2823+
{"OOP52-CPP", "L3"},
2824+
{"OOP53-CPP", "L2"},
28192825
{"OOP54-CPP", "L3"},
28202826
{"OOP55-CPP", "L2"},
28212827
{"OOP56-CPP", "L3"},
2822-
{"OOP57-CPP", "L2"},
2828+
{"OOP57-CPP", "L1"},
28232829
{"OOP58-CPP", "L2"},
28242830
{"CON50-CPP", "L3"},
28252831
{"CON51-CPP", "L2"},
2826-
{"CON52-CPP", "L2"},
2832+
{"CON52-CPP", "L3"},
28272833
{"CON53-CPP", "L3"},
28282834
{"CON54-CPP", "L3"},
28292835
{"CON55-CPP", "L3"},
28302836
{"CON56-CPP", "L3"},
2831-
{"MSC50-CPP", "L2"},
2837+
{"MSC50-CPP", "L3"},
28322838
{"MSC51-CPP", "L1"},
28332839
{"MSC52-CPP", "L2"},
28342840
{"MSC53-CPP", "L3"},

0 commit comments

Comments
 (0)