Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / b5deae519b1f86d514427c412d9f8873d93c909c / lib / Analysis
  1. b5deae5 Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely by Ted Kremenek · 15 years ago
  2. 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
  3. e622554 Educate the retain/release checker about [NSCursor dragCopyCursor]. by Ted Kremenek · 15 years ago
  4. 6fe2b7a retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 15 years ago
  5. 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
  6. 3bc4ffd Remove stale comment. by Ted Kremenek · 15 years ago
  7. 09270cc Now StoreManager::CastRegion() takes a MemRegion, returns a MemRegion. by Zhongxing Xu · 15 years ago
  8. 092a9a9 Remove dead code. by Zhongxing Xu · 15 years ago
  9. d0f8bb1 * Remove unused GRState* parameter * Make all Base value the last argument. by Zhongxing Xu · 15 years ago
  10. 008636a retain/release checker: Recognize that calls to by Ted Kremenek · 15 years ago
  11. 6240cf1 retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 15 years ago
  12. c9f4af6 Now we can call into another function with the CallInliner transfer function. by Zhongxing Xu · 15 years ago
  13. 4e3c1f7 Add an initial implementation of EnterStackFrame() to the StoreManager. by Zhongxing Xu · 15 years ago
  14. ee82d9b Use a BumpPtrAllocator to allocate all aspects of CFG, including CFGBlocks, successor and predecessor vectors, etc. by Ted Kremenek · 15 years ago
  15. 13d5017 Introduces a new BindingVal which combines direct and by Zhongxing Xu · 15 years ago
  16. 4f8c7e4 Make the behavior explicit by not using the method call. by Zhongxing Xu · 15 years ago
  17. bd48370 Remove unused code. by Zhongxing Xu · 15 years ago
  18. 14ea569 Installation of Clang libraries and headers, from Axel Naumann! by Douglas Gregor · 15 years ago
  19. 5fe4d9d Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding malloc() traffic when adding successors/predecessors to a node. This was done by introducing BumpVector, which is essentially SmallVector with all memory being BumpPtrAllocated (this can certainly be cleaned up or moved into llvm/ADT). by Ted Kremenek · 15 years ago
  20. 9e8710b Fix 'clang-cc -analyzer-display-progress' by flushing standard error after printing the name of the analyzed function. by Ted Kremenek · 15 years ago
  21. b1d0422 Fix crash introduced by r83358 where a symbol could be eagerly by Ted Kremenek · 15 years ago
  22. cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
  23. bb206fd Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 15 years ago
  24. bf1cc05 Desugaring optimizations. Add single-step desugaring methods to all by John McCall · 15 years ago
  25. f4526e3 Modify ASTLocation and apart from being a Decl or Stmt, allow it to also be: by Argyrios Kyrtzidis · 15 years ago
  26. 1ebd740 Add more const-goodness to ASTLocation. by Argyrios Kyrtzidis · 15 years ago
  27. 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
  28. 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
  29. a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
  30. 389c44c Revert r82939. We can only not special case FieldRegions when the super region has also been invalidated. by Ted Kremenek · 15 years ago
  31. 13c2000 Specially handle fields, elements, and ivars in by Ted Kremenek · 15 years ago
  32. bada1aa Add FIXME comment. by Ted Kremenek · 15 years ago
  33. 8780679 Fix: by Ted Kremenek · 15 years ago
  34. ce94049 Fix checking for a null pointer constant when the expression itself is by Douglas Gregor · 15 years ago
  35. 8041747 Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers. by Ted Kremenek · 15 years ago
  36. 6c24972 When building CFGs, no longer reverse the statements in the CFGBlock. Instead by Ted Kremenek · 15 years ago
  37. 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
  38. 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
  39. 112ba7e Shorten the static analyzer diagnostic for 'use of garbage value'. by Ted Kremenek · 15 years ago
  40. 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 15 years ago
  41. cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
  42. cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
  43. 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 15 years ago
  44. 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
  45. e0a5807 Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 15 years ago
  46. db8338a Reintroduce FoldingSet profiling for PathDiagnostics. by Ted Kremenek · 15 years ago
  47. 7f473c5 Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 15 years ago
  48. 6a19832 Introduce caching of diagnostics in BugReporter. This provides extra by Ted Kremenek · 15 years ago
  49. 7c039bf Have divide-by-zero checker not handled undefined denominators. This is handled by the generic checking for undefined operands for BinaryOperators. by Ted Kremenek · 15 years ago
  50. 7682302 Remove ImplicitBadDivides/ExplicitBadDivides node sets. This checking is now down by a 'Checker' and not build into GRExprEngine. by Ted Kremenek · 15 years ago
  51. 24c411b Fix static analyzer regression when emitting undefined value warnings by Ted Kremenek · 15 years ago
  52. aab7efe Per feedback from Eli, recognize in the transfer function logic for by Ted Kremenek · 15 years ago
  53. 6b0c6eb Fix typo in comment. by Ted Kremenek · 15 years ago
  54. e2b5744 Add static analyzer transfer function support for __builtin_offsetof. by Ted Kremenek · 15 years ago
  55. 06c9cb4 Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a call by Ted Kremenek · 15 years ago
  56. 90b6acf Implement FIXME: free up BugReportEquivClass objects when deleting BugTypes. by Ted Kremenek · 15 years ago
  57. 7814e6d Remove unnecessary ASTContext parameter from FunctionDecl::isBuiltinID by Douglas Gregor · 15 years ago
  58. af3280f Eliminate FunctionDecl::getBodyIfAvailable by Douglas Gregor · 15 years ago
  59. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  60. ea19b2f Update CMakeLists. by Benjamin Kramer · 15 years ago
  61. 66847a2 Start to add a new transfer function that inlines callee. To be continued. by Zhongxing Xu · 15 years ago
  62. b317f8f Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 15 years ago
  63. cfcd7fd Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method by Ted Kremenek · 15 years ago
  64. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  65. 0667db3 Fix buffer overflow reported in PR 4903. by Ted Kremenek · 15 years ago
  66. aeba284 pass the correct predecessor node. by Zhongxing Xu · 15 years ago
  67. a2f4ec0 Do not call FlushReports() in GRBugReporter's dtor. We already call it in by Zhongxing Xu · 15 years ago
  68. 248072a Refactor builtin function evaluation code into its own function. by Zhongxing Xu · 15 years ago
  69. 4e71ddb move the check into MarkNoReturnFunction. by Zhongxing Xu · 15 years ago
  70. 326d617 Extract mark-no-return-function code into a function. by Zhongxing Xu · 15 years ago
  71. e1ccccf Fix 80 column violations. by Ted Kremenek · 15 years ago
  72. 970e03a Fix regression introduced in r80786 and reported in PR 4867. We should use by Ted Kremenek · 15 years ago
  73. d2a8775 remove a debug output I introduced in the last commit. by Zhongxing Xu · 15 years ago
  74. 6403b57 Refactor the check for bad divide into a checker. by Zhongxing Xu · 15 years ago
  75. d99f361 Refactor bad callee check into a Checker. by Zhongxing Xu · 15 years ago
  76. 904e1e3 Still use BadArg bugtype in the checker. This saves us implement registerInitialVisitors by Zhongxing Xu · 15 years ago
  77. a97d54c Replace uses of ImmutableSet in SymbolReaper with DenseSet. This was by Ted Kremenek · 15 years ago
  78. 2465047 Implement: <rdar://problem/6337100> CWE-338: Use of cryptographically weak prng by Ted Kremenek · 15 years ago
  79. 27a36e9 Sentence-case bug category. by Ted Kremenek · 15 years ago
  80. 83f6faf Eliminate CXXAdornedMemberExpr entirely. Instead, optionally allocate by Douglas Gregor · 15 years ago
  81. 0979c80 Rename CXXQualifiedMemberExpr -> CXXAdornedMemberExpr, since we will by Douglas Gregor · 15 years ago
  82. 9a5bca3 Refactor undefined argument checking into a Checker. by Zhongxing Xu · 15 years ago
  83. a834fb4 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 15 years ago
  84. abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
  85. a818783 Use C++ style comments. by Ted Kremenek · 15 years ago
  86. 65a81a9 Implement: <rdar://problem/6337132> CWE-273: Failure to Check Whether Privileges by Ted Kremenek · 15 years ago
  87. e8d6d2b CFG construction: Abort CFG construction when processing a CompoundStmt if any by Ted Kremenek · 15 years ago
  88. 8e02934 Rename 'bindExpr' to 'BindExpr'. by Ted Kremenek · 15 years ago
  89. 6d2c657 Move the AnalysisContext* from GRState to Environment. by Ted Kremenek · 15 years ago
  90. c999496 Remove a unused member variable. Instead query the option from AnalysisManager. by Zhongxing Xu · 15 years ago
  91. 0fb0bc4 Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, greatly simplifying the logic of the analyzer in many places. We now only distinguish between block-level expressions and subexpressions in Environment::RemoveDeadBindings and GRState pretty-printing. by Ted Kremenek · 15 years ago
  92. bd4c4ae When a member reference expression includes a qualifier on the member by Douglas Gregor · 15 years ago
  93. ab2f43c Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781. by Ted Kremenek · 15 years ago
  94. bcf62a9 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers by Ted Kremenek · 15 years ago
  95. 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
  96. ff4264d Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp. by Ted Kremenek · 15 years ago
  97. 5032ffe Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 15 years ago
  98. cc02553 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 15 years ago
  99. 0878007 ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for by Ted Kremenek · 15 years ago
  100. 9983cc1 Don't try to evaluate an expression that is type- or value-dependent while building the CFG by Douglas Gregor · 15 years ago