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