summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/string.c
Commit message (Collapse)AuthorAgeFilesLines
...
* Removing strncpy() checking in CString checker for now. Some significant ↵Lenny Maiorani2011-05-031-68/+0
| | | | | | changes need to be made to properly support modeling of it since it potentially leaves strings non-null terminated. llvm-svn: 130758
* Implements strncasecmp() checker and simplifies some of the logic around ↵Lenny Maiorani2011-05-021-0/+106
| | | | | | creating substrings if necessary and calling the appropriate StringRef::compare/compare_lower(). llvm-svn: 130708
* Implements strcasecmp() checker in Static Analyzer.Lenny Maiorani2011-04-281-0/+84
| | | | llvm-svn: 130398
* Emit a -Wnull-dereference warning for "*null" not just "*null = something". ↵Argyrios Kyrtzidis2011-04-261-4/+4
| | | | | | Addresses rdar://9269271. llvm-svn: 130207
* Implements the strncmp() checker just like the strcmp() checker, but with ↵Lenny Maiorani2011-04-251-0/+106
| | | | | | bounds. Requires LLVM svn r129582. llvm-svn: 130161
* fix a bunch of comment typos found by codespell. Patch byChris Lattner2011-04-151-1/+1
| | | | | | Luis Felipe Strano Moraes! llvm-svn: 129559
* This patch adds modeling of strcmp() to the CString checker. Validates ↵Lenny Maiorani2011-04-121-0/+86
| | | | | | inputs are not NULL and are real C strings, then does the comparison and binds the proper return value. Unit tests included. llvm-svn: 129364
* strcat() and strncat() model additions to CStringChecker.Lenny Maiorani2011-04-091-0/+158
| | | | | | Validates inputs are not NULL, checks for overlapping strings, concatenates the strings checking for buffer overflow, sets the length of the destination string to the sum of the s1 length and the s2 length, binds the return value to the s1 value. llvm-svn: 129215
* Rework checker "packages" and groups to be more hierarchical.Ted Kremenek2011-03-241-4/+4
| | | | llvm-svn: 128187
* Fix tests to account for new warning "expected ';' at end of declaration ↵Carl Norum2011-03-071-2/+2
| | | | | | list". Sorry, folks! llvm-svn: 127188
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best ↵Argyrios Kyrtzidis2011-02-281-4/+4
| | | | | | misnomer award. llvm-svn: 126676
* [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-4/+4
| | | | | | | | They cooperate in that NSErrorChecker listens for ImplicitNullDerefEvent events that DereferenceChecker can dispatch. ImplicitNullDerefEvent is when we dereferenced a location that may be null. llvm-svn: 126659
* Allow passing a list of comma separated checker names to -analyzer-checker, e.g:Argyrios Kyrtzidis2011-02-241-4/+4
| | | | | | -analyzer-checker=cocoa,unix llvm-svn: 126372
* Add CStringChecker support for strncpy. Patch by Lenny Maiorani!Ted Kremenek2011-02-221-0/+68
| | | | llvm-svn: 126188
* Add CStringChecker support for strnlen. Patch by Lenny Maiorani!Ted Kremenek2011-02-221-0/+132
| | | | llvm-svn: 126187
* [analyzer] Use the new registration mechanism on some of the experimental ↵Argyrios Kyrtzidis2011-02-151-4/+4
| | | | | | | | | | | | | | | checks. These are: CStringChecker ChrootChecker MallocChecker PthreadLockChecker StreamChecker UnreachableCodeChecker MallocChecker creates implicit dependencies between checkers and needs to be handled differently. llvm-svn: 125598
* Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:Jordy Rose2010-08-161-0/+101
| | | | | | | | - 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 ↵Jordy Rose2010-08-141-6/+80
| | | | | | 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
* Added some false positive checking to UnreachableCodeCheckerTom Care2010-07-271-2/+2
| | | | | | | | | - 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
* Groundwork for C string length tracking. Currently only handles the length ↵Jordy Rose2010-07-271-0/+65
of constant string literals, which is not too helpful, and only calls to strlen() are checked. llvm-svn: 109480
OpenPOWER on IntegriCloud