Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 58f2cbc083e1b564a3c393c0ad9006b2e0c45e67 / lib / StaticAnalyzer
  1. 426a16d [analyzer] Minor cleanup of SValBuilder: Comments + code reuse. by Anna Zaks · 13 years ago
  2. 8f4caf5 [analyzer] Warn when non pointer arguments are passed to scanf (only when running taint checker). by Anna Zaks · 13 years ago
  3. 0d339d0 [analyzer] Do not conjure a symbol when we need to propagate taint. by Anna Zaks · 13 years ago
  4. ee081c4 [analyzer] Minor tweaks to the ProgramState::isTainted(). by Anna Zaks · 13 years ago
  5. 64595fa [analyzer] Add a helper method. by Anna Zaks · 13 years ago
  6. eeea7c4 [analysis] Constify CheckerContext. by Anna Zaks · 13 years ago
  7. 8687397 [analyzer] Put CheckerConext::getCalleeName out of line. by Anna Zaks · 13 years ago
  8. e42a0ab Fixed crash with initializer lists and unnamed bitfields in the RegionStore by Jim Goodnow II · 13 years ago
  9. 3d5f24a Update CMake build. by Benjamin Kramer · 13 years ago
  10. 9b0970f [analyzer] Catch the first taint propagation implied buffer overflow. by Anna Zaks · 13 years ago
  11. df18c5a [analyzer] Adding generic taint checker. by Anna Zaks · 13 years ago
  12. ceac1d6 [analyzer] Adding basic building blocks for taint propagation. by Anna Zaks · 13 years ago
  13. 57e156a [analyzer] Cleanup: Null->0, comments. by Anna Zaks · 13 years ago
  14. 0e12ebf [analyzer] Factor getCalleeName to the checker context. by Anna Zaks · 13 years ago
  15. 4c42bb7 [static analyzer] Tweak RetainCountChecker's diagnostics to correctly indicate if a message was due to a property access. This can by Ted Kremenek · 13 years ago
  16. 729aa06 [analyzer;Regionstore] handle loads from StringLiteral elements for StringLiterals representing wide strings. Fixes PR 11294. by Ted Kremenek · 13 years ago
  17. 9e9a3e6 [static analyzer] be more specific when running removeDeadBindings. Instead of seeing if the predecessor node was a non-StmtPoint, check if it is specifically a BlockEntrance node. by Ted Kremenek · 13 years ago
  18. ce117a7 [static analyzer]: only call RemoveDeadBindings() when analyzing non-Expr stmts, entering a basic block, or analyzing non-consumed expressions. This sigificantly speeds up analysis time, and reduces analysis time down to 27% less than before we linearized the CFG. by Ted Kremenek · 13 years ago
  19. 180f479 Constant expression evaluation: support for evaluation of structs and unions of by Richard Smith · 13 years ago
  20. 8d0ffc7 [analyzer] Remove redundant check from DivZeroChecker by Anna Zaks · 13 years ago
  21. 7864435 Rip out CK_GetObjCProperty. by John McCall · 13 years ago
  22. 4b9c2d2 Change the AST representation of operations on Objective-C by John McCall · 13 years ago
  23. de2a6a8 [analyzer] There should be a space between "expect" and "only" by Anna Zaks · 13 years ago
  24. 92d3dda Remove unused variables. by Benjamin Kramer · 13 years ago
  25. 21a2516 Fix various minor issues find via unreachable code warnings, from Ahmed Charles! by Douglas Gregor · 13 years ago
  26. 2eba859 Remove virtually empty file. by Benjamin Kramer · 13 years ago
  27. 6800ba6 [analyzer] Make sink attribute part of the node profile. by Anna Zaks · 13 years ago
  28. 2d950b1 [analyzer] Fix PR11282 - an assert in markAsSink by Anna Zaks · 13 years ago
  29. 6889679 [analyzer] Make sure the child builder use temporary destination sets by Anna Zaks · 13 years ago
  30. cdcc653 [analyzer] BranchNodeBuilder should not generate autotransitions. by Anna Zaks · 13 years ago
  31. a2a8603 [analyzer] CheckerContext::getPredecessor() cleanup by Anna Zaks · 13 years ago
  32. 6706e97 [analyzer] Remove the CheckerContext's destructor. by Anna Zaks · 13 years ago
  33. 51f4708 Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it will by Richard Smith · 13 years ago
  34. 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
  35. 4d2ae4a [analyzer] Move enqueueEndOfFunction into CoreEngine. by Anna Zaks · 13 years ago
  36. dd7ddf2 [analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes. by Anna Zaks · 13 years ago
  37. 39ac187 [analyzer] Add getLocationContext to CheckerContext by Anna Zaks · 13 years ago
  38. 48468df [analyzer] Remove EmitBasicReport form CheckerContext. by Anna Zaks · 13 years ago
  39. 0bd6b11 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 13 years ago
  40. c03a39e [analyzer] GenericNodeBuilder -> NodeBuilder. by Anna Zaks · 13 years ago
  41. 6a93bd5 [analyzer] Remove getEngine() form CheckerContext by Anna Zaks · 13 years ago
  42. 063e088 [analyzer] Simplify CheckerContext by Anna Zaks · 13 years ago
  43. 2e9264a [analyzer] Remove unused headers. by Anna Zaks · 13 years ago
  44. f236b65 [analyzer] Make branch for condition callback use CheckerContext by Anna Zaks · 13 years ago
  45. af498a2 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 13 years ago
  46. ba0513d Implement support for dependent Microsoft __if_exists/__if_not_exists by Douglas Gregor · 13 years ago
  47. 58f6f1e Add source-level dominators analysis. Patch by Guoping Long! by Ted Kremenek · 13 years ago
  48. aa0aeb1 [analyzer] Node builders cleanup + comments by Anna Zaks · 13 years ago
  49. cca79db [analyzer] Remove the old StmtNodeBuilder. by Anna Zaks · 13 years ago
  50. 056c4b4 [analyzer] Completely remove the global Builder object. by Anna Zaks · 13 years ago
  51. f185cc1 [analyzer] Remove more dependencies from global Builder by Anna Zaks · 13 years ago
  52. ebae6d0 [analyzer] Convert ExprEngine::visit() to use short lived builders. by Anna Zaks · 13 years ago
  53. d231d01 [analyzer] Convert VisitDeclStmt to use local node builder. by Anna Zaks · 13 years ago
  54. 6b6152b [analyzer] Convert more functions (ex:evalBind()) to iterative builders by Anna Zaks · 13 years ago
  55. 8ad8c54 [analyzer] Convert VisitUnaryOperator to use short lived Node builders by Anna Zaks · 13 years ago
  56. 8ff5c41 [analyzer] Use a temporary builder in CheckerContext. by Anna Zaks · 13 years ago
  57. 1aae01a [analyzer] Pass external Dst set to NodeBuilder by Anna Zaks · 13 years ago
  58. 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
  59. b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
  60. c9003c8 [analyzer] Move predecessor into the NodeBuilder context. by Anna Zaks · 13 years ago
  61. 4e82d3c [analyzer] Make NodeBuilder and Pred node loosely coupled by Anna Zaks · 13 years ago
  62. 3152b3c [analyzer] Remove StmtNodeBuilder from CheckerContext by Anna Zaks · 13 years ago
  63. 319a918 [analyzer] Subclassing StmtBuilder from the NodeBuilder by Anna Zaks · 13 years ago
  64. 67d9fba [analyzer] Remove dead code. ExprEngineBuilders is not used. by Anna Zaks · 13 years ago
  65. cd656ca [analyzer] Modularize builder use in processBranch. by Anna Zaks · 13 years ago
  66. ad62dee [analyzer] Pull Pred out of NodeBuilderContext. by Anna Zaks · 13 years ago
  67. a19f4af [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder. by Anna Zaks · 13 years ago
  68. f05aac8 [analyzer] Node Builder refactoring: Introduce a simple Node Builder responsible for generating the node frontier. by Anna Zaks · 13 years ago
  69. 85df96c Refactor static analyzer to use simpler interface to constant expression evaluation. by Richard Smith · 13 years ago
  70. b8989f2 Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 13 years ago
  71. 71fdf46 [analyzer] Remove an unused member variable. by Anna Zaks · 13 years ago
  72. 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
  73. c800f68 [analyzer] Fix a typo. by Anna Zaks · 13 years ago
  74. 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
  75. 276b061 Initial implementation of __atomic_* (everything except __atomic_is_lock_free). by Eli Friedman · 13 years ago
  76. 46eaf77 [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goodnow II! by Ted Kremenek · 13 years ago
  77. a6b8b2c Constant expression evaluation refactoring: by Richard Smith · 13 years ago
  78. 744f1cd Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by Jim Goodnow II. by Ted Kremenek · 13 years ago
  79. 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
  80. 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
  81. 63d3201 ProgramPoint cleanup after the previous commit r141408 (remove the copy constructor, mark withTag const). by Anna Zaks · 13 years ago
  82. 5e1cdac Rename TagDecl::isDefinition -> isCompleteDefinition by John McCall · 13 years ago
  83. 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
  84. 6ee5b93 Clang-side build system infrastructure for multiple tblgens. by Peter Collingbourne · 13 years ago
  85. 390909c [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. by Anna Zaks · 13 years ago
  86. 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
  87. 4eff823 [analyzer] Remove the last dependency on CheckerContext::getNodeBuilder() as well as the method itself. by Anna Zaks · 13 years ago
  88. 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
  89. cbb7add [analyzer] Removing more references to CheckerContext::getNodeBuilder(): ask CheckerContext to generate the nodes. by Anna Zaks · 13 years ago
  90. 5d0ea6d [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 13 years ago
  91. 8ba7214 [analyzer] Remove unused methods, add comments to others. by Anna Zaks · 13 years ago
  92. 3381a73 [analyzer] Remove redundant state (AnalysisContext pointer for every BinaryOperator tracked) from IdempotentOperationChecker. by Anna Zaks · 13 years ago
  93. 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
  94. 9c81bc2 [analyzer] Cleanup in UndefBranchChecker: by Anna Zaks · 13 years ago
  95. 491306a Allow getting all source locations of selector identifiers in a ObjCMethodDecl. by Argyrios Kyrtzidis · 13 years ago
  96. 6a835dd Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. by Ted Kremenek · 13 years ago
  97. 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
  98. 7df2ff4 Tweak the interface for analyzing the CF conventions for a name by John McCall · 13 years ago
  99. e4c6675 Fix crash when analyzing C++ code involving constant enums and switch statements (<rdar://problem/10202899>). by Ted Kremenek · 13 years ago
  100. 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