Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / f358c8af7bc0ed58fc1f009aabe928732d3d2316 / lib / StaticAnalyzer
  1. 51f4708 Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it will by Richard Smith · 13 years ago
  2. 4a037c7 [analyzer] ObjC message sends to nil receivers that return structs are now okay (compiler zeroes out the data). Fixes <rdar://problem/9151319>. by Ted Kremenek · 13 years ago
  3. 4d2ae4a [analyzer] Move enqueueEndOfFunction into CoreEngine. by Anna Zaks · 13 years ago
  4. dd7ddf2 [analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes. by Anna Zaks · 13 years ago
  5. 39ac187 [analyzer] Add getLocationContext to CheckerContext by Anna Zaks · 13 years ago
  6. 48468df [analyzer] Remove EmitBasicReport form CheckerContext. by Anna Zaks · 13 years ago
  7. 0bd6b11 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 13 years ago
  8. c03a39e [analyzer] GenericNodeBuilder -> NodeBuilder. by Anna Zaks · 13 years ago
  9. 6a93bd5 [analyzer] Remove getEngine() form CheckerContext by Anna Zaks · 13 years ago
  10. 063e088 [analyzer] Simplify CheckerContext by Anna Zaks · 13 years ago
  11. 2e9264a [analyzer] Remove unused headers. by Anna Zaks · 13 years ago
  12. f236b65 [analyzer] Make branch for condition callback use CheckerContext by Anna Zaks · 13 years ago
  13. af498a2 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 13 years ago
  14. ba0513d Implement support for dependent Microsoft __if_exists/__if_not_exists by Douglas Gregor · 13 years ago
  15. 58f6f1e Add source-level dominators analysis. Patch by Guoping Long! by Ted Kremenek · 13 years ago
  16. aa0aeb1 [analyzer] Node builders cleanup + comments by Anna Zaks · 13 years ago
  17. cca79db [analyzer] Remove the old StmtNodeBuilder. by Anna Zaks · 13 years ago
  18. 056c4b4 [analyzer] Completely remove the global Builder object. by Anna Zaks · 13 years ago
  19. f185cc1 [analyzer] Remove more dependencies from global Builder by Anna Zaks · 13 years ago
  20. ebae6d0 [analyzer] Convert ExprEngine::visit() to use short lived builders. by Anna Zaks · 13 years ago
  21. d231d01 [analyzer] Convert VisitDeclStmt to use local node builder. by Anna Zaks · 13 years ago
  22. 6b6152b [analyzer] Convert more functions (ex:evalBind()) to iterative builders by Anna Zaks · 13 years ago
  23. 8ad8c54 [analyzer] Convert VisitUnaryOperator to use short lived Node builders by Anna Zaks · 13 years ago
  24. 8ff5c41 [analyzer] Use a temporary builder in CheckerContext. by Anna Zaks · 13 years ago
  25. 1aae01a [analyzer] Pass external Dst set to NodeBuilder by Anna Zaks · 13 years ago
  26. 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
  27. b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
  28. c9003c8 [analyzer] Move predecessor into the NodeBuilder context. by Anna Zaks · 13 years ago
  29. 4e82d3c [analyzer] Make NodeBuilder and Pred node loosely coupled by Anna Zaks · 13 years ago
  30. 3152b3c [analyzer] Remove StmtNodeBuilder from CheckerContext by Anna Zaks · 13 years ago
  31. 319a918 [analyzer] Subclassing StmtBuilder from the NodeBuilder by Anna Zaks · 13 years ago
  32. 67d9fba [analyzer] Remove dead code. ExprEngineBuilders is not used. by Anna Zaks · 13 years ago
  33. cd656ca [analyzer] Modularize builder use in processBranch. by Anna Zaks · 13 years ago
  34. ad62dee [analyzer] Pull Pred out of NodeBuilderContext. by Anna Zaks · 13 years ago
  35. a19f4af [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder. by Anna Zaks · 13 years ago
  36. f05aac8 [analyzer] Node Builder refactoring: Introduce a simple Node Builder responsible for generating the node frontier. by Anna Zaks · 13 years ago
  37. 85df96c Refactor static analyzer to use simpler interface to constant expression evaluation. by Richard Smith · 13 years ago
  38. b8989f2 Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 13 years ago
  39. 71fdf46 [analyzer] Remove an unused member variable. by Anna Zaks · 13 years ago
  40. b1576f7 [analyzer] CheckerContext updates checkDst in it's destructor, so make sure the object is destructed before checkDst is used. by Anna Zaks · 13 years ago
  41. c800f68 [analyzer] Fix a typo. by Anna Zaks · 13 years ago
  42. a7957ff [analyzer] Warn about the use of insecure, deprecated vfork() function PR11053 (http://llvm.org/bugs/show_bug.cgi?id=11053). by Anna Zaks · 13 years ago
  43. 276b061 Initial implementation of __atomic_* (everything except __atomic_is_lock_free). by Eli Friedman · 13 years ago
  44. 46eaf77 [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goodnow II! by Ted Kremenek · 13 years ago
  45. a6b8b2c Constant expression evaluation refactoring: by Richard Smith · 13 years ago
  46. 744f1cd Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by Jim Goodnow II. by Ted Kremenek · 13 years ago
  47. 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
  48. 3f5e8d8 [analyzer] Previously, we were passing to CheckerContext enough info to construct ProgramPoint and it would pass it to NodeBuilder, which in turn would construct the ProgramPoint. Simplify it by just passing the ProgramPoint to CheckerContext. The ProgramPoint can only change if a checker tags it, in which case, we create a copy with the given tag. by Anna Zaks · 13 years ago
  49. 63d3201 ProgramPoint cleanup after the previous commit r141408 (remove the copy constructor, mark withTag const). by Anna Zaks · 13 years ago
  50. 5e1cdac Rename TagDecl::isDefinition -> isCompleteDefinition by John McCall · 13 years ago
  51. c808503 [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when analyzing C++ pointer-to-member calls. Fixes <rdar://problem/10243398>. by Ted Kremenek · 13 years ago
  52. 6ee5b93 Clang-side build system infrastructure for multiple tblgens. by Peter Collingbourne · 13 years ago
  53. 390909c [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. by Anna Zaks · 13 years ago
  54. 93edbc5 Fix major regression in RetainCountChecker. DefaultSummaries were not being used when they were meant to be. Fixes <rdar://problem/10241614>. by Ted Kremenek · 13 years ago
  55. 4eff823 [analyzer] Remove the last dependency on CheckerContext::getNodeBuilder() as well as the method itself. by Anna Zaks · 13 years ago
  56. dff6ef9 [analyzer] OSAtomicChecker implements evalCall in a very invasive way - it essentially simulates inlining of compareAndSwap() by means of setting the NodeBuilder flags and calling ExprEngine directly. by Anna Zaks · 13 years ago
  57. cbb7add [analyzer] Removing more references to CheckerContext::getNodeBuilder(): ask CheckerContext to generate the nodes. by Anna Zaks · 13 years ago
  58. 5d0ea6d [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 13 years ago
  59. 8ba7214 [analyzer] Remove unused methods, add comments to others. by Anna Zaks · 13 years ago
  60. 3381a73 [analyzer] Remove redundant state (AnalysisContext pointer for every BinaryOperator tracked) from IdempotentOperationChecker. by Anna Zaks · 13 years ago
  61. 1e9775d [analyzer] In UndefBranchChecker, use a node generator which does not create an edge/branching. (ExprEngine should be in charge of generating edges. The checkers should examine the condition and generate PostCondition node if needed.) by Anna Zaks · 13 years ago
  62. 9c81bc2 [analyzer] Cleanup in UndefBranchChecker: by Anna Zaks · 13 years ago
  63. 491306a Allow getting all source locations of selector identifiers in a ObjCMethodDecl. by Argyrios Kyrtzidis · 13 years ago
  64. 6a835dd Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. by Ted Kremenek · 13 years ago
  65. b459cf3 Address PR10616. The crash has already been fixed by Ted in r140725, so just refactor to use existing API + test case. by Anna Zaks · 13 years ago
  66. 7df2ff4 Tweak the interface for analyzing the CF conventions for a name by John McCall · 13 years ago
  67. e4c6675 Fix crash when analyzing C++ code involving constant enums and switch statements (<rdar://problem/10202899>). by Ted Kremenek · 13 years ago
  68. 0658879 [analyzer] Fix a bug in RetainReleaseChecker diagnostics. It gives more precise error message on the modified test case (and prevents duplicate diagnostics when we purge at block granularity). by Anna Zaks · 13 years ago
  69. 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
  70. f79d90e Check for empty predecessors for walking them. by Ted Kremenek · 13 years ago
  71. 7e5f112 Fix a crash in MallocOverflowSecurityChecker. Patch by Lei Zhang. by Anna Zaks · 13 years ago
  72. f39d962 Renaming PathDiagnosticClients.h to PathDiagnosticConsumers.h (issue 5397) by David Blaikie · 13 years ago
  73. ef3643f Rename PathDiagnosticClient to PathDiagnosticConsumer as per issue 5397 by David Blaikie · 13 years ago
  74. d6471f7 Rename Diagnostic to DiagnosticsEngine as per issue 5397 by David Blaikie · 13 years ago
  75. d25be9f Fix comment typo. by Benjamin Kramer · 13 years ago
  76. eb2d1f1 Removing a bunch of dead returns/breaks after llvm_unreachables. by David Blaikie · 13 years ago
  77. 1e705d5 Move immutable map canonization out of the removeDeadBindings loop (via using ImmutableMapRef). Gives ~2% speedup. by Anna Zaks · 13 years ago
  78. b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
  79. 5f62571 ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call since one SRM is created in each ScanReachableSymbols instance. Creating the object just once and calling only scan inside the loop gives ~ 14% speed up of the StaticAnalyzer run (Release+Asserts). by Anna Zaks · 13 years ago
  80. 09ca9ef [analyzer] Fix a bug where PathDiagnosticLocation did not generate a valid range and add asserts to check validity of locations early on. Ignore invalid ranges in PathDiagnosticPiece (they could be added by checker writers). by Anna Zaks · 13 years ago
  81. ef70724 [analyzer] Refactor PathDiagnosticLocation: Remove SourceRange member from PathDiagnosticLocation - FullSourceLoc Loc and PathDiagnosticRange Range are sufficient. by Anna Zaks · 13 years ago
  82. bc0a301 [analyzer] Remove dead code. (This code is trying to implement the idea that PathDiagnosticClient could implement DiagnosticClient and has been dead for a while). by Anna Zaks · 13 years ago
  83. 590dd8e [analyzer] Refactor PathDiagnosticLocation: Make PathDiagnosticLocation(SourceLocation...) private. Most of the effort here goes to making BugReport refer to a PathDiagnosticLocation instead of FullSourceLocation. by Anna Zaks · 13 years ago
  84. 77ce46d [analyzer] Refactor PathDiagnosticLocation: Use the pre-computed Range and Location for profile. by Anna Zaks · 13 years ago
  85. b66f486 [analyzer] Refactor PathDiagnosticLocation: Use PointerUnion of LocationContext and AnalysisContext to support creation of PathDiagnosticLocations for checkers which no context sensitivity. by Anna Zaks · 13 years ago
  86. e974367 [analyzer] Refactor PathDiagnosticLocation: Lazily query LocationContext for a ParentMap as needed. by Anna Zaks · 13 years ago
  87. 2380337 [analyzer] Remove LocationContext and a dependency from PathDiagnosticLoaction. by Anna Zaks · 13 years ago
  88. b490c4b [analyzer] Refactor PathDiagnosticLocation: Pre-compute Range and Location with gen methods on object creation instead of computing on demand. This would allow to remove dependency on the other members which help with construction and might not even be valid at later stages (to be removed later on). by Anna Zaks · 13 years ago
  89. 1531bb0 [analyzer] Use more create methods in the PathDiagnostic, cleanup. by Anna Zaks · 13 years ago
  90. 4522e2a [analyzer] BugReport has a profile method, so reuse it here. by Anna Zaks · 13 years ago
  91. a64ccef Rename SourceLocation::getFileLocWithOffset -> getLocWithOffset. by Argyrios Kyrtzidis · 13 years ago
  92. 0cd5948 [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 5 of ?): by Anna Zaks · 13 years ago
  93. f2b4e66 [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 4 of ?): by Anna Zaks · 13 years ago
  94. 4fdf97b [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
  95. 220ac8c [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 13 years ago
  96. 4d353eb [analyzer] After CFG has been linearized, we can have a situation where an ExpoledNode has an invalid SourceLocation (which has no correspondence in the source code). This commit is the first step to solve this problem. by Anna Zaks · 13 years ago
  97. 43f48b0 [analyzer] Refactor: Make PathDiagnosticLocation responsible for creating a valid object given an ExploadedNode (the same logic can be reused by other checkers). by Anna Zaks · 13 years ago
  98. e289d81 Switch LangOptions over to a .def file that describes header of the by Douglas Gregor · 13 years ago
  99. 7a75646 [analyzer] Fix a failure encountered while analyzing bind (radar://10105448). by Anna Zaks · 13 years ago
  100. f7afe4a [analyzer] Fix a new failure encountered while building Adium exposed as a result of r138196(radar://10087620). ObjectiveC property of type int has a value of type ObjCPropRef, which is a Loc. by Anna Zaks · 13 years ago