summaryrefslogtreecommitdiff
path: root/test/Analysis/string.c
AgeCommit message (Expand)Author
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2016-08-17[analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev
2016-05-19[analyzer] Fix for PR23790 : constrain return value of strcmp() rather than r...Anton Yartsev
2016-02-08[analyzer] Avoid crash when attempting to evaluate binary operation on LazyCo...Devin Coughlin
2013-08-19[analyzer] Assume that strings are no longer than SIZE_MAX/4.Jordan Rose
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