[analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers

llvm-svn: 122422

llvm-svn: 122421

llvm-svn: 122420

llvm-svn: 122270

llvm-svn: 120696

to 'assumeXXX'.

llvm-svn: 120614

'evalXXX'.

llvm-svn: 120609

reflects what the class actually does.

llvm-svn: 120605

llvm-svn: 120176

ImmutableSet/ImmtuableMap/ImmutableList APIs.

Along the way, clean up some method names in
the static analyzer so that they are more
descriptive and/or start with lowercase letters.

llvm-svn: 120071

declaration names, from Jim Goodnow II!

llvm-svn: 117970

this fixes all analyser test failures in my gcc34-based
environment

how the cast result could bind to the non-const ref is
somewhat mysterious and remains to be investigated; to
avoid similar miscompilations (by gcc34 only?)

llvm-svn: 113480

to the new constants.

llvm-svn: 112047

llvm-svn: 111205

- Fix memcpy() and friends to actually invalidate the destination buffer.
- Emit a different message for out-of-bounds buffer accesses if the buffer is being written to.
- When conjuring symbols, let ValueManager figure out the type.

llvm-svn: 111120

Update CStringChecker to take advantage of the new metadata symbols and region change callback. Now does basic tracking of string length for general regions. Currently this is still only used for modeling strlen().

llvm-svn: 111081

llvm-svn: 110784

When checking if a buffer access is valid, first make sure the buffer has a valid Loc. Fixes PR7830.

llvm-svn: 110390

Groundwork for C string length tracking. Currently only handles the length of constant string literals, which is not too helpful, and only calls to strlen() are checked.

llvm-svn: 109480

llvm-svn: 107935

Add memcmp() and bcmp() to CStringChecker. These check for valid access to the buffer arguments and have a special-case for when the buffer arguments are known to be the same address, or when the size is zero.

llvm-svn: 107761

Cleanup on CStringChecker and its associated tests. Also check for null arguments...which are allowed if the access length is 0!

llvm-svn: 107759

Add a new path-sensitive checker for functions in <string.h>, for both null-terminated strings and memory blocks. Currently only checks memcpy(), memmove(), and bcopy(), but this is intended to be expanded soon.

llvm-svn: 107722