Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / f96ae684c4be9c08901bde63b0df8ef5210e6aff / clang / lib / StaticAnalyzer / CoreEngine.cpp
  1. d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (98%) from clang/lib/EntoSA/CoreEngine.cpp]
  2. ef33f09 Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (99%) from clang/lib/GR/CoreEngine.cpp]
  3. 98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  4. 1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago[Renamed (82%) from clang/lib/GR/GRCoreEngine.cpp]
  5. ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  6. 2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/GRCoreEngine.cpp]
  7. 8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  8. 750b7ac Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  9. 8219b82 Start migration of static analyzer to using the by Ted Kremenek · 15 years ago
  10. a1a9ba1 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 15 years ago
  11. cb29802 Use StackFrameContext directly in CallEnter program point. Then we don't need by Zhongxing Xu · 15 years ago
  12. 2cf9b13 Add comments. by Zhongxing Xu · 15 years ago
  13. 1ade326 Handle member initializer in C++ ctor. by Zhongxing Xu · 15 years ago
  14. 5d30c69 Add skeleton for handling other kinds of CFGElements. by Zhongxing Xu · 15 years ago
  15. b02788d Add GRWorkList::VisitItemsInWorkList() to allow a client to introspect the contents of a worklist. by Ted Kremenek · 15 years ago
  16. 6377965 Remove unused variable. by Ted Kremenek · 15 years ago
  17. 982b32b Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely subsumed by the Checker interface. by Ted Kremenek · 15 years ago
  18. bd2c800 Convert GRSimpleAPIChecks in BasicObjCFoundationChecks to be Checkers. by Ted Kremenek · 15 years ago
  19. 99a9040 Added two new command line arguments: by Marcin Swiderski · 15 years ago
  20. 472205b Change -analyzer-max-nodes to allow 0 as a parameter. This allows the analyzer to completely analyze a worklist regardless of time taken. by Tom Care · 15 years ago
  21. c88ed95 Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect that we aborted analysis may not necessarily be due to a loop. by Tom Care · 15 years ago
  22. d44cd6a More PCH -> AST renaming. by Sebastian Redl · 15 years ago
  23. 2b4adff Have GRCoreEngine record the blocks where analysis was aborted because we visited a block too many times along a given path. This is to support the unreachable code analysis. by Ted Kremenek · 15 years ago
  24. 4a2b237 Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges. by Ted Kremenek · 15 years ago
  25. adf644d Make a bunch of new data structures for the new analysis by Zhongxing Xu · 15 years ago
  26. 2e01b80 Move some methods inline. by Zhongxing Xu · 15 years ago
  27. edb77fe Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 15 years ago
  28. c2acbe0 Constify. by Zhongxing Xu · 15 years ago
  29. 84f65e0 Reapply r108617. by Zhongxing Xu · 15 years ago
  30. e2e031e Revert r108617, it broke the build. by Benjamin Kramer · 15 years ago
  31. 4ca4a99 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 15 years ago
  32. 090d62e Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also by Ted Kremenek · 15 years ago
  33. 574f304 Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine by Ted Kremenek · 15 years ago
  34. 5eb08f7 Move GRStmtNodeBuilder::MakeNode() out of line. No functionality change. by Zhongxing Xu · 16 years ago
  35. 3c0c81a Since we now may have basicblocks with the same block is in different function, by Zhongxing Xu · 16 years ago
  36. e735843 Remove reference to AnalysisContext in Environment. We already have LocationContext by Zhongxing Xu · 16 years ago
  37. 5cb8d9d When profiling Environment, also profile with AnalysisContext*, bacause by Zhongxing Xu · 16 years ago
  38. d041bc6 Remove derelict GRStmtNodeBuilder::LastNode. by Zhongxing Xu · 16 years ago
  39. a2fbc94 Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted due to a Clang-on-Clang failure by Douglas Gregor · 16 years ago
  40. 5a8f9ac Revert patches r97122 r97127 r97129 r97131. by Jakob Stoklund Olesen · 16 years ago
  41. ee29cc3 Move the GenerateCallExitNode logic completely into GREndPathNodeBuilder. by Zhongxing Xu · 16 years ago
  42. 9516fea Move the dead bindings removal logic from CallInliner to GRExprEngine::ProcessCallExit(). by Zhongxing Xu · 16 years ago
  43. 2fa52b0 Add comments. by Zhongxing Xu · 16 years ago
  44. 1486361 Call inliner improvements: by Zhongxing Xu · 16 years ago
  45. d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (99%) from clang/lib/Analysis/GRCoreEngine.cpp]
  46. d2ab38e For inter-procedural analysis, predecessor node may be in another function. by Zhongxing Xu · 16 years ago
  47. 4cad5fc Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 16 years ago
  48. 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  49. 5e1f78a Refactor DereferenceChecker to use only the new Checker API instead of by Ted Kremenek · 16 years ago
  50. c3661de Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding malloc() traffic when adding successors/predecessors to a node. This was done by introducing BumpVector, which is essentially SmallVector with all memory being BumpPtrAllocated (this can certainly be cleaned up or moved into llvm/ADT). by Ted Kremenek · 16 years ago
  51. 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
  52. 94ec649 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 16 years ago
  53. 5f078cb To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 16 years ago
  54. e1190f7 Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 16 years ago
  55. 107f759 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 16 years ago
  56. 82003da Core analysis engine template cleanup step 2: by Zhongxing Xu · 16 years ago
  57. c90a0c2 Core analysis engine template cleanup step 2: by Zhongxing Xu · 16 years ago
  58. 20227f7 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 16 years ago
  59. bfd28fd Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 16 years ago
  60. 2776079 Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder. by Ted Kremenek · 16 years ago
  61. af9f362 Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the case by Ted Kremenek · 16 years ago
  62. 69cc15e Delete extra whitespaces. by Zhongxing Xu · 16 years ago
  63. 9ec08aa More hacking on autorelease errors. We now can emit basic errors (disabled for by Ted Kremenek · 16 years ago
  64. c218c84 Make BlockEntrace program points taggable. by Ted Kremenek · 16 years ago
  65. a6e0832 analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for by Ted Kremenek · 16 years ago
  66. 2c32773 Add a new BFS GRWorkList and make it the default worklist model for by Ted Kremenek · 16 years ago
  67. df24000 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 17 years ago
  68. 513f0b1 Added a new method to GRStmtNodeBuilder to build nodes using an arbitrary by Ted Kremenek · 17 years ago
  69. d9de9f1 Add new GRWorkList class that uses two queues: by Ted Kremenek · 17 years ago
  70. 1781080 Add (preliminary) transfer function support for ObjCForCollectionStmt. Still need to flesh out some logic. by Ted Kremenek · 17 years ago
  71. a196618 Fixed an elusive caching bug in ExplodedGraph construction when a PostStmtKind was used instead of a PostStoreKind. by Ted Kremenek · 17 years ago
  72. 0ecb53a ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 17 years ago
  73. af66582 Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode(). by Ted Kremenek · 17 years ago
  74. 3f91f03 Fix memory leak found by Sam Bishop: delete WList in the dstor of GRCoreEngineImpl. by Ted Kremenek · 17 years ago
  75. a7b8ffb Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago
  76. 34a6917 Modified the dead stores checker to... by Ted Kremenek · 17 years ago
  77. 9a935fb Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point distinguishes between the cases when we just evaluated the transfer function of a Stmt* (PostStmt) or performed a load (PostLoad). This solves a caching bug observed in a recent bug report. by Ted Kremenek · 17 years ago
  78. fa5a3d0 Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 17 years ago
  79. c072b82 Fixed more caching bugs related to the one fixed in r49914. Silence by Ted Kremenek · 18 years ago
  80. d004c41 Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the node cache. by Ted Kremenek · 18 years ago
  81. 8605169 Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct by Ted Kremenek · 18 years ago
  82. 811c2b4 Added "GREndPathNodeBuilder", a new node builder that will be used for by Ted Kremenek · 18 years ago
  83. 7a51313 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 18 years ago[Renamed from clang/Analysis/GRCoreEngine.cpp]
  84. a34cf6d More edge-case handling with using liveness information to prune dead state values. by Ted Kremenek · 18 years ago
  85. df4a5b9 Minor cleanups (mainly indentation). by Ted Kremenek · 18 years ago
  86. 17f4dbd "Refinement" of hack to bound loop-traversals: visit any block at a maximum of 3 times along a given path. by Ted Kremenek · 18 years ago
  87. 80ebc1d Added support to GRCoreEngine/GRExprEngine for processing control-flow by Ted Kremenek · 18 years ago
  88. 1c16527 Renamed files to match class renaming in r47070: by Ted Kremenek · 18 years ago[Renamed from clang/Analysis/GREngine.cpp]
  89. f6c62f3 Renamed class GREngine => GRCoreEngine. by Ted Kremenek · 18 years ago
  90. 2bba901 Simplify GRIndirectGotoNodeBuilder. by Ted Kremenek · 18 years ago
  91. 632bcb8 Added GREngine support for "break" and "continue". by Ted Kremenek · 18 years ago
  92. 7022efb Added support to GREngine/GRConstants for handling computed gotos. by Ted Kremenek · 18 years ago
  93. 822f737 Added GREngine support for GotoStmt. by Ted Kremenek · 18 years ago
  94. 90ae68f Added GRBlockCounter class, which tracks the number of times blocks by Ted Kremenek · 18 years ago
  95. 3f2f1ad Implemented initial transfer function support for '&&', '||', '?', and by Ted Kremenek · 18 years ago
  96. 2531fce We now delay adding nodes created by GRBranchNodeBuilder to the analysis by Ted Kremenek · 18 years ago
  97. a50d985 Implemented some branch pruning in GRConstants using != and == for by Ted Kremenek · 18 years ago
  98. 7ff1893 Implemented more boilerplate in GREngine for processing branches. Now by Ted Kremenek · 18 years ago
  99. 9b4211d Added boilerplate logic in GREngine for processing branches. by Ted Kremenek · 18 years ago
  100. b2cad31 Renamed GRNodeBuilder to GRStmtNodeBuilder. by Ted Kremenek · 18 years ago