4 Commits

Author	SHA1	Message	Date
Jordy Rose	722f558f07	Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: ... - 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	2010-08-16 07:51:42 +00:00
Jordy Rose	2a2e21c902	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	2010-08-14 21:02:52 +00:00
Tom Care	29a6250bf0	Added some false positive checking to UnreachableCodeChecker ... - Allowed reporting of dead macros - Added path walking function to search for false positives in conditional statements - Updated some affected tests - Added some false positive test cases llvm-svn: 109561	2010-07-27 23:30:21 +00:00
Jordy Rose	b052e8f436	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	2010-07-27 01:37:31 +00:00