@@ -458,33 +458,66 @@ static const std::set<std::string> certCCheckers{
458458static const std::set<std::string> certCppCheckers{
459459 " IOWithoutPositioning" ,
460460 " accessMoved" ,
461+ " argumentSize" ,
462+ " arrayIndexOutOfBounds" ,
463+ " arrayIndexOutOfBoundsCond" ,
464+ " arrayIndexThenCheck" ,
465+ " autoVariables" ,
466+ " autovarInvalidDeallocation" ,
467+ " bitwiseOnBoolean" ,
468+ " bufferAccessOutOfBounds" ,
461469 " comparePointers" ,
462470 " containerOutOfBounds" ,
463471 " ctuOneDefinitionRuleViolation" ,
464472 " danglingLifetime" ,
465473 " danglingReference" ,
466474 " danglingTempReference" ,
467475 " danglingTemporaryLifetime" ,
476+ " deallocret" ,
468477 " deallocuse" ,
469478 " doubleFree" ,
470479 " eraseDereference" ,
471480 " exceptDeallocThrow" ,
472481 " exceptThrowInDestructor" ,
482+ " floatConversionOverflow" ,
473483 " initializerList" ,
484+ " integerOverflow" ,
474485 " invalidContainer" ,
486+ " invalidFunctionArg" ,
487+ " invalidLengthModifierError" ,
488+ " invalidLifetime" ,
489+ " invalidScanfFormatWidth" ,
490+ " invalidscanf" ,
491+ " leakReturnValNotUsed" ,
492+ " leakUnsafeArgAlloc" ,
475493 " memleak" ,
494+ " memleakOnRealloc" ,
476495 " mismatchAllocDealloc" ,
477496 " missingReturn" ,
497+ " negativeIndex" ,
478498 " nullPointer" ,
499+ " nullPointerArithmetic" ,
500+ " nullPointerArithmeticRedundantCheck" ,
501+ " nullPointerDefaultArg" ,
502+ " nullPointerRedundantCheck" ,
503+ " objectIndex" ,
479504 " operatorEqToSelf" ,
505+ " pointerOutOfBounds" ,
506+ " pointerOutOfBoundsCond" ,
507+ " preprocessorErrorDirective" ,
508+ " resourceLeak" ,
480509 " returnDanglingLifetime" ,
481510 " sizeofCalculation" ,
511+ " stringLiteralWrite" ,
482512 " uninitStructMember" ,
483513 " uninitdata" ,
484514 " uninitvar" ,
485515 " useAfterFree" ,
516+ " useClosedFile" ,
486517 " virtualCallInConstructor" ,
487- " virtualDestructor"
518+ " virtualDestructor" ,
519+ " wrongPrintfScanfArgNum" ,
520+ " wrongPrintfScanfParameterPositionError"
488521};
489522
490523static const std::set<std::string> misrac2012Checkers{
0 commit comments