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.