aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/string.c
AgeCommit message (Expand)Author
2013-04-22[analyzer] Model strsep(), particularly that it returns its input.Jordan Rose
2013-03-20[analyzer] Don't invalidate globals when there's no call involved.Jordan Rose
2013-03-15[analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.Anna Zaks
2012-08-24Fix analyzer tests.Ted Kremenek
2012-05-16[analyzer] Fix test for PR12206, which was failing on i386.Jordy Rose
2012-05-16[analyzer] Revert a regression committed in r156920.Anna Zaks
2012-05-16[analyzer] Convert many existing tests to use clang_analyzer_eval.Jordy Rose
2012-05-14[analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning.Jordy Rose
2012-05-03[analyzer] Equality ops are like relational ops in that the arguments shouldn...Jordy Rose
2012-02-20[analyzer] Turn on by default the Malloc Checker and a couple of CStringAnna Zaks
2012-02-07[analyzer] Allow each CString check to be enabled/disabledAnna Zaks
2012-01-31[analyzer] Add checks for common anti-patterns in strncat.Anna Zaks
2012-01-13[analyzer] RegionStoreManager::getBinding() should not crash whenAnna Zaks
2011-12-20[analyzer] Do not invalidate arguments when the parameter'sAnna Zaks
2011-12-11[analyzer] CStringChecker should not rely on the analyzer generating UndefOrU...Anna Zaks
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-06-28[analyzer] strnlen isn't a builtin, don't test for itJordy Rose
2011-06-20[analyzer] Finish size argument checking for strncat (and strncpy).Jordy Rose
2011-06-20[analyzer] Re-enable checking for strncpy, along with a new validation of the...Jordy Rose
2011-06-20[analyzer] Eliminate "byte string function" from CStringChecker's diagnostics...Jordy Rose
2011-06-16[analyzer] Clean up modeling of strcmp, including cases where a string litera...Jordy Rose
2011-06-15[analyzer] Revise CStringChecker's modelling of strcpy() and strcat():Jordy Rose
2011-06-14[analyzer] CStringChecker checks functions in the C standard library, not C++...Jordy Rose
2011-06-14[analyzer] Fix modeling of strnlen to be more conservative. Move tests we can...Jordy Rose
2011-05-03Removing strncpy() checking in CString checker for now. Some significant chan...Lenny Maiorani
2011-05-02Implements strncasecmp() checker and simplifies some of the logic around crea...Lenny Maiorani
2011-04-28Implements strcasecmp() checker in Static Analyzer.Lenny Maiorani
2011-04-26Emit a -Wnull-dereference warning for "*null" not just "*null = something". A...Argyrios Kyrtzidis
2011-04-25Implements the strncmp() checker just like the strcmp() checker, but with bou...Lenny Maiorani
2011-04-15fix a bunch of comment typos found by codespell. Patch byChris Lattner
2011-04-12This patch adds modeling of strcmp() to the CString checker. Validates inputs...Lenny Maiorani
2011-04-09strcat() and strncat() model additions to CStringChecker.Lenny Maiorani
2011-03-24Rework checker "packages" and groups to be more hierarchical.Ted Kremenek
2011-03-07Fix tests to account for new warning "expected ';' at end of declaration list...Carl Norum
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-24Allow passing a list of comma separated checker names to -analyzer-checker, e.g:Argyrios Kyrtzidis
2011-02-22Add CStringChecker support for strncpy. Patch by Lenny Maiorani!Ted Kremenek
2011-02-22Add CStringChecker support for strnlen. Patch by Lenny Maiorani!Ted Kremenek
2011-02-15[analyzer] Use the new registration mechanism on some of the experimental che...Argyrios Kyrtzidis
2010-08-16Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:Jordy Rose
2010-08-14Update CStringChecker to take advantage of the new metadata symbols and regio...Jordy Rose
2010-07-27Added some false positive checking to UnreachableCodeCheckerTom Care
2010-07-27Groundwork for C string length tracking. Currently only handles the length of...Jordy Rose