Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / ff6f66e33f234d4bba16c9149476d691e2c96ca9 / lib / Checker / GRCoreEngine.cpp
  1. e49f2ad Tweaker Checker::VisitEndAnalysis to have 'hasWorkRemaining' also by Ted Kremenek · 14 years ago
  2. ccc263b Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine by Ted Kremenek · 14 years ago
  3. 868e78d Move GRStmtNodeBuilder::MakeNode() out of line. No functionality change. by Zhongxing Xu · 14 years ago
  4. d9e0c0f Since we now may have basicblocks with the same block is in different function, by Zhongxing Xu · 14 years ago
  5. c179a7f Remove reference to AnalysisContext in Environment. We already have LocationContext by Zhongxing Xu · 14 years ago
  6. 57d3b76 When profiling Environment, also profile with AnalysisContext*, bacause by Zhongxing Xu · 14 years ago
  7. 25108a5 Remove derelict GRStmtNodeBuilder::LastNode. by Zhongxing Xu · 14 years ago
  8. 102acd5 Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted due to a Clang-on-Clang failure by Douglas Gregor · 14 years ago
  9. 2b706e5 Revert patches r97122 r97127 r97129 r97131. by Jakob Stoklund Olesen · 14 years ago
  10. f710691 Move the GenerateCallExitNode logic completely into GREndPathNodeBuilder. by Zhongxing Xu · 14 years ago
  11. 9a9f627 Move the dead bindings removal logic from CallInliner to GRExprEngine::ProcessCallExit(). by Zhongxing Xu · 14 years ago
  12. 0024a9a Add comments. by Zhongxing Xu · 14 years ago
  13. 833e50e Call inliner improvements: by Zhongxing Xu · 14 years ago
  14. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (98%) from lib/Analysis/GRCoreEngine.cpp]
  15. cb74d72 For inter-procedural analysis, predecessor node may be in another function. by Zhongxing Xu · 15 years ago
  16. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 15 years ago
  17. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  18. b4b817d Refactor DereferenceChecker to use only the new Checker API instead of by Ted Kremenek · 15 years ago
  19. 5fe4d9d 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 · 15 years ago
  20. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  21. cc02553 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 15 years ago
  22. 17fd863 To make the analysis independent on the locally stored liveness and cfg by Zhongxing Xu · 15 years ago
  23. 25e695b Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 15 years ago
  24. 031ccc0 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 15 years ago
  25. 0111f57 Core analysis engine template cleanup step 2: by Zhongxing Xu · 15 years ago
  26. 38b02b9 Core analysis engine template cleanup step 2: by Zhongxing Xu · 15 years ago
  27. c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 15 years ago
  28. 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 15 years ago
  29. e01ac57 Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder. by Ted Kremenek · 15 years ago
  30. 5200354 Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the case by Ted Kremenek · 15 years ago
  31. 785d29d Delete extra whitespaces. by Zhongxing Xu · 15 years ago
  32. 80c2418 More hacking on autorelease errors. We now can emit basic errors (disabled for by Ted Kremenek · 15 years ago
  33. ab422d1 Make BlockEntrace program points taggable. by Ted Kremenek · 15 years ago
  34. 7090d54 analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for by Ted Kremenek · 15 years ago
  35. 8ff59e8 Add a new BFS GRWorkList and make it the default worklist model for by Ted Kremenek · 15 years ago
  36. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 15 years ago
  37. 58e899b Added a new method to GRStmtNodeBuilder to build nodes using an arbitrary by Ted Kremenek · 15 years ago
  38. e1efd4d Add new GRWorkList class that uses two queues: by Ted Kremenek · 16 years ago
  39. af33741 Add (preliminary) transfer function support for ObjCForCollectionStmt. Still need to flesh out some logic. by Ted Kremenek · 16 years ago
  40. bf4e419 Fixed an elusive caching bug in ExplodedGraph construction when a PostStmtKind was used instead of a PostStoreKind. by Ted Kremenek · 16 years ago
  41. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  42. 38a23ba Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode(). by Ted Kremenek · 16 years ago
  43. 5c135b4 Fix memory leak found by Sam Bishop: delete WList in the dstor of GRCoreEngineImpl. by Ted Kremenek · 16 years ago
  44. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
  45. 1a654b6 Modified the dead stores checker to... by Ted Kremenek · 16 years ago
  46. 331b0ac 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 · 16 years ago
  47. 1b8bd4d Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 16 years ago
  48. b053396 Fixed more caching bugs related to the one fixed in r49914. Silence by Ted Kremenek · 16 years ago
  49. 4f28515 Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the node cache. by Ted Kremenek · 16 years ago
  50. 5eb1044 Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct by Ted Kremenek · 16 years ago
  51. 11062b1 Added "GREndPathNodeBuilder", a new node builder that will be used for by Ted Kremenek · 16 years ago
  52. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 16 years ago[Renamed from Analysis/GRCoreEngine.cpp]
  53. 3bbad55 More edge-case handling with using liveness information to prune dead state values. by Ted Kremenek · 16 years ago
  54. 8ecfc85 Minor cleanups (mainly indentation). by Ted Kremenek · 16 years ago
  55. 6a6719a "Refinement" of hack to bound loop-traversals: visit any block at a maximum of 3 times along a given path. by Ted Kremenek · 16 years ago
  56. daeb9a7 Added support to GRCoreEngine/GRExprEngine for processing control-flow by Ted Kremenek · 16 years ago
  57. a82799e Renamed files to match class renaming in r47070: by Ted Kremenek · 16 years ago[Renamed from Analysis/GREngine.cpp]
  58. 4d4dd85 Renamed class GREngine => GRCoreEngine. by Ted Kremenek · 16 years ago
  59. 24f1a96 Simplify GRIndirectGotoNodeBuilder. by Ted Kremenek · 16 years ago
  60. a58e833 Added GREngine support for "break" and "continue". by Ted Kremenek · 16 years ago
  61. 754607e Added support to GREngine/GRConstants for handling computed gotos. by Ted Kremenek · 16 years ago
  62. f810869 Added GREngine support for GotoStmt. by Ted Kremenek · 16 years ago
  63. 8e49dd6 Added GRBlockCounter class, which tracks the number of times blocks by Ted Kremenek · 16 years ago
  64. f233d48 Implemented initial transfer function support for '&&', '||', '?', and by Ted Kremenek · 17 years ago
  65. 3b4f670 We now delay adding nodes created by GRBranchNodeBuilder to the analysis by Ted Kremenek · 17 years ago
  66. b38911f Implemented some branch pruning in GRConstants using != and == for by Ted Kremenek · 17 years ago
  67. 71c29bd Implemented more boilerplate in GREngine for processing branches. Now by Ted Kremenek · 17 years ago
  68. 7d7fe6d Added boilerplate logic in GREngine for processing branches. by Ted Kremenek · 17 years ago
  69. f4b7a69 Renamed GRNodeBuilder to GRStmtNodeBuilder. by Ted Kremenek · 17 years ago
  70. cb48b9c Driver now passes the top-level FunctionDecl* to GRConstants. by Ted Kremenek · 17 years ago
  71. 160760e Fixed iterator bug in ExplodedNodeImpl::NodeGroup::end(); we would improperly by Ted Kremenek · 17 years ago
  72. ee98546 Hooked up the GRConstants analysis to the driver. by Ted Kremenek · 17 years ago
  73. 425c08c Removed implicit transitions to a "BlockExit" location; we now handle by Ted Kremenek · 17 years ago
  74. f24af5b Added prototype implementation of path-sens. analysis core engine. by Ted Kremenek · 17 years ago