Checkers.md

There are a few groups of checkers, each of them have specific options, approaches and result representation

• CWE Checkers

  • BufferMaxSizeChecker
  • CliInjectionChecker
  • DivisionByZeroChecker
  • DoNotReturnAddrOfLocalVarChecker
  • FmtSpecMismatchChecker
  • FormatStringUsageChecker
  • IncompatiblePointerTypeChecker
  • IntegerOverflowChecker
  • LoopLimitTaintChecker
  • MemoryAllocationSizeChecker
  • MemoryAndResourceLeakChecker
  • MismatchedMemManagementChecker
  • NullPtrDereferenceChecker
  • OutOfBoundsChecker
  • TypeSizeMismatchChecker
  • UninitializedMemoryUsageChecker
  • UseAfterFreeChecker

• Unused Variable Checkers

  • UnusedMemberExpressionChecker
  • UnusedParamChecker
  • UnusedVariableChecker