1. 41f3f3a Silence a number of static analyzer warnings with assertions and such. by Jordan Rose · 11 years ago
  2. 5aff3f1 [analyzer] Don't let cf_audited_transfer override CFRetain semantics. by Jordan Rose · 11 years ago
  3. cc5dbda [analyzer] Simple inline defensive checks suppression by Anna Zaks · 11 years ago
  4. d764e20 [analyzer] Special-case bitfields when finding sub-region bindings. by Jordan Rose · 11 years ago
  5. 9abf1b4 [analyzer] Suppress paths involving a reference whose rvalue is null. by Jordan Rose · 11 years ago
  6. e33d852 [analyzer] RegionStore: collectSubRegionKeys -> collectSubRegionBindings by Jordan Rose · 12 years ago
  7. 6f41608 [analyzer] Teach FindLastStoreBRVisitor to understand stores of the same value. by Jordan Rose · 12 years ago
  8. a11f22f [analyzer] Turn on C++ constructor inlining by default. by Jordan Rose · 12 years ago
  9. b7a3f74 [analyzer] Add stop-gap patch to prevent assertion failure when analyzing LLVM codebase. by Ted Kremenek · 12 years ago
  10. deb8f5d [analyzer] If a struct has a partial lazy binding, its fields aren't Undef. by Jordan Rose · 12 years ago
  11. 4238f41 [analyzer] Use 'MemRegion::printPretty()' instead of assuming the region is a VarRegion. by Ted Kremenek · 12 years ago
  12. eafb5c6 [analyzer] Don't look through casts when creating pointer temporaries. by Jordan Rose · 12 years ago
  13. a0e6e6d [analyzer] StackAddrEscapeChecker: strip qualifiers from temporary types. by Jordan Rose · 12 years ago
  14. db061e4 [analyzer] Restrict ObjC type inference to methods that have related result type. by Anna Zaks · 12 years ago
  15. 6f8e9b6 [analyzer] Recover all PreStmtPurgeDeadSymbols nodes with a single successor or predecessor. by Ted Kremenek · 12 years ago
  16. 42f2309 [analyzer] Address Jordan's code review of r175857. by Anna Zaks · 12 years ago
  17. fbdbed3 [analyzer] Handle reference parameters with default values. by Jordan Rose · 12 years ago
  18. 6dc5c33 [analyzer] Base regions may be invalid when layered on symbolic regions. by Jordan Rose · 12 years ago
  19. 6c5038c [analyzer] Relax assumption in FindLastStoreBRVisitor that the thing we are looking for is always a VarRegion. by Ted Kremenek · 12 years ago
  20. 4e9c085 [analyzer] add the notion of an "interesting" lvalue expression for ExplodedNode pruning. by Ted Kremenek · 12 years ago
  21. 43b82b8 [analyzer] tracking stores/constraints now works for ObjC ivars or struct fields. by Ted Kremenek · 12 years ago
  22. 0dd15d7 Add "KnownSVal" to represent SVals that cannot be UnknownSVal. by Ted Kremenek · 12 years ago
  23. b078054 Remove the CFGElement "Invalid" state. by David Blaikie · 12 years ago
  24. ae7396c [analyzer] Don't canonicalize the RecordDecl used in CXXBaseObjectRegion. by Jordan Rose · 12 years ago
  25. b04a238 [analyzer] Implement "Loop executed 0 times" diagnostic correctly. by Ted Kremenek · 12 years ago
  26. 8dadf15 [analyzer] Place all inlining policy checks into one palce by Anna Zaks · 12 years ago
  27. 5e5440b [analyzer] Make sure a materialized temporary matches its bindings. by Jordan Rose · 12 years ago
  28. f08740b Fix regression in modeling assignments of an address of a variable to itself. Fixes <rdar://problem/13226577>. by Ted Kremenek · 12 years ago
  29. 87193da [analyzer] Fix buildbot by not reusing a variable name. by Jordan Rose · 12 years ago
  30. 9f1d541 [analyzer] Make sure a temporary object region matches its initial bindings. by Jordan Rose · 12 years ago
  31. df1f94e Simplify code to use castAs rather than getAs + assert. by David Blaikie · 12 years ago
  32. e130014 Add back implicitly dropped const. by David Blaikie · 12 years ago
  33. 7a95de6 Replace ProgramPoint llvm::cast support to be well-defined. by David Blaikie · 12 years ago
  34. fdf6a27 Replace CFGElement llvm::cast support to be well-defined. by David Blaikie · 12 years ago
  35. 0adb175 Avoid implicit conversions of Optional<T> to bool. by David Blaikie · 12 years ago
  36. 6d35b41 StaticAnalyzer/Core: Suppress warnings. [-Wunused-variable, -Wunused-function] by NAKAMURA Takumi · 12 years ago
  37. 79741c4 Whitespace. by NAKAMURA Takumi · 12 years ago
  38. 4411b42 [analyzer] Record whether a base object region represents a virtual base. by Jordan Rose · 12 years ago
  39. 472b061 [analyzer] Tidy up a few uses of Optional in RegionStore. by Jordan Rose · 12 years ago
  40. 66874fb Use None rather than Optional<T>() where possible. by David Blaikie · 12 years ago
  41. 11f0cae [analyzer] Tighten up safety in the use of lazy bindings. by Jordan Rose · 12 years ago
  42. dc84cd5 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 12 years ago
  43. 9e85b29 Remove redundant Optional type in favor of llvm::Optional by David Blaikie · 12 years ago
  44. 0b9c328 Use op-> directly rather than via Optional<T>::getPointer. by David Blaikie · 12 years ago
  45. 5251abe Replace SVal llvm::cast support to be well-defined. by David Blaikie · 12 years ago
  46. 206f499 [analyzer] Account for the "interesting values" hash table resizing. by Jordan Rose · 12 years ago
  47. 65f991c [analyzer] Don't accidentally strip off base object regions for lazy bindings. by Jordan Rose · 12 years ago
  48. 724cfee Disable dead stores checker for template instantations. Fixes <rdar://problem/13213575>. by Ted Kremenek · 12 years ago
  49. ada0d22 [analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts. by Jordan Rose · 12 years ago
  50. bc40386 Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind." by Jordan Rose · 12 years ago
  51. 28743b0 [analyzer] Cache the bindings accessible through a LazyCompoundVal. by Jordan Rose · 12 years ago
  52. ef9e6d6 [analyzer] Scan the correct store when finding symbols in a LazyCompoundVal. by Jordan Rose · 12 years ago
  53. fcfcd80 [analyzer] Tweak LazyCompoundVal reuse check to ignore qualifiers. by Jordan Rose · 12 years ago
  54. 0a0f130 [analyzer] Use collectSubRegionKeys to make removeDeadBindings faster. by Jordan Rose · 12 years ago
  55. 9d688e2 [analyzer] Refactor RegionStore's sub-region bindings traversal. by Jordan Rose · 12 years ago
  56. cfaed8d objective-C: synthesize properties in order of their by Fariborz Jahanian · 12 years ago
  57. 697a685 [analyzer] Try constant-evaluation for all variables, not just globals. by Jordan Rose · 12 years ago
  58. 38f68ef [analyzer] Use Clang's evaluation for global constants and default arguments. by Jordan Rose · 12 years ago
  59. 04870ed [analyzer] Use makeZeroVal in RegionStore's lazy evaluation of statics. by Jordan Rose · 12 years ago
  60. 223f0ff Remove some stray uses of <ctype.h> functions. by Jordan Rose · 12 years ago
  61. f07e815 clang/lib/StaticAnalyzer/Core/BugReporter.cpp: Appease old msvc in std::pair(0, 0). by NAKAMURA Takumi · 12 years ago
  62. d523df6 [analyzer] Invalidation checker: move the "missing implementation" check by Anna Zaks · 12 years ago
  63. adecec3 [analyzer] Move DefaultBool so that all checkers can share it. by Anna Zaks · 12 years ago
  64. 722cd9e [analyzer] Split IvarInvalidation into two checkers by Anna Zaks · 12 years ago
  65. 2b174c3 [analyzer] IvarInvalidation: refactor, pull out the diagnostic printing by Anna Zaks · 12 years ago
  66. 26db7db [analyzer] IvarInvalidation: add annotation for partial invalidation by Anna Zaks · 12 years ago
  67. 8185674 Teach BugReporter (extensive diagnostics) to emit a diagnostic when a loop body is skipped. by Ted Kremenek · 12 years ago
  68. 19df705 Remove stale instance variable. by Ted Kremenek · 12 years ago
  69. 8135886 [analyzer] Remove redundant check as per Jordan's feedback. by Anna Zaks · 12 years ago
  70. 1c32b81 [analyzer] Fix typo. by Anna Zaks · 12 years ago
  71. 118aa75 [analyzer] Report bugs when freeing memory with offset pointer by Anna Zaks · 12 years ago
  72. 233e26a [analyzer] Add pointer escape type param to checkPointerEscape callback by Anna Zaks · 12 years ago
  73. 2b68761 [analyzer] Don't reinitialize static globals more than once along a path by Anna Zaks · 12 years ago
  74. b98c6fe [analyzer]Revert part of r161511; suppresses leak false positives in C++ by Anna Zaks · 12 years ago
  75. 5846720 Change subexpressions to be visited in the CFG from left-to-right. by Ted Kremenek · 12 years ago
  76. beca02f [analyzer] Teach the analyzer to use a symbol for p when evaluating (void*)p. by Anna Zaks · 12 years ago
  77. 2a3fe34 Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind." by Jordan Rose · 12 years ago
  78. 453cb85 [analyzer] Always inline functions with bodies generated by BodyFarm. by Anna Zaks · 12 years ago
  79. a5245a5 [analyzer] Print Inline mode with -analyzer-display-progress. by Anna Zaks · 12 years ago
  80. 135d0fe [analyzer] Fix typo. by Anna Zaks · 12 years ago
  81. 5500fc1 Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind." by Jordan Rose · 12 years ago
  82. 978aeac [analyzer] Reuse a LazyCompoundVal if its type matches the new region. by Jordan Rose · 12 years ago
  83. 0217b1d [analyzer]RetainCount: Fix an autorelease related false positive. by Anna Zaks · 12 years ago
  84. e36d81b [analyzer] Don't track autorelease pools created by +new. by Jordan Rose · 12 years ago
  85. 33e83b6 Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind." by Jordan Rose · 12 years ago
  86. 0e450cb [analyzer] If a lazy binding is undefined, pretend that it's unknown instead. by Jordan Rose · 12 years ago
  87. 5255f27 [analyzer] Fix a bug in region store that lead to undefined value false by Anna Zaks · 12 years ago
  88. ac3a3e7 [analyzer] Make shallow mode more shallow. by Anna Zaks · 12 years ago
  89. 6bbe144 [analyzer] Use analyzer config for max-inlinable-size option. by Anna Zaks · 12 years ago
  90. 86ff12c [analyzer] Move report false positive suppression to report visitors. by Anna Zaks · 12 years ago
  91. ce32890 [analyzer] Remove further references to analyzer-ipa. by Anna Zaks · 12 years ago
  92. baa7ca1 [analyzer] Model trivial copy/move ctors with an aggregate bind. by Jordan Rose · 12 years ago
  93. 07c52d2 [analyzer] C++ initializers may require cleanups; look through these. by Jordan Rose · 12 years ago
  94. 44ec3f0 [analyzer] Track null object lvalues back through C++ method calls. by Jordan Rose · 12 years ago
  95. dede2fd [analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode. by Jordan Rose · 12 years ago
  96. aeca2cc [analyzer] Add 'prune-paths' config option to disable path pruning. by Jordan Rose · 12 years ago
  97. 7ee8906 [analyzer] Rename PruneNullReturnPaths to SuppressNullReturnPaths. by Jordan Rose · 12 years ago
  98. d130140 [analyzer] Add "-analyzer-config mode=[deep|shallow] ". by Anna Zaks · 12 years ago
  99. bfa9ab8 [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa". by Anna Zaks · 12 years ago
  100. 73f0563 [analyzer] refactor: access IPAMode through the accessor. by Anna Zaks · 12 years ago