1. 6ca4a9a Tweak printf format string parsing to accept 'hh' conversion specifier to accept any char, not just signed char. Fixes <rdar://problem/10303638>. by Ted Kremenek · 13 years ago
  2. 58f6f1e Add source-level dominators analysis. Patch by Guoping Long! by Ted Kremenek · 13 years ago
  3. 8e02604 Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cpp by Chandler Carruth · 13 years ago
  4. 1d26f48 Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. by Ted Kremenek · 13 years ago
  5. b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
  6. 439ed16 Refactor ThreadSafety to use PostOrderCFGView instead of its own copy (of TopologicallySortedCFG). by Ted Kremenek · 13 years ago
  7. edb1863 Pull TopologicallySortedCFG out of LiveVariables into its own analysis: PostOrderCFGView. by Ted Kremenek · 13 years ago
  8. 6db51f7 Added support for thread safety attributes on destructors. by DeLesley Hutchins · 13 years ago
  9. f1ac637 Thread safety analysis refactoring: invalid lock expressions. by DeLesley Hutchins · 13 years ago
  10. e0eaa85 Thread safety analysis: add support for attributes on constructors. by DeLesley Hutchins · 13 years ago
  11. a60448d Refactoring and code cleanup. by DeLesley Hutchins · 13 years ago
  12. 2dde35b More metaprogramming with builtin types. by John McCall · 13 years ago
  13. a7da215 Suggest %zu for size_t args to printf. by Hans Wennborg · 13 years ago
  14. 8121639 Substitute for arguments in method calls -- functionality by DeLesley Hutchins · 13 years ago
  15. 9f80a97 Substitute for arguments in method calls -- refactoring by DeLesley Hutchins · 13 years ago
  16. 0ddaeb9 Add a new placeholder type to represent "unbridged" casts in ARC. by John McCall · 13 years ago
  17. aa4a99b Provide half floating point support as a storage only type. by Anton Korobeynikov · 13 years ago
  18. 85df96c Refactor static analyzer to use simpler interface to constant expression evaluation. by Richard Smith · 13 years ago
  19. 9e76172 Tweak -Wuninitialized's handling of 'int x = x' to report that as the root cause of an uninitialized variable IFF there are other uses of that uninitialized variable. Fixes <rdar://problem/9259237>. by Ted Kremenek · 13 years ago
  20. a5937bb Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. by Ted Kremenek · 13 years ago
  21. 63d3201 ProgramPoint cleanup after the previous commit r141408 (remove the copy constructor, mark withTag const). by Anna Zaks · 13 years ago
  22. c5f740e Fix infinite loop in -Wuninitialized reported in PR 11069. by Ted Kremenek · 13 years ago
  23. c808503 [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when analyzing C++ pointer-to-member calls. Fixes <rdar://problem/10243398>. by Ted Kremenek · 13 years ago
  24. 3c2b5f7 Fix another major performance regression in LiveVariables by not canonicalizing the underlying ImmutableSets on every analyzed statement (just at merges). Fixes <rdar://problem/10087538>. by Ted Kremenek · 13 years ago
  25. 6a835dd Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. by Ted Kremenek · 13 years ago
  26. 7df2ff4 Tweak the interface for analyzing the CF conventions for a name by John McCall · 13 years ago
  27. eb2d1f1 Removing a bunch of dead returns/breaks after llvm_unreachables. by David Blaikie · 13 years ago
  28. b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
  29. 9859ea0 Test commit by DeLesley Hutchins · 13 years ago
  30. a2d7e65 [analyzer] Constify a method. by Anna Zaks · 13 years ago
  31. 87aa125 Fix massive LiveVariables regression (due to LiveVariables rewrite) by addressing two performance problems: by Ted Kremenek · 13 years ago
  32. 1748b12 Thread safety: Adding FIXMEs and a couple cleanups by Caitlin Sadowski · 13 years ago
  33. cb96751 Thread safety: completeing the implementation of shared/exclusive locks required attributes by Caitlin Sadowski · 13 years ago
  34. 4e4bc75 Thread safety: refactoring various out of scope warnings to use the same inteface. This eliminates a lot of unnecessary duplicated code. by Caitlin Sadowski · 13 years ago
  35. 1990346 Thread safety: adding additional documentation to the main thread safety interface, and making the destructor for the thread safety handler pure virtual by Caitlin Sadowski · 13 years ago
  36. 194418f Thread safety: adding test cases for unparseable lock expressions and expanding the handling of these expressions by Caitlin Sadowski · 13 years ago
  37. 8375416 Add a bit to the CFGBlock to track when it contains a no-return by Chandler Carruth · 13 years ago
  38. dba3fb5 Consolidate the logic for building a no-return CFG block into a single by Chandler Carruth · 13 years ago
  39. c8cfc74 Enhance the CFG construction to detect no-return destructors for by Chandler Carruth · 13 years ago
  40. 7613c73 Thread safety: small formatting change by Caitlin Sadowski · 13 years ago
  41. afc5b15 Silence "end of non-void function" warnings with llvm_unreachable and add an assert. by Benjamin Kramer · 13 years ago
  42. a1364be Extend the Stmt AST to make it easier to look through label, default, by Chandler Carruth · 13 years ago
  43. d5b1605 Thread safety: removing unnecessary import and reordering import list by Caitlin Sadowski · 13 years ago
  44. 0fed26d Thread safety: removing unnecessary import by Caitlin Sadowski · 13 years ago
  45. 99107eb Thread safety: This patch deals with previously unhandled cases when building lock expressions. We now resolve this expressions, avoid crashing when encountering cast expressions, and have a diagnostic for unresolved lock expressions by Caitlin Sadowski · 13 years ago
  46. 402aa06 Thread Safety: Moving the analysis to a new file by Caitlin Sadowski · 13 years ago
  47. 6f27542 -Wuninitialized: fix insidious bug resulting from interplay of blocks and dead code. Fixes <rdar://problem/10060250>. by Ted Kremenek · 13 years ago
  48. 80cb6e6 Warn on missing [super finalize] calls. by Nico Weber · 13 years ago
  49. e7a2764 Teach -Wunreachable-code about dead code caused by macro expansions. This should suppress false positives resulting from 'assert' and friends. by Ted Kremenek · 13 years ago
  50. 0f3b4ca Start reworking -Wunreachable-code. The original analysis had serious flaws with how it by Ted Kremenek · 13 years ago
  51. f0e71ae CFG: record set of C++ 'try' dispatch blocks, which could be of interest to various analyses (e.g., reachability). by Ted Kremenek · 13 years ago
  52. f1d10d9 Constify the result of CFGStmt::getStmt(). by Ted Kremenek · 13 years ago
  53. 540dda6 Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) by Ted Kremenek · 13 years ago
  54. e0e2933 Remove dead code. by Ted Kremenek · 13 years ago
  55. 3060178 Fix else style. No functionality change intended. by Chad Rosier · 13 years ago
  56. 012614e Fix a handful of dead stores found by Clang's static analyzer. There's a bunch of others I haven't touched. by Ted Kremenek · 13 years ago
  57. 9c378f7 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 13 years ago
  58. ca80453 [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. by Ted Kremenek · 13 years ago
  59. 5290c80 Revert "Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping after an object was declared. Fixes PR 10620." by Ted Kremenek · 13 years ago
  60. a809447 Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping after an object was declared. Fixes PR 10620. by Ted Kremenek · 13 years ago
  61. de091ae Fix another -Wuninitialized assertion failure (this one involving bit casts) resulting from the recent -Wuninitialized changes. by Ted Kremenek · 13 years ago
  62. f91a5b0 [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to avoid recursion to subexpression. by Ted Kremenek · 13 years ago
  63. 57fb591 Fix assertion failure in -Wuninitialized involving no-op casts. Fixes PR 10577. by Ted Kremenek · 13 years ago
  64. 39997fc Make helper functions static. by Benjamin Kramer · 13 years ago
  65. 8829989 [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 13 years ago
  66. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
  67. d837c0d Move duplicate uninitialized warning suppression into the by Chandler Carruth · 13 years ago
  68. bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
  69. dd4286b Fix -Wuninitialized regression involving functions invalidating parameters passed by reference. by Ted Kremenek · 13 years ago
  70. 62d126e Fix false negative in -Wuninitialized involving a () wrapping an lvalue-to-rvalue conversion in a DeclStmt. by Ted Kremenek · 13 years ago
  71. d626ec4 Fix assertion failure in UninitializedValues.cpp where an lvalue to rvalue conversion is wrapped in a parenthesis. by Ted Kremenek · 13 years ago
  72. 0c8e5a0 Reduce -Wuninitialized time by 22% (on sqlite) by removing the recursive AST crawl. by Ted Kremenek · 13 years ago
  73. 74fb1a4 Add hooks into the CFG builder to force that specific expressions are always CFGElements. by Ted Kremenek · 13 years ago
  74. 8435069 Revert r135217, which wasn't the correct fix for PR10358. With this by Chandler Carruth · 13 years ago
  75. 797a7be [analyzer] Per discussions with the Cocoa team, extend CF naming conventions to extend to camel case functions instead of just title case functions. Fixes <rdar://problem/9732321>. by Ted Kremenek · 13 years ago
  76. 0556048 [analyzer] Place checking for Core Foundation "Create" rule into a proper API. No functionality change. by Ted Kremenek · 13 years ago
  77. 05bcade Fix false negative reported in PR 10358 by using 'Unknown' in -Wuninitialized to avoid cascading warnings. Patch by Kaelyn Uhrain. by Ted Kremenek · 13 years ago
  78. 1ad35be Revert r135147 and r135075. The consensus was that this wasn't the right thing to do. by Ted Kremenek · 13 years ago
  79. 9dbe16e Add extra sanity checking in FormatString::matchesType() that we are comparing integers to integers. This happens not to be an issue now, but the extra check helps future proof in case of future refactorings. by Ted Kremenek · 13 years ago
  80. 826d5b4 Reapply r135075, but modify format-strings.c and format-strings-fixit.c test cases to be more portable with an explicit target triple. by Ted Kremenek · 13 years ago
  81. 13d99bf Revert r135075, "format string checking: long and int have the same widths on 32-bit, so we shouldn't warn about using" by NAKAMURA Takumi · 13 years ago
  82. 8da9316 format string checking: long and int have the same widths on 32-bit, so we shouldn't warn about using by Ted Kremenek · 13 years ago
  83. dc00d81 Re-relax conversion specifier checking for printf format strings and conversion specifiers. My recent change was a mistake. by Ted Kremenek · 13 years ago
  84. 45eb702 Fix inversion in argument type checking for format strings with conversion specifiers for character types. by Ted Kremenek · 13 years ago
  85. 8052050 Make the worklist in the uninitialized values checker actually a queue. by Chandler Carruth · 13 years ago
  86. 5d98994 Build up statistics about the work done for analysis based warnings. by Chandler Carruth · 13 years ago
  87. 786dcd9 Teach the static analyzer's interpretation of Cocoa conventions to by Douglas Gregor · 13 years ago
  88. 170579f Added a missing case label. by Fariborz Jahanian · 13 years ago
  89. d6a4d18 Revert r133024, "[format strings] correctly suggest correct type for '%@' by Daniel Dunbar · 13 years ago
  90. 03e8003 Introduce a new AST node describing reference binding to temporaries. by Douglas Gregor · 13 years ago
  91. 6970155 Finish 2 sentences. by Francois Pichet · 13 years ago
  92. f85e193 Automatic Reference Counting. by John McCall · 13 years ago
  93. 84862f6 [format strings] correctly suggest correct type for '%@' specifiers. Fixes <rdar://problem/9607158>. by Ted Kremenek · 14 years ago
  94. 926df6c Implement Objective-C Related Result Type semantics. by Douglas Gregor · 14 years ago
  95. 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 · 14 years ago
  96. 7fead31 [analyzer] Ignore parentheses around block-level expressions when computing liveness. Fixes the other half of PR8962. by Jordy Rose · 14 years ago
  97. 049f6d0 Utilize PackedVector, introduced with llvm commit r132325. by Argyrios Kyrtzidis · 14 years ago
  98. 29c9e62 Add explicit CFG support for ignoring static_asserts. by Ted Kremenek · 14 years ago
  99. 8cad304 Refactoring of constant expression evaluator by Peter Collingbourne · 14 years ago
  100. 1de8533 Teach CFG building how to deal with CXXMemberCallExprs and BoundMemberTy, by John McCall · 14 years ago