Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / b83d4d7071cea43a3f7b8afc3cda6203c345aa0f / test / Analysis
  1. bc869de Elide __label__ declarations from the CFG. This resolves a crash in CFGRecStmtDeclVisitor (crash in static analyzer). by Ted Kremenek · 13 years ago
  2. 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
  3. 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
  4. 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
  5. 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
  6. a2a3da6 Move the SelfInit checker to the 'cocoa.experimental' package. by Ted Kremenek · 13 years ago
  7. b94dd9e Adjust test/Analysis/retain-release.m to also test the retain/release checker in Objective-C++ mode. by Ted Kremenek · 13 years ago
  8. bd1d16a Implements strcasecmp() checker in Static Analyzer. by Lenny Maiorani · 13 years ago
  9. 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
  10. 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
  11. 8a285ae Emit a -Wnull-dereference warning for "*null" not just "*null = something". Addresses rdar://9269271. by Argyrios Kyrtzidis · 13 years ago
  12. 357f6ee Implements the strncmp() checker just like the strcmp() checker, but with bounds. Requires LLVM svn r129582. by Lenny Maiorani · 13 years ago
  13. e970c60 Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II. by Ted Kremenek · 13 years ago
  14. f05982b Make the VariadicMethodTypeChecker accept block pointers as Objective-C pointers. Fixes PR9746. by Anders Carlsson · 13 years ago
  15. 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
  16. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 13 years ago
  17. 9281efe Teach VariadicMethodTypeChecker to not crash when processing methods declared in protocols. by Ted Kremenek · 14 years ago
  18. 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 · 14 years ago
  19. 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
  20. 9d5d308 static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression. by Ted Kremenek · 14 years ago
  21. 3bab50b Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic. by Ted Kremenek · 14 years ago
  22. bf1a667 RegionStoreManager::invalidateRegions: treat classes the same as structs. by Ted Kremenek · 14 years ago
  23. 235c02f Teach GRState::getSValAsScalarOrLoc() about C++ references. by Ted Kremenek · 14 years ago
  24. 9fec9b1 C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls. by Ted Kremenek · 14 years ago
  25. 067bbd0 strcat() and strncat() model additions to CStringChecker. by Lenny Maiorani · 14 years ago
  26. 5fe9872 Start overhauling static analyzer support for C++ constructors. The inlining support isn't complete, and needs by Ted Kremenek · 14 years ago
  27. 98b8f16 When updating the retain summary based on {cf,ns}_consumed attributes, by John McCall · 14 years ago
  28. 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 · 14 years ago
  29. d40066b Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: by Ted Kremenek · 14 years ago
  30. 1659acb Change test/Analysis/idempotent-operations.c to output the .plist file in the test output directory. by Argyrios Kyrtzidis · 14 years ago
  31. 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 · 14 years ago
  32. 422ab7a Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type. by Ted Kremenek · 14 years ago
  33. 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 · 14 years ago
  34. b8b875b Adding Static Analyzer checker for mempcpy(). by Lenny Maiorani · 14 years ago
  35. 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 · 14 years ago
  36. 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 · 14 years ago
  37. b277159 Begin reworking static analyzer support for C++ method calls. The current logic was divorced by Ted Kremenek · 14 years ago
  38. 65b427f Don't add a symbolic region for 'this' if the member function is static. by Anders Carlsson · 14 years ago
  39. 5188507 Rework checker "packages" and groups to be more hierarchical. by Ted Kremenek · 14 years ago
  40. f3f9293 Teach VariadicMethodTypeChecker about pointers attributed as 'NSObject'. by Ted Kremenek · 14 years ago
  41. 928c415 Teach VariadicMethodTypeChecker that CF references are valid arguments to variadic Objective-C methods. by Ted Kremenek · 14 years ago
  42. 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
  43. d5fde21 VariadicMethodTypeChecker: don't warn for null pointer constants passed to variadic Objective-C methods. by Ted Kremenek · 14 years ago
  44. cf995d3 Remove bogus assertion in IdempotentOperationsChecker. by Ted Kremenek · 14 years ago
  45. f3f5379 Remove old UninitializedValues analysis. by Ted Kremenek · 14 years ago
  46. 6fb5c1f Tweak VariadicMethodTypeChecker to only create one ExplodedNode when issuing multiple warnings for the same message expression. by Ted Kremenek · 14 years ago
  47. 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
  48. 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
  49. 603ea78 XFAIL this on windows where <vector> contains surprises. by Jakob Stoklund Olesen · 14 years ago
  50. 9ede307 Tweak test to hopefully appease FreeBSD buildbot. by Ted Kremenek · 14 years ago
  51. e56d349 Remove stray output file. by Ted Kremenek · 14 years ago
  52. 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
  53. dd54de8 Add initial version of "IteratorsChecker", a checker to find misues uses of C++ iterators. by Ted Kremenek · 14 years ago
  54. cf33333 static analyzer: Fix use-after-free bug in RegionStore involving LazyCompoundValueData not reference counting Store objects. by Ted Kremenek · 14 years ago
  55. b62bdce Make the Objective-C checker look for subclasses of NSString instead of just NSString and NSMutableString. by Anders Carlsson · 14 years ago
  56. e224ba7 Fix tests to account for new warning "expected ';' at end of declaration list". Sorry, folks! by Carl Norum · 14 years ago
  57. e71f3d5 Teach CFGBuilder to prune trivially unreachable case statements. by Ted Kremenek · 14 years ago
  58. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  59. 872b8d1 Move test/SemaObjC/method-arg-decay.m -> test/Analysis/method-arg-decay.m by Argyrios Kyrtzidis · 14 years ago
  60. d655ab2 [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. by Argyrios Kyrtzidis · 14 years ago
  61. 344500e [analyzer] The current UninitializedValuesChecker will go away, remove '-warn-uninit-values'. by Argyrios Kyrtzidis · 14 years ago
  62. b3d74da [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  63. d84f422 [analzyer] Migrate CallAndMessageChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  64. bd90076 [analyzer] Migrate AttrNonNullChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  65. 7f649d7 [analyzer] Migrate ReturnUndefChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  66. 267aa5c [analyzer] Migrate UndefinedAssignmentChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  67. cc05d51 [analyzer] Migrate UndefBranchChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  68. 265c674 [analyzer] Migrate UndefCapturedBlockVarChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  69. 180e03f [analyzer] Migrate UndefResultChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  70. 3267d95 [analyzer] Migrate NoReturnFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  71. a676d50 [analyzer] Move the DeadStores checker out of the 'core' package. by Argyrios Kyrtzidis · 14 years ago
  72. 1034870 [analyzer] Migrate BuiltinFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  73. f029366 [analyzer] Migrate OSAtomicChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  74. 0535701 [analyzer] Migrate ArrayBoundCheckerV2 to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  75. 58f2e7c [analyzer] Turn -analyzer-stats into -analyzer-checker=debug.Stats by Argyrios Kyrtzidis · 14 years ago
  76. 6dd4dff [analyzer] Remove '-analyzer-experimental-checks' flag. by Argyrios Kyrtzidis · 14 years ago
  77. 312dbec [analyzer] Migrate MallocChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  78. abea951 Add -fcxx-exceptions to all tests that use C++ exceptions. by Anders Carlsson · 14 years ago
  79. b8d545c Update test cases. by Ted Kremenek · 14 years ago
  80. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 14 years ago
  81. 0d6b0c0 [analyzer] Migrate CastSizeChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  82. 38c8fe7 Allow passing a list of comma separated checker names to -analyzer-checker, e.g: by Argyrios Kyrtzidis · 14 years ago
  83. 8be5b3a [analyzer] Migrate ArrayBoundChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  84. 6935579 [analyzer] Migrate ReturnPointerRangeChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  85. f226d18 Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors. Also teach Environment::getSVal() about OpaqueValueExprs. by Ted Kremenek · 14 years ago
  86. 21206d5 Implement a warning for known shift overflows on constant shift by Chandler Carruth · 14 years ago
  87. 0ef473f Add CStringChecker support for strncpy. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
  88. be4242c Add CStringChecker support for strnlen. Patch by Lenny Maiorani! by Ted Kremenek · 14 years ago
  89. 6b12da9 Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel. by Ted Kremenek · 14 years ago
  90. e41721e Pass -fexceptions to all tests that use try/catch/throw. by Anders Carlsson · 14 years ago
  91. b14175a [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  92. 15e310a Warn about code that uses variables and functions with internal linkage by John McCall · 14 years ago
  93. 370e6e9 [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  94. 7ff07dc [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  95. b76fdf6 [analyzer] Disable a test until inlining CXXConstructExprs is fully investigated. by Argyrios Kyrtzidis · 14 years ago
  96. 4f20de1 [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  97. f4699d1 [analyzer] Fix a crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  98. 2d67b90 [analyzer] Use the new registration mechanism for the debugging info "checks". by Argyrios Kyrtzidis · 14 years ago
  99. 7dd445e [analyzer] Use the new registration mechanism on the non-path-sensitive-checkers: by Argyrios Kyrtzidis · 14 years ago
  100. 35001ca Enhance the array bounds checking to work for several other constructs, by Chandler Carruth · 14 years ago