Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / bb092bafa984e9fa05136b5cef40fd4374dea0f6 / lib / Analysis / GRExprEngine.cpp
  1. 54d76db Remove some dead variables clang-analyzer found. by Benjamin Kramer · 16 years ago
  2. 9c825c3 Fix typo spotted by MSVC. by Benjamin Kramer · 16 years ago
  3. 919f066 Teach GRExprEngine to handle the initialization of the condition variable of a ForStmt. by Ted Kremenek · 16 years ago
  4. 4c508a1 Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt. by Ted Kremenek · 16 years ago
  5. fcfb503 Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt. by Ted Kremenek · 16 years ago
  6. 61dfbec Add CFG support for the condition variable that can appear in IfStmts in C++ mode. by Ted Kremenek · 16 years ago
  7. e59df87 Add stack trace pretty printing in GRExprEngine::VisitLValue(). by Ted Kremenek · 16 years ago
  8. c8be365 Teach GRExprEngine::VisitLValue to ignore CXXExprWithTempories (for now). by Ted Kremenek · 16 years ago
  9. 7931c93 Teach GRExprEngine::VisitLValue that we don't handle CXXZeroInitValueExprs yet. by Ted Kremenek · 16 years ago
  10. 077a40d Also treat the type of the subexpression as a pointer in GRExprEngine::VisitCast when the expression is handled as an lvalue. by Ted Kremenek · 16 years ago
  11. 949bdb4 Add basic support for analyzing CastExprs as lvalues. by Ted Kremenek · 16 years ago
  12. 38ac4f5 Add transfer functions support for visiting an Objective-C message expression as an lvalue when the return type is a C++ reference. by Ted Kremenek · 16 years ago
  13. 5328751 Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncovered a new failing test case along the way, but we're making progress on handling C++ references in the analyzer. by Ted Kremenek · 16 years ago
  14. 7f14e6f Tweak formatting and comments. by Ted Kremenek · 16 years ago
  15. 3cead90 Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion to evaluate the arguments of a CallExpr. This simplifies the logic and makes it easier to read. (it also avoids any issues with blowing out the stack if the CallExpr had a ridiculous number of arguments) by Ted Kremenek · 16 years ago
  16. 5974ec5 Reduce nesting by using early exits. No functionality change. by Ted Kremenek · 16 years ago
  17. 82a64e5 Sort switch statement. No functionality change. by Ted Kremenek · 16 years ago
  18. 5f75f92 Fix check in GRExprEngine for the 'main' function to handle NULL IdentifierInfo*'s. by Ted Kremenek · 16 years ago
  19. bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 16 years ago
  20. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 16 years ago
  21. c768a0c Start the ball rolling on C++ support in the static analyzer. For by Ted Kremenek · 16 years ago
  22. 5348f94 Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference by Ted Kremenek · 16 years ago
  23. 7fbb1ba Use insert to avoid destroying existing nodes. by Zhongxing Xu · 16 years ago
  24. 1ec4e97 Refactor OSAtomic evaluation logic into OSAtomicChecker. by Zhongxing Xu · 16 years ago
  25. 78c98fa Use a temporary destination set such that we can clear fake auto transitions. by Zhongxing Xu · 16 years ago
  26. 2f4a6b2 OSAtomic simulation: use the original region as the location to load from, by Zhongxing Xu · 16 years ago
  27. a92bd30 remove dead code. by Zhongxing Xu · 16 years ago
  28. 9f68ea2 Insert instead of assign to the dest node set, since we use the dest node set by Zhongxing Xu · 16 years ago
  29. 17f4da8 Fix a horrid bug in GRExprEngine::CheckerVisit() that was identified by Ted Kremenek · 16 years ago
  30. 7c9624b Refactor builtin function evaluation into a checker. by Zhongxing Xu · 16 years ago
  31. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 16 years ago
  32. 935ef90 Add EvalCallExpr interface to checker, and migrate the no-return function by Zhongxing Xu · 16 years ago
  33. a46e4d9 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 16 years ago
  34. 47491f8 Eliminate another VISIBILITY_HIDDEN by Douglas Gregor · 16 years ago
  35. 006b0eb Adapt to the DOTGraphTraits changes in LLVM. by Tobias Grosser · 16 years ago
  36. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
  37. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 16 years ago
  38. 6607861 Add post-visit Checker support in GRExprEngine for BlockExpr. by Ted Kremenek · 16 years ago
  39. 32c4995 Make RegisterInternalChecks() part of GRExprEngine's private implementation by making it a static function within GRExprEngine.cpp. by Ted Kremenek · 16 years ago
  40. c80135b Register internal checks with GRExprEngine when it is constructed, not manually in AnalysisConsumer.cpp. by Ted Kremenek · 16 years ago
  41. b801b73 When dispatching to Checker objects in GRExprEngine::CheckerVisit(), by Ted Kremenek · 16 years ago
  42. c95ad9f Add transfer function support for BlockExpr. by Ted Kremenek · 16 years ago
  43. fee96e0 Cleanups and fixes to the nil-receiver checker, some of it fallout the by Ted Kremenek · 16 years ago
  44. 668399b Refactor undefined result checker. This is the last one. by Zhongxing Xu · 16 years ago
  45. 2055eff Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 16 years ago
  46. 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 16 years ago
  47. 0835e4c Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder by Zhongxing Xu · 16 years ago
  48. 9787d0a Undefined compound assignment result is checked in UndefinedAssignmentChecker. So this check is redundant. by Zhongxing Xu · 16 years ago
  49. 23e3156 Remove invalid comments. The result is undefined only when operands are undefined. by Zhongxing Xu · 16 years ago
  50. c79d7d4 Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. by Ted Kremenek · 16 years ago
  51. 64fa858 More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. by Ted Kremenek · 16 years ago
  52. 00b1ad2 Revert r89437 and add a comment. by Zhongxing Xu · 16 years ago
  53. 3b57dc0 It's unnecessary to check for unknown at this point. by Zhongxing Xu · 16 years ago
  54. 638b9c3 Remove printf statement. by Ted Kremenek · 16 years ago
  55. 243fde9 Add EvalEndPath interface to Checker. Now we can check memory leaked at the by Zhongxing Xu · 16 years ago
  56. c5419cc Clear the dest set. by Zhongxing Xu · 16 years ago
  57. 652be34 * Do the same thing to the basicstore as in r84163. by Zhongxing Xu · 16 years ago
  58. 1eacb72 Remove an unused parameter. by Zhongxing Xu · 16 years ago
  59. 73099bf Move definition of GRExprEngine::ProcessEndPath() out-of-line. by Ted Kremenek · 16 years ago
  60. 9400613 Check in a new interface of Checker, which will soon be used. by Zhongxing Xu · 16 years ago
  61. ccd373a GRStateManager::CurrentStmt is not used. Remove it. by Zhongxing Xu · 16 years ago
  62. 31a241a Enhance Checker class (and GRExprEngine) to support PostVisitation for CallExprs. No clients (yet). by Ted Kremenek · 16 years ago
  63. 7422db3 Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, and was easily inlined. by Ted Kremenek · 16 years ago
  64. 10f51e8 Remove some stale ErrorNodes variables in GRExprEngine and the old buffer overflow logic in GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago
  65. d694485 Add undefined array subscript checker. by Zhongxing Xu · 16 years ago
  66. 6cc46ed Remove the old out-of-bound checking code. by Zhongxing Xu · 16 years ago
  67. b4b817d Refactor DereferenceChecker to use only the new Checker API instead of by Ted Kremenek · 16 years ago
  68. 3958b50 Fix clang's use of DenseMap iterators after r86636 fixed their constness. by Jeffrey Yasskin · 16 years ago
  69. 99ef53a Remove stale FIXME. by Ted Kremenek · 16 years ago
  70. 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 16 years ago
  71. ae16233 Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclStmt()), and refactor VLASizeChecker to have only one Checker subclass (not two) and to not use the node builders directly (and instead use the newer CheckerContext). by Ted Kremenek · 16 years ago
  72. 1053d24 static analyzer: refactor checking logic for returning the address of a stack variable or a garbage by Ted Kremenek · 16 years ago
  73. 50ecd15 Modify GRExprEngine::EvalBind() to take both a "store expression" and by Ted Kremenek · 16 years ago
  74. b107c4b Catch uses of undefined values when they are used in assignment, thus catching such bugs closer to the source. by Ted Kremenek · 16 years ago
  75. f6f56d4 Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*, and modify GRExprEngine::EvalBind() to handle decl initialization as well. This paves the way for adding "checker" visitation in EvalBind(). by Ted Kremenek · 16 years ago
  76. 1fb7d0c Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a BugReporter&. This paves the way for pulling some of the retain/release checker into a "Checker" class. by Ted Kremenek · 16 years ago
  77. 5206f0b Pull VLA size checker into its own files. by Zhongxing Xu · 16 years ago
  78. 54cb7cc Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode by Ted Kremenek · 16 years ago
  79. 0296c22 Remove GRExprEngine::CheckerVisitLocation(). It was only called in one place, so we inlined it in to GRExprEngine::EvalLocation(). by Ted Kremenek · 16 years ago
  80. 12e6f03 Tighten computation of ExprVal using ?: expression. No functionality change. by Ted Kremenek · 16 years ago
  81. 094bef5 Make checkers run in deterministic order. by Ted Kremenek · 16 years ago
  82. 662174ca Fix PR5316: make assignment expressions can be visited as lvalue. Then we by Zhongxing Xu · 16 years ago
  83. 5bbe789 Handle loading of field values from LazyCompoundVals in GRExprEngine::VisitMemberExpr(). by Ted Kremenek · 16 years ago
  84. ec9227f Move NullDeref and UndefDeref into their own checker. by Zhongxing Xu · 16 years ago
  85. 55d3f7a [llvm up] by Douglas Gregor · 16 years ago
  86. 99f3b79 'error' is usually used as a noreturn function. This can suppress some false by Zhongxing Xu · 16 years ago
  87. a2813ce Eliminate QualifiedDeclRefExpr, which captured the notion of a by Douglas Gregor · 16 years ago
  88. 73af2d5 Simplify some code. No functionality change. by Zhongxing Xu · 16 years ago
  89. 01eb9b9 PR5218: Replace IdentifierInfo::getName with StringRef version, now that clients by Daniel Dunbar · 16 years ago
  90. 5ffe14c Move misc clients to IdentifierInfo StringRef API. by Daniel Dunbar · 16 years ago
  91. e013d68 Move clients to use IdentifierInfo::getNameStart() instead of getName() by Daniel Dunbar · 16 years ago
  92. 092a9a9 Remove dead code. by Zhongxing Xu · 16 years ago
  93. d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 16 years ago
  94. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 16 years ago
  95. 8780679 Fix: by Ted Kremenek · 16 years ago
  96. 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 16 years ago
  97. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 16 years ago
  98. 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 16 years ago
  99. 7682302 Remove ImplicitBadDivides/ExplicitBadDivides node sets. This checking is now down by a 'Checker' and not build into GRExprEngine. by Ted Kremenek · 16 years ago
  100. aab7efe Per feedback from Eli, recognize in the transfer function logic for by Ted Kremenek · 16 years ago