Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
LLVM Clang Analyzer Checker Additions 9.0

The following analyzer checkers have been added to the latest svn version of llvm vs macOS 10.14 llvm:

alpha.cplusplus.EnumCastOutOfRange
Check integer to enumeration casts for out of range values

alpha.cplusplus.InvalidatedIterator
Check for use of invalidated iterators

alpha.cplusplus.IteratorModeling
Models iterators of C++ containers

alpha.cplusplus.MismatchedIterator
Check for use of iterators of different containers where iterators of the same container are expected

alpha.cplusplus.UninitializedObject
Reports uninitialized fields after object construction

alpha.deadcode.UnreachableCode
Check unreachable code

alpha.llvm.Conventions
Check code for LLVM codebase conventions

alpha.osx.cocoa.IvarInvalidationModeling
Gathers information for annotation driven invalidation checking for classes that contains a method annotated with 'objc_instance_variable_invalidator'

apiModeling.StdCLibraryFunctions
Improve modeling of the C standard library functions

core.StackAddrEscapeBase
Generate information about stack address escapes.

optin.osx.OSObjectCStyleCast
Checker for C-style casts of OSObjects

sx.MIG
Find violations of the Mach Interface Generator calling convention

osx.NSOrCFErrorDerefChecker
Implementation checker for NSErrorChecker and CFErrorChecker

osx.OSObjectRetainCount
Check for leaks and improper reference count management for OSObject

osx.cocoa.RetainCountBase
Common base of various retain count related checkers

osx.cocoa.RunLoopAutoreleaseLeak
Check for leaked memory in autorelease pools that will never be drained

cplusplus.InnerPointer
Check for inner pointers of C++ containers used after re/deallocation

cplusplus.Move
Find use-after-move bugs in C++

debug.DumpLiveStmts
Print results of live statement analysis

nullability.NullabilityBase
Stores information during the analysis about nullability.

security.insecureAPI.DeprecatedOrUnsafeBufferHandling
Warn on uses of unsecure or deprecated buffer manipulating functions

security.insecureAPI.SecuritySyntaxChecker
Base of various security function related checkers

security.insecureAPI.bcmp
Warn on uses of the 'bcmp' function

security.insecureAPI.bcopy
Warn on uses of the 'bcopy' function

security.insecureAPI.bzero
Warn on uses of the 'bzero' function

unix.DynamicMemoryModeling
The base of several malloc() related checkers. On it's own it emits no reports, but adds valuable information to the analysis when enabled.

unix.cstring.CStringModeling
The base of several CString related checkers. On it's own it emits no reports, but adds valuable information to the analysis when enabled.

valist.ValistBase
Gathers information about va_lists.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment