Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / b5204ee30229c76f8a0be48800508483737ceb5a / lib / StaticAnalyzer / Core / CoreEngine.cpp
  1. b5204ee [analyzer] Don't use the address of a temporary CFGElement. by Jordan Rose · 12 years ago
  2. fbcb3f1 [analyzer] Refactor the logic that determines if a functions should be by Anna Zaks · 12 years ago
  3. df51fb9 [analyzer] PostImplicitCall can also occur between CFGElements. by Jordan Rose · 12 years ago
  4. bed28ac Fix a typo (the the => the) by Sylvestre Ledru · 12 years ago
  5. 852aa0d [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints by Jordan Rose · 12 years ago
  6. 8d0f528 [analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph. by Jordan Rose · 12 years ago
  7. df19fe7 [analyzer] Report the cumulative number of steps the analyzer performs. by Anna Zaks · 12 years ago
  8. 0b3ade8 [analyzer] Run remove dead bindings right before leaving a function. by Anna Zaks · 12 years ago
  9. 87e154c Remove the unused, unmaintained, incomplete 'Index' library. by Douglas Gregor · 12 years ago
  10. e62f048 [analyzer] Record the basic blocks covered by the analyzes run. by Anna Zaks · 12 years ago
  11. 253955c [analyser] Stats checker: do not mark a node as exhausted if we will by Anna Zaks · 12 years ago
  12. 5903a37 [analyzer] Add an option to re-analyze a dead-end path without inlining. by Anna Zaks · 12 years ago
  13. 638e2d3 [analyzer] Add the stat for the number of successfully explored paths. by Anna Zaks · 12 years ago
  14. 131579f [analyzer] Add a statistic for the number of times we reach the max by Anna Zaks · 12 years ago
  15. 337e4db [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn't understand. We registered by Ted Kremenek · 12 years ago
  16. 3fd5f37 [analyzer] Add support for NoRedundancy inlining mode. by Anna Zaks · 12 years ago
  17. 2ac58b7 Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change." by Ted Kremenek · 12 years ago
  18. 437ee81 Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change. by Ted Kremenek · 12 years ago
  19. 626719b Minor cleanup to node data structures in ExplodedGraph. No functionality change. by Ted Kremenek · 12 years ago
  20. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 13 years ago
  21. 3070e13 [analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEnter(). by Ted Kremenek · 13 years ago
  22. 894212e [analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit() do the work manually. This is a nice simplification. by Ted Kremenek · 13 years ago
  23. 99ba9e3 Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch by David Blaikie · 13 years ago
  24. 6800ba6 [analyzer] Make sink attribute part of the node profile. by Anna Zaks · 13 years ago
  25. 2d950b1 [analyzer] Fix PR11282 - an assert in markAsSink by Anna Zaks · 13 years ago
  26. cdcc653 [analyzer] BranchNodeBuilder should not generate autotransitions. by Anna Zaks · 13 years ago
  27. 4d2ae4a [analyzer] Move enqueueEndOfFunction into CoreEngine. by Anna Zaks · 13 years ago
  28. dd7ddf2 [analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes. by Anna Zaks · 13 years ago
  29. c03a39e [analyzer] GenericNodeBuilder -> NodeBuilder. by Anna Zaks · 13 years ago
  30. af498a2 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 13 years ago
  31. aa0aeb1 [analyzer] Node builders cleanup + comments by Anna Zaks · 13 years ago
  32. cca79db [analyzer] Remove the old StmtNodeBuilder. by Anna Zaks · 13 years ago
  33. ebae6d0 [analyzer] Convert ExprEngine::visit() to use short lived builders. by Anna Zaks · 13 years ago
  34. 8ff5c41 [analyzer] Use a temporary builder in CheckerContext. by Anna Zaks · 13 years ago
  35. 1aae01a [analyzer] Pass external Dst set to NodeBuilder by Anna Zaks · 13 years ago
  36. 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
  37. b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
  38. c9003c8 [analyzer] Move predecessor into the NodeBuilder context. by Anna Zaks · 13 years ago
  39. 4e82d3c [analyzer] Make NodeBuilder and Pred node loosely coupled by Anna Zaks · 13 years ago
  40. 3152b3c [analyzer] Remove StmtNodeBuilder from CheckerContext by Anna Zaks · 13 years ago
  41. 319a918 [analyzer] Subclassing StmtBuilder from the NodeBuilder by Anna Zaks · 13 years ago
  42. cd656ca [analyzer] Modularize builder use in processBranch. by Anna Zaks · 13 years ago
  43. ad62dee [analyzer] Pull Pred out of NodeBuilderContext. by Anna Zaks · 13 years ago
  44. a19f4af [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder. by Anna Zaks · 13 years ago
  45. f05aac8 [analyzer] Node Builder refactoring: Introduce a simple Node Builder responsible for generating the node frontier. by Anna Zaks · 13 years ago
  46. 71fdf46 [analyzer] Remove an unused member variable. by Anna Zaks · 13 years ago
  47. 46eaf77 [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goodnow II! by Ted Kremenek · 13 years ago
  48. 63d3201 ProgramPoint cleanup after the previous commit r141408 (remove the copy constructor, mark withTag const). by Anna Zaks · 13 years ago
  49. e4c6675 Fix crash when analyzing C++ code involving constant enums and switch statements (<rdar://problem/10202899>). by Ted Kremenek · 13 years ago
  50. d309528 [analyzer] Add -analyzer-purge option which can take on multiple values, remove -analyzer-purge=none. (Small refactor as well: move the work of constructing AnalysisManager from the callers to the class itself.) by Anna Zaks · 13 years ago
  51. ef3643f Rename PathDiagnosticClient to PathDiagnosticConsumer as per issue 5397 by David Blaikie · 13 years ago
  52. eb2d1f1 Removing a bunch of dead returns/breaks after llvm_unreachables. by David Blaikie · 13 years ago
  53. b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
  54. 46331ef [analyzer] Remove lingering CFRefCount creation, which would have resulted in a leak. There's room for improvement here... by Jordy Rose · 13 years ago
  55. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 13 years ago
  56. 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
  57. ca80453 [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. by Ted Kremenek · 13 years ago
  58. 0e89061 Cleanup: remove CleanedSate member and GetState() wrapper from StmtNodeBuilder, not needed as of r137273. by Anna Zaks · 13 years ago
  59. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
  60. bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
  61. c69a505 Remove unused STL header includes. by Jay Foad · 13 years ago
  62. 8083414 static analyzer: Add a new ProgramPoint PostCondition to represent the post position of a branch condition, and a new generateNode method to BranchNodeBuilder using PostCondition ProgramPoint. This method generates a new ExplodedNode but not a new block edge. by Ted Kremenek · 13 years ago
  63. 66750fa static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that a given CFGBlock was analyzed too many times. by Ted Kremenek · 13 years ago
  64. f178ac8 [analyzer] Refactor EndOfFunctionNodeBuilder. by Argyrios Kyrtzidis · 13 years ago
  65. 56ca35d Change the representation of GNU ?: expressions to use a different expression by John McCall · 13 years ago
  66. 43dee22 [analyzer] Overhauling of the checker registration mechanism. by Argyrios Kyrtzidis · 13 years ago
  67. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 13 years ago
  68. d767d81 static analyzer: Further reduce the analyzer's memory usage when analyzing sqlite3 by 7-10% by recylcing "uninteresting" ExplodedNodes. by Ted Kremenek · 13 years ago
  69. 811d75e [analyzer] Move the files in lib/StaticAnalyzer to lib/StaticAnalyzer/Core. by Argyrios Kyrtzidis · 13 years ago[Renamed from lib/StaticAnalyzer/CoreEngine.cpp]
  70. b485726 Rename 'HasGeneratedNode' to 'hasGeneratedNode' by Ted Kremenek · 14 years ago
  71. 27c54e5 Rework ExprEngine::processCFGBlockEntrance() by Ted Kremenek · 14 years ago
  72. 7771406 Remove several silly methods from ento::CoreEngine by Ted Kremenek · 14 years ago
  73. 55825aa Rename misc. methods in ento::Worklist to start with lowercase letter. by Ted Kremenek · 14 years ago
  74. e36de1f Rename misc. methods in GRSubEngine to start by Ted Kremenek · 14 years ago
  75. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 14 years ago[Renamed (98%) from lib/EntoSA/CoreEngine.cpp]
  76. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 14 years ago[Renamed (98%) from lib/GR/CoreEngine.cpp]
  77. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 14 years ago
  78. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 14 years ago[Renamed (82%) from lib/GR/GRCoreEngine.cpp]
  79. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 14 years ago
  80. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/Checker/GRCoreEngine.cpp]
  81. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
  82. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 14 years ago
  83. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  84. d706434 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 14 years ago
  85. 19b78d9 Use StackFrameContext directly in CallEnter program point. Then we don't need by Zhongxing Xu · 14 years ago
  86. ba09cbb Add comments. by Zhongxing Xu · 14 years ago
  87. 9dc84c9 Handle member initializer in C++ ctor. by Zhongxing Xu · 14 years ago
  88. 9c6cd67 Add skeleton for handling other kinds of CFGElements. by Zhongxing Xu · 14 years ago
  89. 3e47b48 Add GRWorkList::VisitItemsInWorkList() to allow a client to introspect the contents of a worklist. by Ted Kremenek · 14 years ago
  90. 5cca53e Remove unused variable. by Ted Kremenek · 14 years ago
  91. f093350 Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely subsumed by the Checker interface. by Ted Kremenek · 14 years ago
  92. 2ce2baa Convert GRSimpleAPIChecks in BasicObjCFoundationChecks to be Checkers. by Ted Kremenek · 14 years ago
  93. 9121ba2 Added two new command line arguments: by Marcin Swiderski · 14 years ago
  94. cf9ce13 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 · 14 years ago
  95. 68625cf 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 · 14 years ago
  96. 3c7f413 More PCH -> AST renaming. by Sebastian Redl · 14 years ago
  97. f598087 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 · 14 years ago
  98. 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
  99. 2ce43c8 Make a bunch of new data structures for the new analysis by Zhongxing Xu · 14 years ago
  100. e492340 Move some methods inline. by Zhongxing Xu · 14 years ago