1. e1baed3 BugReporter (extensive diagnostics): improve location context generation for the by Ted Kremenek · 15 years ago
  2. c42e07e BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reason by Ted Kremenek · 15 years ago
  3. 69aa080 Implement attribute 'ns_autorelease'. by Ted Kremenek · 15 years ago
  4. e351aa1 Implement attribute 'cf_returns_owned' (mirrors 'ns_returns_owned'). by Ted Kremenek · 15 years ago
  5. 921b0b5 Fix unused variable warning by Ted Kremenek · 15 years ago
  6. 0ac5618 Remove possibly incorrect assertion that doesn't matter. by Ted Kremenek · 15 years ago
  7. d99b345 Remove experimental attribute 'ns_ownership_make_collectable.' by Ted Kremenek · 15 years ago
  8. 75494ff Rename attributes 'objc_ownership...' to 'ns_ownership...'. by Ted Kremenek · 15 years ago
  9. 4c6f8d3 BugReporter (extensive diagnostics): don't mark location contexts that are by Ted Kremenek · 15 years ago
  10. 65d80fd Fix false positive null dereference by unifying code paths in GRSimpleVals for by Ted Kremenek · 15 years ago
  11. 31c215e Rename attributes: by Ted Kremenek · 15 years ago
  12. ea4b4aa retain checker: Add checker support for FunctionDecl ownership annotations. Need to add Sema support. by Ted Kremenek · 15 years ago
  13. 05673d6 retain checker: Pull out logic for parameter annotations into a separate method. by Ted Kremenek · 15 years ago
  14. e401a0c retain checker: Don't treat function's declared in macros differently. by Ted Kremenek · 15 years ago
  15. c2eeb72 Add array index assertion: BasicStore should not expect any fancy by Ted Kremenek · 15 years ago
  16. cd9392f Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. by Ted Kremenek · 15 years ago
  17. 124838b Zhongxing already implemented this FIXME. by Ted Kremenek · 15 years ago
  18. b5b848e array indexes are unsigned integers of the same width as pointer. by Zhongxing Xu · 15 years ago
  19. 20bd746 BasicStore: 'ElementRegion' is the new 'TypedViewRegion'. by Ted Kremenek · 15 years ago
  20. fd6b4f3 Handle 'long x = 0; char *y = (char *) x;' by layering an by Ted Kremenek · 15 years ago
  21. f936f45 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 15 years ago
  22. 885c27b retain checker: by Ted Kremenek · 15 years ago
  23. 7faca82 retain checker: RetainSummaryManager now has a 'DefaultSummary' object by Ted Kremenek · 15 years ago
  24. 22fe248 retain checker: Don't bother using a FoldingSet to unique summaries. by Ted Kremenek · 15 years ago
  25. 9251143 Fix: <rdar://problem/6850275> CF objects returned from methods with "new" or "copy" in their name should be treated as owned by Ted Kremenek · 15 years ago
  26. b77449c Convert ArgEffects from an std::vector to an ImmutableMap. This will make it much easier to clean up the summary generation logic with annotations. by Ted Kremenek · 15 years ago
  27. eff4b3c Rename isTrackedObjectType() -> isTrackedObjCObjectType(). by Ted Kremenek · 15 years ago
  28. 3e001f3 region store: make Retrieve() can retrieve embedded array correctly. Also by Zhongxing Xu · 15 years ago
  29. dd924e2 retain/release checker: Enhance leak description to say that the bug by Ted Kremenek · 15 years ago
  30. 8ff59e8 Add a new BFS GRWorkList and make it the default worklist model for by Ted Kremenek · 15 years ago
  31. a8607d1 StoreManager::CastRegion: by Ted Kremenek · 15 years ago
  32. d91719a Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer. by Ted Kremenek · 15 years ago
  33. 7cb1bb3 Update CMake file. by Ted Kremenek · 15 years ago
  34. 8f9b1b3 BugReporter (extensive diagnostics): introduce the notion of a "dead" by Ted Kremenek · 15 years ago
  35. d1e1c40 Remove #if 0'ed code. by Ted Kremenek · 15 years ago
  36. 2cd1293 retain/release checker: Hook up attributes 'objc_ownership_retain' and by Ted Kremenek · 15 years ago
  37. 9f246b6 Handle case in EvalReturn where we cache out in the ExplodedGraph. by Ted Kremenek · 15 years ago
  38. 76a50e3 retain/release checker: Use the ObjCMethodDecl in the @implementation if no by Ted Kremenek · 15 years ago
  39. 70a6576 retain/release checker: Resolve method decl in @interface after getting the by Ted Kremenek · 15 years ago
  40. a883355 retain/release checker: When determining whether an analyzed method can return by Ted Kremenek · 15 years ago
  41. 8987a02 Format cleanup. No functionality change. by Ted Kremenek · 15 years ago
  42. da0e842 Fix null dereference. by Ted Kremenek · 15 years ago
  43. d49967f BugReporter/PathDiagnostics: by Ted Kremenek · 15 years ago
  44. 298862d Reformat long line. No functionality change. by Ted Kremenek · 15 years ago
  45. c887d13 retain/release checker: Hoist code for bug reports above transfer function logic by Ted Kremenek · 15 years ago
  46. 552333c Add version of getMethodSummary() that can be used to query the summary for the by Ted Kremenek · 15 years ago
  47. ce8a41d Rename getMethodSummary() -> getInstanceMethodSummary(). by Ted Kremenek · 15 years ago
  48. 5fa93d5 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 15 years ago
  49. 82539b0 MemRegion pretty-printing: Convert DeclName to a string to print out the actual by Ted Kremenek · 15 years ago
  50. 5c86b19 SymbolicRegions may also be live roots. by Zhongxing Xu · 15 years ago
  51. 8711c03 retain/release checker: Refactor getMethodSummary() to not depend on ObjCMessageExpr. by Ted Kremenek · 15 years ago
  52. f82af1e As discussed with Ted offline, re-apply r70293. by Zhongxing Xu · 15 years ago
  53. fcd7c6f retain/release checker: Refactor the guts of getClassMethodSummary to not depend by Ted Kremenek · 15 years ago
  54. bf20dbd Implement ownership attribute 'objc_ownership_make_collectable'. This allows one by Ted Kremenek · 15 years ago
  55. b9dda75 Revert 70293. by Ted Kremenek · 15 years ago
  56. 6fd644a Now we can remove the 'blast-through' code. by Zhongxing Xu · 15 years ago
  57. a902d55 Extensive diagnostics: Do not add a location context for do...while statements. by Ted Kremenek · 15 years ago
  58. 8bd4d03 BugReporter (extensive diagnostics): Clean up do...while control-flow edges, and by Ted Kremenek · 15 years ago
  59. c6a59e4 Add two new checker-specific attributes: 'objc_ownership_release' and by Ted Kremenek · 15 years ago
  60. e798e7c Track objects in GC mode returned by 'alloc', 'new', etc. methods. These are by Ted Kremenek · 15 years ago
  61. 4064de9 Add new checker-specific attribute 'objc_ownership_cfretain'. This is the same by Ted Kremenek · 15 years ago
  62. d3a413d Implement function-try-blocks. However, there's a very subtle bug that I can't track down. by Sebastian Redl · 15 years ago
  63. 9ec64d6 Minor code cleanup. by Eli Friedman · 15 years ago
  64. 16f0049 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 15 years ago
  65. 4da0427 Hook up attribute 'objc_ownership_retain' to the analyzer. This attribute allows by Ted Kremenek · 15 years ago
  66. 8650f08 Hook up __attribute__((objc_ownership_returns)) to the retain/release checker. by Ted Kremenek · 15 years ago
  67. 8ee885b Fix the same false positive reported in PR 2542 and <rdar://problem/6793409> by Ted Kremenek · 15 years ago
  68. ff11cd1 Minor refactoring: pass selector to getCommonMethodSummary(). No functionality by Ted Kremenek · 15 years ago
  69. 376d1e7 retain/release checker: more hacks to workaround false positives cause by by Ted Kremenek · 15 years ago
  70. 2e09bf6 Sentence case bug name. by Ted Kremenek · 15 years ago
  71. de4d533 retain/release checker: by Ted Kremenek · 15 years ago
  72. 250b1fa Refactor common logic in getMethodSummary() and getClassMethodSummary(). No by Ted Kremenek · 15 years ago
  73. 97d095f Further cleanups to isTrackedObjectType(). by Ted Kremenek · 15 years ago
  74. f9df136 retain/release checker: Don't call isTrackedObject() with the canonical type. by Ted Kremenek · 15 years ago
  75. 1f0186c retain/release checker: For class methods, only treat return values that are by Ted Kremenek · 15 years ago
  76. e87450e Per discussions with Ken Ferry and Paul Marks (<rdar://problem/6815234>) greatly by Ted Kremenek · 15 years ago
  77. b3cfd58 Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic by Ted Kremenek · 15 years ago
  78. 6f13235 BugReporter (extensive diagnostics): Recursively adjust the referred expression by Ted Kremenek · 15 years ago
  79. c2924d0 BugReporter (extensive diagnostics): Ignore parentheses when added control-flow by Ted Kremenek · 15 years ago
  80. 653f1b1 Eliminate the three SmallVectors in ObjCImplDecl (for instance by Douglas Gregor · 15 years ago
  81. 4c5fcd9 Add PathDiagnosticRange to PathDiagnostics. These simply wrap SourceRange and by Ted Kremenek · 15 years ago
  82. 4f5be3b BugReporter (extensive diagnostics): Use correct location for location contexts. by Ted Kremenek · 15 years ago
  83. 5c7168c BugReporter (extensive diagnostics): always add an edge if there is no location by Ted Kremenek · 15 years ago
  84. 404dd7a BugReporter (extensive diagnostics): by Ted Kremenek · 15 years ago
  85. a301a67 BugReporter (extensive diagnostic algorithm): The initial control-flow edge now by Ted Kremenek · 15 years ago
  86. 8f33290 PathDiagnosticLocation: ranges for terminators now only include the first by Ted Kremenek · 15 years ago
  87. 868210e Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr. by Ted Kremenek · 15 years ago
  88. 30d1b99 This patch is largely due to Zhongxing Xu. I've simply applied it because of by Ted Kremenek · 15 years ago
  89. af48fdd Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness by Ted Kremenek · 15 years ago
  90. ec751c4 Tweak pretty-printing of constraints. by Ted Kremenek · 15 years ago
  91. c62abc1 Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion' by Ted Kremenek · 15 years ago
  92. 72e0320 Recommit 69694 but this time also include the header changes (sorry for breaking by Ted Kremenek · 15 years ago
  93. a37221e Revert 69694 (use of undefined getSymbol) by Daniel Dunbar · 15 years ago
  94. e051308 Add pretty-printing for CodeTextRegions. by Ted Kremenek · 15 years ago
  95. 5639a3e Lexically order the implementation of MemRegion 'print' methods. No functionality change. by Ted Kremenek · 15 years ago
  96. 4abbea6 Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle any by Ted Kremenek · 15 years ago
  97. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 15 years ago
  98. 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 15 years ago
  99. 0a095fb As we now have ValueManager as the new value factory, we do not need factory by Zhongxing Xu · 15 years ago
  100. 7297134 FunctionDecl::getBody() is getting an ASTContext argument for use in by Douglas Gregor · 15 years ago