Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 9af46f59242cfaec74fa491a66724970478263eb / lib / Analysis
  1. 9af46f5 RegionStoreManager: by Ted Kremenek · 16 years ago
  2. 143b2fc Use canonical type for building ElementRegion. Otherwise ElementRegions cannot by Zhongxing Xu · 16 years ago
  3. 78d5b5e Do not invalidate unboundable regions in GRSimpleVals::EvalCall(). by Zhongxing Xu · 16 years ago
  4. 211a9c6 Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] misinterpreted by clang scan-build by Ted Kremenek · 16 years ago
  5. 39d88b0 Fix: <rdar://problem/6961230> add knowledge of IOKit functions to retain/release checker by Ted Kremenek · 16 years ago
  6. 1b63e4f Sink the BuiltinInfo object from ASTContext into the by Chris Lattner · 16 years ago
  7. f0ec39a Stop tracking non-compound value for struct. It may be caused by imprecise cast by Zhongxing Xu · 16 years ago
  8. 53454dc use getAsPointerType() method. by Zhongxing Xu · 16 years ago
  9. b04cb59 Add summary lookup for IOServiceGetMatchingService. Convert tabs to spaces. by Ted Kremenek · 16 years ago
  10. fc63aa3 Refactor some function name -> summary lookup using a switch statement. by Ted Kremenek · 16 years ago
  11. 3f6978a Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
  12. b7507d1 Use more robust getAsRecordType() method. by Zhongxing Xu · 16 years ago
  13. 547d495 Fix: by Ted Kremenek · 16 years ago
  14. b9d8db8 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 16 years ago
  15. 767d649 Add special cases to retain checker for 'create' methods in QCView, QCRenderer, and CIContext (Apple APIs). by Ted Kremenek · 16 years ago
  16. 9184412 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
  17. 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  18. ba67f6a Fix PR 4230: Don't flag leaks of NSAutoreleasePools until we know that we aren' at the top-most scope of autorelease pools. by Ted Kremenek · 16 years ago
  19. 4e60900 Silence a Release-Asserts warning. by Daniel Dunbar · 16 years ago
  20. fae664a Fix: <rdar://problem/6893565> False positive: don't flag leaks for return types that cannot be determined to be CF types by Ted Kremenek · 16 years ago
  21. 938332c Fix another bug in BugReporter where we wouldn't always select the bug report in a bug equivalence class with the shortest path. by Ted Kremenek · 16 years ago
  22. 7db1604 Fix crash when deriving the enclosing summary of a method whose first selector slot has a null IdentifierInfo*. This happens when analyzing Growl. by Ted Kremenek · 16 years ago
  23. daec145 Remove extra whitespace character in string literal. Purely cosmetic. by Ted Kremenek · 16 years ago
  24. 725b747 Use dyn_cast instead of cast to allow our assumptions to be safely wrong. by Ted Kremenek · 16 years ago
  25. 85ac934 Cleanup internal checks bug reporting, allowing intermediate diagnostics to be generated for bad argument warnings, bad branches, etc. by Ted Kremenek · 16 years ago
  26. 07c015c BugReporter (extensive diagnostics): Do not include the range of target '}' by Ted Kremenek · 16 years ago
  27. 1e63c29 PathDiagnosticLocation::asRange(): for a PathDiagnosticLocation, the range of a DeclStmt is only the decl, not by Ted Kremenek · 16 years ago
  28. ddb7bab BugReporter (extensive diagnostics): Add control-flow piece to '}' in by Ted Kremenek · 16 years ago
  29. 3043766 Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a retained object. by Ted Kremenek · 16 years ago
  30. 0c31317 Enhance diagnostics value tracking logic for null dereferences and uninitialized values. by Ted Kremenek · 16 years ago
  31. 70b6a83 Fix crasher reported in PR 4209 caused by an invalid summary by Ted Kremenek · 16 years ago
  32. 2033a95 Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking. by Ted Kremenek · 16 years ago
  33. 78a35a3 Fix: <rdar://problem/6320065> false positive - init method returns an object owned by caller by Ted Kremenek · 16 years ago
  34. 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
  35. 6738b73 Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the same treatment as CF objects by Ted Kremenek · 16 years ago
  36. 3ef538d BugReport::getEndPath() - Only add a Stmt's range to the constructed PathDiagnosticEventPiece if the BugReport contained no explicit ranges. by Ted Kremenek · 16 years ago
  37. 109bf47 When stripping element regions for invalidating region values, treat FieldRegions and ObjCIvarRegions as "base" regions in addition to VarRegions. by Ted Kremenek · 16 years ago
  38. e88a170 EdgeBuilder: DeclStmts and BinaryOperators are not the enclosing location context when they are used as initialization code for loops. by Ted Kremenek · 16 years ago
  39. 9650cf3 EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constructor for a single point, not a range. by Ted Kremenek · 16 years ago
  40. 8c8b0ad BugReporter (extensive diagnostics): Add EdgeBuilder::cleanUpLocation for canonicalization locations and use this in both popLocation and rawAddEdge. by Ted Kremenek · 16 years ago
  41. ebd5a2d Fix regression reported in <rdar://problem/6866843>. The analyzer should extend the lifetime of an object stored to a container. by Ted Kremenek · 16 years ago
  42. 95d3b90 Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] autorelease]' would emit a false 'too many overreleases' error. by Ted Kremenek · 16 years ago
  43. 2e7c678 TypedRegion is a too general assumption. Usually we only want to invalidate by Zhongxing Xu · 16 years ago
  44. c87d5fb When retrieving an ElementRegion, if its super region is a StringRegion, by Zhongxing Xu · 16 years ago
  45. 2ee5214 Fix a bug that leads to infinite loop. Set the correct element type to by Zhongxing Xu · 16 years ago
  46. 82f2be5 Add special warning about returning a retained object where a GC'ed object is expected. by Ted Kremenek · 16 years ago
  47. e8720ce retain/release checker: Flag a warning for non-owned objects returned by Ted Kremenek · 16 years ago
  48. eaedfea analyzer: by Ted Kremenek · 16 years ago
  49. 5bf3287 When casting VarRegion, if the var type is aggregate type and the cast-to by Zhongxing Xu · 16 years ago
  50. 75eb5ba Remove the rest TypedViewRegion processing code. There should be no by Zhongxing Xu · 16 years ago
  51. c4761f5 When evaluating pointer arithmetic, if the base location is a symbolic region, by Zhongxing Xu · 16 years ago
  52. 8a9bf4a Do not create a TypedViewRegion when the base struct region is a symbolic by Zhongxing Xu · 16 years ago
  53. ce76078 Do not layer a TypedViewRegion when casting symbolic or alloca regions. by Zhongxing Xu · 16 years ago
  54. db3a098 Remove the case for casting to compatible type in by Zhongxing Xu · 16 years ago
  55. d9b6ad6 Rename: by Zhongxing Xu · 16 years ago
  56. a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
  57. 4dd8fb4 Add back analyzer support for ns_returns_retained and cf_returns_retained. by Ted Kremenek · 16 years ago
  58. 6b62ec9 It lives! The retain/release checker now tracks objects that are sent by Ted Kremenek · 16 years ago
  59. ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
  60. 80c2418 More hacking on autorelease errors. We now can emit basic errors (disabled for by Ted Kremenek · 16 years ago
  61. 369de56 Put most of the boilerplate logic in place for reporting autorelease errors. by Ted Kremenek · 16 years ago
  62. f04dced retain/release checker: Add stub for HandleAutoreleaseCounts. by Ted Kremenek · 16 years ago
  63. a3eda83 Fix PR4182. by Zhongxing Xu · 16 years ago
  64. 9d9d3a6 retain/release checker: Refactor error-reporting code in EvalDeadSymbols and by Ted Kremenek · 16 years ago
  65. ab422d1 Make BlockEntrace program points taggable. by Ted Kremenek · 16 years ago
  66. f21332e retain checker: Track the number of times a tracked object is sent by Ted Kremenek · 16 years ago
  67. 008fc73 Remove experimental ownership attributes from Clang. by Ted Kremenek · 16 years ago
  68. 2572eda Region store: when casting VarRegions, if the cast-to pointee type is by Zhongxing Xu · 16 years ago
  69. fb1e331 Replace the heuristic isSmallerThan with ASTContext::getTypeSize(). by Zhongxing Xu · 16 years ago
  70. e6536af Replace getTypeWidth() with ASTContext::getTypeSize(). by Zhongxing Xu · 16 years ago
  71. a15f7ac Revert r71079. by Zhongxing Xu · 16 years ago
  72. 25258f8 Fix <rdar://problem/6845148>. Signed integers compared against pointers should by Ted Kremenek · 16 years ago
  73. ec31533 Minor code cleanup in retain/release checker in preparation for some by Ted Kremenek · 16 years ago
  74. 7704a33 More attribute renaming: by Ted Kremenek · 16 years ago
  75. 7090d54 analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for by Ted Kremenek · 16 years ago
  76. dd986cc Add preliminary support for enhancing null-pointer dereference diagnostics. by Ted Kremenek · 16 years ago
  77. 8966bc1 Refactor BugReporter interface to have a new 'BugReporterContext' and by Ted Kremenek · 16 years ago
  78. 4253051 Fix analyzer regression reported in PR 4164: by Ted Kremenek · 16 years ago
  79. 41fd018 Improve RegionStoreManager::getSizeInElements() by Zhongxing Xu · 16 years ago
  80. 2079494 Add a GDM for recording the cast type of regions. by Zhongxing Xu · 16 years ago
  81. 4c44e24 The super region of ElementRegion no longer needs to be TypedRegion. In the by Zhongxing Xu · 16 years ago
  82. ccb1616 Implement a heuristic type size comparison method for now. by Zhongxing Xu · 16 years ago
  83. 02f7ed7 remove commented code. by Zhongxing Xu · 16 years ago
  84. 8898059 Make StoreManager::CastRegion() virtual and implement a new CastRegion() for by Zhongxing Xu · 16 years ago
  85. e1baed3 BugReporter (extensive diagnostics): improve location context generation for the by Ted Kremenek · 16 years ago
  86. c42e07e BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reason by Ted Kremenek · 16 years ago
  87. 69aa080 Implement attribute 'ns_autorelease'. by Ted Kremenek · 16 years ago
  88. e351aa1 Implement attribute 'cf_returns_owned' (mirrors 'ns_returns_owned'). by Ted Kremenek · 16 years ago
  89. 921b0b5 Fix unused variable warning by Ted Kremenek · 16 years ago
  90. 0ac5618 Remove possibly incorrect assertion that doesn't matter. by Ted Kremenek · 16 years ago
  91. d99b345 Remove experimental attribute 'ns_ownership_make_collectable.' by Ted Kremenek · 16 years ago
  92. 75494ff Rename attributes 'objc_ownership...' to 'ns_ownership...'. by Ted Kremenek · 16 years ago
  93. 4c6f8d3 BugReporter (extensive diagnostics): don't mark location contexts that are by Ted Kremenek · 16 years ago
  94. 65d80fd Fix false positive null dereference by unifying code paths in GRSimpleVals for by Ted Kremenek · 16 years ago
  95. 31c215e Rename attributes: by Ted Kremenek · 16 years ago
  96. ea4b4aa retain checker: Add checker support for FunctionDecl ownership annotations. Need to add Sema support. by Ted Kremenek · 16 years ago
  97. 05673d6 retain checker: Pull out logic for parameter annotations into a separate method. by Ted Kremenek · 16 years ago
  98. e401a0c retain checker: Don't treat function's declared in macros differently. by Ted Kremenek · 16 years ago
  99. c2eeb72 Add array index assertion: BasicStore should not expect any fancy by Ted Kremenek · 16 years ago
  100. cd9392f Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. by Ted Kremenek · 16 years ago