1. b929f66 Use the BlockDecl captures list to infer the direct captures for a BlockDataRegion. Fixes <rdar://problem/12415065>. by Ted Kremenek · 12 years ago
  2. 55fc873 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 12 years ago
  3. fadcd5d [analyzer] add LocationContext::inTopFrame() helper. by Anna Zaks · 12 years ago
  4. 81d18bf Add clarifying comment. by Ted Kremenek · 12 years ago
  5. a43df95 Implement faux-body-synthesis of well-known functions in the static analyzer when by Ted Kremenek · 12 years ago
  6. 5a1ffe9 [analyzer] Always include destructors in the analysis CFG. by Jordan Rose · 12 years ago
  7. 1d3ca25 [analyzer] Don't crash on implicit statements inside initializers. by Jordan Rose · 12 years ago
  8. 471c8b4 Drop the ASTContext.h include from DeclFriend.h and DeclTemplate.h. by Benjamin Kramer · 12 years ago
  9. 7fa9b4f static analyzer: add inlining support for directly called blocks. by Ted Kremenek · 12 years ago
  10. d200187 [analyzer] Remove references to idx::TranslationUnit. Index is dead, cross-TU inlining never panned out. by Jordy Rose · 12 years ago
  11. 4e4d084 Unify naming of LangOptions variable/get function across the Clang stack (Lex to AST). by David Blaikie · 12 years ago
  12. 9b20a90 Replace a map of boolean values with a set. by Benjamin Kramer · 12 years ago
  13. f4b88a4 Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr to by John McCall · 12 years ago
  14. b2c60b0 Move llvm/ADT/SaveAndRestore.h -> llvm/Support/SaveAndRestore.h. by Argyrios Kyrtzidis · 12 years ago
  15. d45d361 Move "clang/Analysis/Support/SaveAndRestore.h" to "llvm/ADT/SaveAndRestore.h" by Argyrios Kyrtzidis · 12 years ago
  16. 682060c Colorize and condense CFG pretty-printing. by Ted Kremenek · 13 years ago
  17. 15ce164 Enhance AnalysisDeclContext::getReferencedBlockVars() to understand PseudoObjExprs. It turns out by Ted Kremenek · 13 years ago
  18. ccf1bfd [analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture the 'self' variable of the enclosing ObjC method decl. Fixes <rdar://problem/10380300>. by Ted Kremenek · 13 years ago
  19. 8e02604 Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cpp by Chandler Carruth · 13 years ago[Renamed from lib/Analysis/AnalysisContext.cpp]
  20. 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
  21. b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
  22. 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
  23. a2d7e65 [analyzer] Constify a method. by Anna Zaks · 13 years ago
  24. 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
  25. 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
  26. bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
  27. 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
  28. af13d5b Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. by Ted Kremenek · 13 years ago
  29. 0d28d36 When doing reachability analysis for warnings issued under DiagRuntimeBehavior, don't construct a ParentMap or CFGStmtMap. by Ted Kremenek · 13 years ago
  30. b8ad5ee Rework interaction between AnalysisContext and CFG::BuildOptions to keep a BuildOptions object around instead of keeping a copy of the flags. by Ted Kremenek · 13 years ago
  31. 42461ee Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. by Ted Kremenek · 13 years ago
  32. 283a358 Have IdempotentOperationsChecker pull its CFGStmtMap from AnalysisContext. by Ted Kremenek · 13 years ago
  33. 7502c1d Give some convenient idiomatic accessors to Stmt::child_range and by John McCall · 13 years ago
  34. 04eeba4 Add AnalysisContext::dumpCFG. by Anders Carlsson · 14 years ago
  35. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  36. d706434 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 14 years ago
  37. 9121ba2 Added two new command line arguments: by Marcin Swiderski · 14 years ago
  38. 6c52c78 Add CFG::BuildOptions class to pass in CFG builder options under on parameter. Patch by Marcin Świderski! by Ted Kremenek · 14 years ago
  39. 91c83e7 Delete the relaxedLiveness object in the dtor of AnalysisContext. by Ted Kremenek · 14 years ago
  40. ec49bf4 Add alternate version of LiveVariables analysis that does not kill liveness at assignments. This 'relaxed' liveness is useful in path sensitive analysis for situations where the resulting extended liveness allows us to find some bugs. by Tom Care · 14 years ago
  41. db34ab7 Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 14 years ago
  42. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
  43. 9b823e8 Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges. by Ted Kremenek · 14 years ago
  44. ad5a894 Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to the original by Ted Kremenek · 14 years ago
  45. 2ce43c8 Make a bunch of new data structures for the new analysis by Zhongxing Xu · 14 years ago
  46. c6238d2 Reapply r108617. by Zhongxing Xu · 14 years ago
  47. ee30965 Revert r108617, it broke the build. by Benjamin Kramer · 14 years ago
  48. 69b8194 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 14 years ago
  49. d064fdc Only perform CFG-based warnings on 'static inline' functions that by Ted Kremenek · 14 years ago
  50. 2cfe28b When computing in AnalysisContext the variables referenced by Ted Kremenek · 14 years ago
  51. 8ddf7ce Add a utility method. by Zhongxing Xu · 14 years ago
  52. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 14 years ago
  53. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago
  54. 4c45aa1 Speed up compilation by avoiding generating exceptional edges from by Mike Stump · 15 years ago
  55. b978a44 Add infrastructure to add base initializers and member initializers to by Mike Stump · 15 years ago
  56. fa6ef18 Add an unreachable code checker. by Mike Stump · 15 years ago
  57. 62d399e As Ted suggested, record the callsite information with the StackFrameContext. by Zhongxing Xu · 15 years ago
  58. 9f61aa9 Un-namespace-qualify llvm_unreachable. It's a macro, so the qualification gave by Jeffrey Yasskin · 15 years ago
  59. 2b87ae4 Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 15 years ago
  60. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  61. 30a4534 Teach AnalysisContext::getBody() about BlockDecls. by Ted Kremenek · 15 years ago
  62. d02e83a Allow BlockInvocationContext to wrap either a BlockDecl* or a BlockDataRegion*, giving us choice in our degree of context-sensitivity. by Ted Kremenek · 15 years ago
  63. 0ee4124 Refactor LocationContext creation logic into a single member template. by Ted Kremenek · 15 years ago
  64. dc0d909 Refactor FoldingSet profiling code for LocationContexts, and add a new BlockInvocationContext to represent the invocation of a block. by Ted Kremenek · 15 years ago
  65. b1a7b65 Enhance LiveVariables to understand that blocks can extend the liveness of a variable by "capturing" them in a BlockExpr. by Ted Kremenek · 15 years ago
  66. 58f5ec7 Add destructor and cleanup code to LocationContext (fixing some leaks). Along the way, have by Ted Kremenek · 15 years ago
  67. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  68. 2376002 Remove 'AnalysisContext::setDecl()', as we the Decl associated with an by Ted Kremenek · 15 years ago
  69. 54c809b Constify LocationContext* (parent) and Stmt* fields in LocationContext. by Ted Kremenek · 15 years ago
  70. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
  71. 18c7c06 add a bunch of routine methods to AnalysisContext. by Zhongxing Xu · 15 years ago
  72. 87a05f1 Fix build warnings. by Mike Stump · 15 years ago
  73. 97ab394 This patch collects all analysis context data into a new class AnalysisContext. by Zhongxing Xu · 15 years ago