File tree

• c
  • cert/src/rules
    • FLP32-C
      • PreventOrDetectDomainAndRangeErrorsInMathFunctions.md
      • PreventOrDetectDomainAndRangeErrorsInMathFunctions.ql
    • FLP34-C
      • FloatingPointConversionsNotWithinRangeOfNewType.md
      • FloatingPointConversionsNotWithinRangeOfNewType.ql
    • FLP36-C
      • FloatingPointOfIntegralValuesLosePrecision.md
      • FloatingPointOfIntegralValuesLosePrecision.ql
    • FLP37-C
      • ObjectReprUsedForComparingFloatingPointValues.md
      • ObjectReprUsedForComparingFloatingPointValues.ql
    • INT30-C
      • EnsureThatUnsignedIntegerOperationsDoNotWrap.md
      • EnsureThatUnsignedIntegerOperationsDoNotWrap.ql
    • INT31-C
      • IntConversionCausesLostOrMisinterpretedData.md
      • IntConversionCausesLostOrMisinterpretedData.ql
    • INT32-C
      • OperationsOnSignedIntegersResultsInOverflow.md
      • OperationsOnSignedIntegersResultsInOverflow.ql
    • INT33-C
      • DivAndModOperationResultsInDivByZero.md
      • DivAndModOperationResultsInDivByZero.ql
    • INT34-C
      • ExprShiftedByNegativeBitsOrGreaterThanOperand.md
      • ExprShiftedByNegativeBitsOrGreaterThanOperand.ql
    • INT35-C
      • UseCorrectIntegerPrecisions.md
      • UseCorrectIntegerPrecisions.ql
    • INT36-C
      • ConvertingAPointerToIntegerOrIntegerToPointer.md
      • ConvertingAPointerToIntegerOrIntegerToPointer.ql
  • misra/src/rules
    • DIR-4-6
      • NumericTypedefsNotUsedInPlaceOfBasicNumericalTypes.ql
    • RULE-10-1
      • OperandsOfAnInappropriateEssentialType.ql
    • RULE-10-2
      • CharTypeExprsUsedInAddOrSub.ql
    • RULE-10-3
      • AssignmentToIncompatibleEssentialType.ql
    • RULE-10-4
      • ArithConversionOperandHasDifferentEssTypeCategory.ql
    • RULE-10-5
      • ValueCastToInappropriateEssentialType.ql
    • RULE-10-6
      • CompositeExprValueAssignedToObjWithWiderEssType.ql
    • RULE-10-7
      • ConvertedCompExprOperandHasWiderEssTypeThanOther.ql
    • RULE-10-8
      • CompExprValCastToIncompatEssType.ql
    • RULE-12-4
      • ConstExprEvalCausesUnsignedIntWraparound.ql
    • RULE-12-5
      • ArrayTypeParamAtSizeofOperand.ql
    • RULE-14-1
      • LoopCounterHaveEssentiallyFloatingType.ql
    • RULE-21-13
      • CtypeFuncNeitherReprAsUnsignedCharNorEOF.ql
    • RULE-21-14
      • MemcmpUsedToCompareNullTerminatedStrings.ql
    • RULE-21-15
      • MemcpyMemmoveMemcmpArgNotPointerToCompatTypes.ql
    • RULE-21-16
      • MemcmpArgNotPtsToSignedUnsignedBooleanEnumEssType.ql
    • RULE-7-4
      • StringLiteralAssignedToObjPtrToConstQualifiedChar.ql
• cpp/common/src/codingstandards/cpp/exclusions/c
  • BitfieldTypes.qll