Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 9d5353cfb15e387a6e17da289f5da651530d827a / test / Analysis
  1. 8912aae [analyzer] Finish size argument checking for strncat (and strncpy). by Jordy Rose · 13 years ago
  2. 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
  3. 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
  4. 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
  5. f85e193 Automatic Reference Counting. by John McCall · 13 years ago
  6. d5af0e1 [analyzer] Revise CStringChecker's modelling of strcpy() and strcat(): by Jordy Rose · 13 years ago
  7. 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
  8. 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
  9. 4c4efee Eliminate the -f[no]objc-infer-related-result-type flags; there's no by Douglas Gregor · 13 years ago
  10. ac73ea8 [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expressions (by calling IgnoreParens before adding expressions to blocks). Undo 132769 (LiveVariables' local IgnoreParens), since it's no longer necessary. by Jordy Rose · 13 years ago
  11. 7fead31 [analyzer] Ignore parentheses around block-level expressions when computing liveness. Fixes the other half of PR8962. by Jordy Rose · 13 years ago
  12. 22043b5 [analyzer] Look through __extension__ expressions in a GRState's Environment. Fixes PR8962. by Jordy Rose · 13 years ago
  13. 3f8bb2f [analyzer] Don't crash when copying an unknown number of bytes with memcpy(). Also handle all memcpy-family return values in evalCopyCommon(), rather than having some outside and some inside. by Jordy Rose · 13 years ago
  14. 22d2717 [analyzer] Fix handling of "copy zero bytes" for memcpy and friends. by Jordy Rose · 13 years ago
  15. be460d8 [analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker) by Jordy Rose · 13 years ago
  16. f136546 Tighen analyzer diagnostics w.r.t ObjC/CF leaks. by Ted Kremenek · 13 years ago
  17. e5cfd52 static analyzer: when conservatively evaluating functions, don't invalidate the values of globals when the called function is strlen. by Ted Kremenek · 13 years ago
  18. d1e015e Teach analyzer about cf_returns_not_retained for C functions. by Ted Kremenek · 13 years ago
  19. d368d71 Enhance retain/release checker to flag warnings when functions returning CG types do not follow the Core Foundation naming conventions. by Ted Kremenek · 13 years ago
  20. 29c9e62 Add explicit CFG support for ignoring static_asserts. by Ted Kremenek · 13 years ago
  21. ce30688 Fix regression in static analyzer's handling of prefix '--' operator. It was being treated as postfix '--' in C mode. by Ted Kremenek · 13 years ago
  22. c46d641 Teach RegionStore not to symbolic array values whose indices it cannot reason about. by Ted Kremenek · 13 years ago
  23. 6e744db Teach static analyzer to analyze Objective-C methods in category implementations. by Ted Kremenek · 13 years ago
  24. bc869de Elide __label__ declarations from the CFG. This resolves a crash in CFGRecStmtDeclVisitor (crash in static analyzer). by Ted Kremenek · 13 years ago
  25. 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 · 13 years ago
  26. 9ca2851 Tweak the retain/release checker to not stop tracking retained objects when calling C++ methods. This is a temporary solution to prune false positives until we have a general story using annotations. by Ted Kremenek · 13 years ago
  27. 35bdbf4 Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. by Ted Kremenek · 13 years ago
  28. 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 · 13 years ago
  29. a2a3da6 Move the SelfInit checker to the 'cocoa.experimental' package. by Ted Kremenek · 13 years ago
  30. b94dd9e Adjust test/Analysis/retain-release.m to also test the retain/release checker in Objective-C++ mode. by Ted Kremenek · 13 years ago
  31. bd1d16a Implements strcasecmp() checker in Static Analyzer. by Lenny Maiorani · 13 years ago
  32. 4d8d803 More accurately model realloc() when the size argument is 0. realloc() with a size of 0 is equivalent to free(). The memory region should be marked as free and not used again. by Lenny Maiorani · 13 years ago
  33. 6b4f567 Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without by Ted Kremenek · 13 years ago
  34. 8a285ae Emit a -Wnull-dereference warning for "*null" not just "*null = something". Addresses rdar://9269271. by Argyrios Kyrtzidis · 13 years ago
  35. 357f6ee Implements the strncmp() checker just like the strcmp() checker, but with bounds. Requires LLVM svn r129582. by Lenny Maiorani · 13 years ago
  36. e970c60 Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II. by Ted Kremenek · 13 years ago
  37. f05982b Make the VariadicMethodTypeChecker accept block pointers as Objective-C pointers. Fixes PR9746. by Anders Carlsson · 13 years ago
  38. b403d6d Fix PR9741. The implicit declarations created for range-based for loops weren't being added to the DeclContext (nor were they being marked as implicit). Also, the declarations were being emitted in the wrong order when building the CFG. by Richard Smith · 13 years ago
  39. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 13 years ago
  40. 9281efe Teach VariadicMethodTypeChecker to not crash when processing methods declared in protocols. by Ted Kremenek · 13 years ago
  41. 82cfc68 ArrayBoundCheckerV2: don't arbitrarily warn about indexing before the 0-index of a symbolic region. In many cases that isn't really the base offset. by Ted Kremenek · 13 years ago
  42. 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 · 13 years ago
  43. 9d5d308 static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression. by Ted Kremenek · 13 years ago
  44. 3bab50b Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic. by Ted Kremenek · 13 years ago
  45. bf1a667 RegionStoreManager::invalidateRegions: treat classes the same as structs. by Ted Kremenek · 13 years ago
  46. 235c02f Teach GRState::getSValAsScalarOrLoc() about C++ references. by Ted Kremenek · 13 years ago
  47. 9fec9b1 C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls. by Ted Kremenek · 13 years ago
  48. 067bbd0 strcat() and strncat() model additions to CStringChecker. by Lenny Maiorani · 13 years ago
  49. 5fe9872 Start overhauling static analyzer support for C++ constructors. The inlining support isn't complete, and needs by Ted Kremenek · 13 years ago
  50. 98b8f16 When updating the retain summary based on {cf,ns}_consumed attributes, by John McCall · 13 years ago
  51. 9cb677e Add security syntax checker for strcat() which causes the Static Analyzer to generate a warning any time the strcat() function is used with a note suggesting to use a function which provides bounded buffers. CWE-119. by Lenny Maiorani · 13 years ago
  52. d40066b Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: by Ted Kremenek · 13 years ago
  53. 1659acb Change test/Analysis/idempotent-operations.c to output the .plist file in the test output directory. by Argyrios Kyrtzidis · 13 years ago
  54. 45fa623 Fix RegionStore bug when doing a field load whose parent is also a field assigned a LazyCompoundValue. Fixes <rdar://problem/9163742> and PR 9522. by Ted Kremenek · 13 years ago
  55. 422ab7a Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type. by Ted Kremenek · 13 years ago
  56. 5b67a82 Add security syntax checker for strcpy() which causes the Static Analyzer to generate a warning any time the strcpy() function is used with a note suggesting to use a function which provides bounded buffers. by Lenny Maiorani · 13 years ago
  57. b8b875b Adding Static Analyzer checker for mempcpy(). by Lenny Maiorani · 13 years ago
  58. 94ae8fd Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn't always be the final node, thus causing the state to continue propagating. Instead, by Ted Kremenek · 13 years ago
  59. 41c5f49 Teach static analyzer about the basics of handling new[]. We still don't simulate constructors, but at least the analyzer doesn't think the return value is uninitialized. by Ted Kremenek · 13 years ago
  60. b277159 Begin reworking static analyzer support for C++ method calls. The current logic was divorced by Ted Kremenek · 13 years ago
  61. 65b427f Don't add a symbolic region for 'this' if the member function is static. by Anders Carlsson · 13 years ago
  62. 5188507 Rework checker "packages" and groups to be more hierarchical. by Ted Kremenek · 13 years ago
  63. f3f9293 Teach VariadicMethodTypeChecker about pointers attributed as 'NSObject'. by Ted Kremenek · 14 years ago
  64. 928c415 Teach VariadicMethodTypeChecker that CF references are valid arguments to variadic Objective-C methods. by Ted Kremenek · 14 years ago
  65. 6137441 Tweak RegionStore's handling of lazy compound values to use the 'Default' versus 'Direct' binding key, thus allowing specific elements of an array/struct to be overwritten without by Ted Kremenek · 14 years ago
  66. d5fde21 VariadicMethodTypeChecker: don't warn for null pointer constants passed to variadic Objective-C methods. by Ted Kremenek · 14 years ago
  67. cf995d3 Remove bogus assertion in IdempotentOperationsChecker. by Ted Kremenek · 14 years ago
  68. f3f5379 Remove old UninitializedValues analysis. by Ted Kremenek · 14 years ago
  69. 6fb5c1f Tweak VariadicMethodTypeChecker to only create one ExplodedNode when issuing multiple warnings for the same message expression. by Ted Kremenek · 14 years ago
  70. 4597b7b Add an Objective-C checker that checks that arguments passed to some variadic Objective-C methods are of Objective-C pointer types. by Anders Carlsson · 14 years ago
  71. e9cd9c0 Fix CFG assertion failure reported in PR 9467. This was due to recent changes in optimizing CFGs for switch statements. by Ted Kremenek · 14 years ago
  72. 603ea78 XFAIL this on windows where <vector> contains surprises. by Jakob Stoklund Olesen · 14 years ago
  73. 9ede307 Tweak test to hopefully appease FreeBSD buildbot. by Ted Kremenek · 14 years ago
  74. e56d349 Remove stray output file. by Ted Kremenek · 14 years ago
  75. ade3195 Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group. by Ted Kremenek · 14 years ago
  76. dd54de8 Add initial version of "IteratorsChecker", a checker to find misues uses of C++ iterators. by Ted Kremenek · 14 years ago
  77. cf33333 static analyzer: Fix use-after-free bug in RegionStore involving LazyCompoundValueData not reference counting Store objects. by Ted Kremenek · 14 years ago
  78. b62bdce Make the Objective-C checker look for subclasses of NSString instead of just NSString and NSMutableString. by Anders Carlsson · 14 years ago
  79. e224ba7 Fix tests to account for new warning "expected ';' at end of declaration list". Sorry, folks! by Carl Norum · 14 years ago
  80. e71f3d5 Teach CFGBuilder to prune trivially unreachable case statements. by Ted Kremenek · 14 years ago
  81. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  82. 872b8d1 Move test/SemaObjC/method-arg-decay.m -> test/Analysis/method-arg-decay.m by Argyrios Kyrtzidis · 14 years ago
  83. d655ab2 [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. by Argyrios Kyrtzidis · 14 years ago
  84. 344500e [analyzer] The current UninitializedValuesChecker will go away, remove '-warn-uninit-values'. by Argyrios Kyrtzidis · 14 years ago
  85. b3d74da [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  86. d84f422 [analzyer] Migrate CallAndMessageChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  87. bd90076 [analyzer] Migrate AttrNonNullChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  88. 7f649d7 [analyzer] Migrate ReturnUndefChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  89. 267aa5c [analyzer] Migrate UndefinedAssignmentChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  90. cc05d51 [analyzer] Migrate UndefBranchChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  91. 265c674 [analyzer] Migrate UndefCapturedBlockVarChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  92. 180e03f [analyzer] Migrate UndefResultChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  93. 3267d95 [analyzer] Migrate NoReturnFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  94. a676d50 [analyzer] Move the DeadStores checker out of the 'core' package. by Argyrios Kyrtzidis · 14 years ago
  95. 1034870 [analyzer] Migrate BuiltinFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  96. f029366 [analyzer] Migrate OSAtomicChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  97. 0535701 [analyzer] Migrate ArrayBoundCheckerV2 to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  98. 58f2e7c [analyzer] Turn -analyzer-stats into -analyzer-checker=debug.Stats by Argyrios Kyrtzidis · 14 years ago
  99. 6dd4dff [analyzer] Remove '-analyzer-experimental-checks' flag. by Argyrios Kyrtzidis · 14 years ago
  100. 312dbec [analyzer] Migrate MallocChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago