- a728e92 [analyzer] Assume that strings are no longer than SIZE_MAX/4. by Jordan Rose · 11 years ago
- af22621 [analyzer] Model strsep(), particularly that it returns its input. by Jordan Rose · 12 years ago
- f8e2c06 [analyzer] Don't invalidate globals when there's no call involved. by Jordan Rose · 12 years ago
- 74c0d69 [analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead. by Anna Zaks · 12 years ago
- cdc3a89 Fix analyzer tests. by Ted Kremenek · 12 years ago
- f158b71 [analyzer] Fix test for PR12206, which was failing on i386. by Jordy Rose · 12 years ago
- 533718f [analyzer] Revert a regression committed in r156920. by Anna Zaks · 12 years ago
- 43d9f0d [analyzer] Convert many existing tests to use clang_analyzer_eval. by Jordy Rose · 12 years ago
- 6e4244e [analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning. by Jordy Rose · 12 years ago
- 14d20b1 [analyzer] Equality ops are like relational ops in that the arguments shouldn't be converted to the result type. Fixes PR12206 and dupe PR12510. by Jordy Rose · 13 years ago
- bb2a686 [analyzer] Turn on by default the Malloc Checker and a couple of CString checks: by Anna Zaks · 13 years ago
- 5730076 [analyzer] Allow each CString check to be enabled/disabled separately. by Anna Zaks · 13 years ago
- e00575f [analyzer] Add checks for common anti-patterns in strncat. by Anna Zaks · 13 years ago
- ce8ef16 [analyzer] RegionStoreManager::getBinding() should not crash when by Anna Zaks · 13 years ago
- 2cbe791 [analyzer] Do not invalidate arguments when the parameter's by Anna Zaks · 13 years ago
- e3d250e [analyzer] CStringChecker should not rely on the analyzer generating UndefOrUnknown value when it cannot reason about the expression. by Anna Zaks · 13 years ago
- 033a07e [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 13 years ago
- 0fa6bf7 [analyzer] strnlen isn't a builtin, don't test for it by Jordy Rose · 13 years ago
- 8912aae [analyzer] Finish size argument checking for strncat (and strncpy). by Jordy Rose · 13 years ago
- 5e5f150 [analyzer] Re-enable checking for strncpy, along with a new validation of the size argument. strncat is not yet up-to-date, but I'm leaving it enabled for now (there shouldn't be any false positives, at least...) by Jordy Rose · 13 years ago
- 9e49d9f [analyzer] Eliminate "byte string function" from CStringChecker's diagnostics, and make it easier to provide custom messages for overflow checking, in preparation for re-enabling strncpy checking. by Jordy Rose · 13 years ago
- adc42d4 [analyzer] Clean up modeling of strcmp, including cases where a string literal has an embedded null character, and where both arguments are the same buffer. Also use nested ifs rather than early returns; in this case early returns will lose any assumptions we've made earlier in the function. by Jordy Rose · 13 years ago
- d5af0e1 [analyzer] Revise CStringChecker's modelling of strcpy() and strcat(): by Jordy Rose · 13 years ago
- 467f7c8 [analyzer] CStringChecker checks functions in the C standard library, not C++. Its external name is now unix.experimental.CString. by Jordy Rose · 13 years ago
- 793bff3 [analyzer] Fix modeling of strnlen to be more conservative. Move tests we can't properly model (yet?) to string-fail.c. by Jordy Rose · 13 years ago
- 094ea0a Removing strncpy() checking in CString checker for now. Some significant changes need to be made to properly support modeling of it since it potentially leaves strings non-null terminated. by Lenny Maiorani · 14 years ago
- 454fd2d Implements strncasecmp() checker and simplifies some of the logic around creating substrings if necessary and calling the appropriate StringRef::compare/compare_lower(). by Lenny Maiorani · 14 years ago
- bd1d16a Implements strcasecmp() checker in Static Analyzer. by Lenny Maiorani · 14 years ago
- 8a285ae Emit a -Wnull-dereference warning for "*null" not just "*null = something". Addresses rdar://9269271. by Argyrios Kyrtzidis · 14 years ago
- 357f6ee Implements the strncmp() checker just like the strcmp() checker, but with bounds. Requires LLVM svn r129582. by Lenny Maiorani · 14 years ago
- fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 14 years ago
- 318dd92 This patch adds modeling of strcmp() to the CString checker. Validates inputs are not NULL and are real C strings, then does the comparison and binds the proper return value. Unit tests included. by Lenny Maiorani · 14 years ago
- 067bbd0 strcat() and strncat() model additions to CStringChecker. by Lenny Maiorani · 14 years ago
- 5188507 Rework checker "packages" and groups to be more hierarchical. by Ted Kremenek · 14 years ago
- e224ba7 Fix tests to account for new warning "expected ';' at end of declaration list". Sorry, folks! by Carl Norum · 14 years ago
- c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
- b3d74da [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 38c8fe7 Allow passing a list of comma separated checker names to -analyzer-checker, e.g: by Argyrios Kyrtzidis · 14 years ago
- 0ef473f Add CStringChecker support for strncpy. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
- be4242c Add CStringChecker support for strnlen. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
- a0decc9 [analyzer] Use the new registration mechanism on some of the experimental checks. These are: by Argyrios Kyrtzidis · 14 years ago
- e64f311 Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: by Jordy Rose · 14 years ago
- a526154 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(). by Jordy Rose · 14 years ago
- 7bce3a1 Added some false positive checking to UnreachableCodeChecker by Tom Care · 14 years ago
- 19c5dd1 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. by Jordy Rose · 14 years ago