summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek2011-08-151-98/+126
* Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek2011-08-121-2/+2
* [analyzer] Nitpicks on Olaf's patch, which I meant to e-mail but then didn't inJordy Rose2011-08-121-3/+2
* [analyzer] Introduce new MemRegion, "TypedValueRegion", so that we can separa...Ted Kremenek2011-08-121-6/+5
* remove unneeded llvm:: namespace qualifiers on some core types now that LLVM....Chris Lattner2011-07-231-7/+7
* [analyzer] Finish size argument checking for strncat (and strncpy).Jordy Rose2011-06-201-30/+80
* [analyzer] Replace stream-built error message with constant string. No functi...Jordy Rose2011-06-201-5/+4
* [analyzer] Re-enable checking for strncpy, along with a new validation of the...Jordy Rose2011-06-201-9/+32
* [analyzer] Eliminate "byte string function" from CStringChecker's diagnostics...Jordy Rose2011-06-201-30/+67
* [analyzer] Clean up modeling of strcmp, including cases where a string litera...Jordy Rose2011-06-161-41/+85
* [analyzer] Fix trivial errors in previous commit.Jordy Rose2011-06-161-2/+3
* [analyzer] Cleanup: mainly 80-char violations and preferring SValBuilder::get...Jordy Rose2011-06-161-9/+12
* [analyzer] Revise CStringChecker's modelling of strcpy() and strcat():Jordy Rose2011-06-151-51/+239
* [analyzer] If a C string length is UnknownVal, clear any existing length bind...Jordy Rose2011-06-151-3/+7
* [analyzer] Change large if body to early return. No functionality change.Jordy Rose2011-06-141-77/+78
* [analyzer] Fix modeling of strnlen to be more conservative. Move tests we can...Jordy Rose2011-06-141-23/+89
* [analyzer] Change an indent-if to an early return. No functionality change.Jordy Rose2011-06-041-39/+39
* [analyzer] Don't crash when copying an unknown number of bytes with memcpy()....Jordy Rose2011-06-041-11/+25
* [analyzer] Remove extra assignment that actually lost a few of the assumptions.Jordy Rose2011-06-041-1/+0
* [analyzer] Fix comment for (still-disabled) evalStrncpyJordy Rose2011-06-041-1/+1
* [analyzer] Fix handling of "copy zero bytes" for memcpy and friends.Jordy Rose2011-06-041-5/+2
* [analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker)Jordy Rose2011-06-031-1/+1
* Removing strncpy() checking in CString checker for now. Some significant chan...Lenny Maiorani2011-05-031-1/+1
* Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek2011-05-021-0/+2
* Implements strncasecmp() checker and simplifies some of the logic around crea...Lenny Maiorani2011-05-021-22/+16
* Use StringRef::substr() and unbounded StringRef::compare() instead of bounded...Lenny Maiorani2011-04-281-1/+8
* Eliminates an assert in the strncpy/strncat checker caused by not validating ...Lenny Maiorani2011-04-281-0/+7
* Implements strcasecmp() checker in Static Analyzer.Lenny Maiorani2011-04-281-6/+27
* Implements the strncmp() checker just like the strcmp() checker, but with bou...Lenny Maiorani2011-04-251-2/+32
* fix a bunch of comment typos found by codespell. Patch byChris Lattner2011-04-151-1/+1
* This patch adds modeling of strcmp() to the CString checker. Validates inputs...Lenny Maiorani2011-04-121-0/+83
* strcat() and strncat() model additions to CStringChecker.Lenny Maiorani2011-04-091-9/+64
* Adding Static Analyzer checker for mempcpy().Lenny Maiorani2011-03-311-9/+73
* [analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis2011-03-011-2/+2
* [analyzer] Migrate CStringChecker to CheckerV2.Argyrios Kyrtzidis2011-02-241-94/+102
* Add CStringChecker support for strncpy. Patch by Lenny Maiorani!Ted Kremenek2011-02-221-4/+37
* Add CStringChecker support for strnlen. Patch by Lenny Maiorani!Ted Kremenek2011-02-221-0/+40
* [analyzer] Pass CheckerManager to the registration functions.Argyrios Kyrtzidis2011-02-171-1/+6
* simplify a bit.Chris Lattner2011-02-171-1/+1
* [analyzer] Use the new registration mechanism on some of the experimental che...Argyrios Kyrtzidis2011-02-151-2/+2
* Rename 'InvalidateRegions()' to 'invalidateRegions()'.Ted Kremenek2011-02-111-1/+1
* Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek2011-02-101-3/+3
* [analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/...Argyrios Kyrtzidis2011-02-081-1/+1
* Rename misc. methods in GRSubEngine to startTed Kremenek2011-01-111-2/+2
* Chris Lattner has strong opinions about directoryTed Kremenek2010-12-231-0/+1048
OpenPOWER on IntegriCloud