- c23c7e6 Change uses of: by Ted Kremenek · 16 years ago
- 87a7a45 Remove some uses of TypedViewRegion, and use getBaseRegion() in a context where by Ted Kremenek · 16 years ago
- bfd28fd Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 16 years ago
- 8be5138 Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memory by Ted Kremenek · 16 years ago
- 8a286fb Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
- e3fb4b6 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
- 79d1215 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 16 years ago
- 7cae42b This patch includes a conceptually simple, but very intrusive/pervasive change. by Steve Naroff · 16 years ago
- 1796772 Remove dead code. by Zhongxing Xu · 16 years ago
- 0578e43 Fix <rdar://problem/7033733>. The CF_RETURNS_RETAINED attribute should work if the return type on an Objective-C method is a CF type reference, not just an Objective-C object reference. by Ted Kremenek · 16 years ago
- e1a3ace Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 16 years ago
- 1fb1cf4 Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 16 years ago
- cfbfe78 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 16 years ago
- ddcd132 Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 16 years ago
- b4b64ca Remove the ASTContext parameter from the attribute-related methods of Decl. by Argyrios Kyrtzidis · 16 years ago
- 4744d56 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 16 years ago
- 6f61070 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 16 years ago
- 1642bda Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
- 799bb6e Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
- 8cf2021 Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
- 404b132 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 16 years ago
- 7718ae4 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
- fb87e30 MemRegions: by Ted Kremenek · 16 years ago
- 095f1a9 Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 16 years ago
- f990684 libAnalysis: by Ted Kremenek · 16 years ago
- 78bd61f Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 16 years ago
- d93c6e3 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 16 years ago
- 89a303c Remove another dependency on GRStateRef. by Ted Kremenek · 16 years ago
- 96aa146 Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] misinterpreted by clang scan-build by Ted Kremenek · 16 years ago
- 3092e9c Fix: <rdar://problem/6961230> add knowledge of IOKit functions to retain/release checker by Ted Kremenek · 16 years ago
- ea675cf Add summary lookup for IOServiceGetMatchingService. Convert tabs to spaces. by Ted Kremenek · 16 years ago
- a74ead4 Refactor some function name -> summary lookup using a switch statement. by Ted Kremenek · 16 years ago
- a03705c Fix: by Ted Kremenek · 16 years ago
- ea1c221 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 16 years ago
- 1036912 Add special cases to retain checker for 'create' methods in QCView, QCRenderer, and CIContext (Apple APIs). by Ted Kremenek · 16 years ago
- 501ba03 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
- e4302ee 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
- 3281977 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
- 4785e41 Remove extra whitespace character in string literal. Purely cosmetic. by Ted Kremenek · 16 years ago
- f9fa3cb Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a retained object. by Ted Kremenek · 16 years ago
- 5801f65 Fix crasher reported in PR 4209 caused by an invalid summary by Ted Kremenek · 16 years ago
- 051a03d Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking. by Ted Kremenek · 16 years ago
- 1272f70 Fix: <rdar://problem/6320065> false positive - init method returns an object owned by caller by Ted Kremenek · 16 years ago
- 08a2ede Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
- 95d1819 Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the same treatment as CF objects by Ted Kremenek · 16 years ago
- 97f75f8 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
- d0e3ab2 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
- dc7853c 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
- 52091db TypedRegion is a too general assumption. Usually we only want to invalidate by Zhongxing Xu · 16 years ago
- 1f8e434 Add special warning about returning a retained object where a GC'ed object is expected. by Ted Kremenek · 16 years ago
- dee56e3 retain/release checker: Flag a warning for non-owned objects returned by Ted Kremenek · 16 years ago
- 3978f79 analyzer: by Ted Kremenek · 16 years ago
- 34d04b3 As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
- c2de727 Add back analyzer support for ns_returns_retained and cf_returns_retained. by Ted Kremenek · 16 years ago
- 2d0ff62 It lives! The retain/release checker now tracks objects that are sent by Ted Kremenek · 16 years ago
- 8038f7b rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
- 9ec08aa More hacking on autorelease errors. We now can emit basic errors (disabled for by Ted Kremenek · 16 years ago
- d35272f Put most of the boilerplate logic in place for reporting autorelease errors. by Ted Kremenek · 16 years ago
- 8c8fb48 retain/release checker: Add stub for HandleAutoreleaseCounts. by Ted Kremenek · 16 years ago
- 884a899 retain/release checker: Refactor error-reporting code in EvalDeadSymbols and by Ted Kremenek · 16 years ago
- 3a0516b retain checker: Track the number of times a tracked object is sent by Ted Kremenek · 16 years ago
- 062c14b Remove experimental ownership attributes from Clang. by Ted Kremenek · 16 years ago
- 9157fbb Minor code cleanup in retain/release checker in preparation for some by Ted Kremenek · 16 years ago
- bb8d546 Refactor BugReporter interface to have a new 'BugReporterContext' and by Ted Kremenek · 17 years ago
- 0626df4 Fix analyzer regression reported in PR 4164: by Ted Kremenek · 17 years ago
- 213ff5a Implement attribute 'ns_autorelease'. by Ted Kremenek · 17 years ago
- 94c464e Implement attribute 'cf_returns_owned' (mirrors 'ns_returns_owned'). by Ted Kremenek · 17 years ago
- 6bdfcf4 Remove experimental attribute 'ns_ownership_make_collectable.' by Ted Kremenek · 17 years ago
- 0836a19 Rename attributes 'objc_ownership...' to 'ns_ownership...'. by Ted Kremenek · 17 years ago
- 5dbfa3f Rename attributes: by Ted Kremenek · 17 years ago
- 49a844e retain checker: Add checker support for FunctionDecl ownership annotations. Need to add Sema support. by Ted Kremenek · 17 years ago
- 863f68a retain checker: Pull out logic for parameter annotations into a separate method. by Ted Kremenek · 17 years ago
- df76e6d retain checker: Don't treat function's declared in macros differently. by Ted Kremenek · 17 years ago
- 1d9a267 retain checker: by Ted Kremenek · 17 years ago
- ff606a1 retain checker: RetainSummaryManager now has a 'DefaultSummary' object by Ted Kremenek · 17 years ago
- 1bff64e retain checker: Don't bother using a FoldingSet to unique summaries. by Ted Kremenek · 17 years ago
- 4b59ccb Fix: <rdar://problem/6850275> CF objects returned from methods with "new" or "copy" in their name should be treated as owned by Ted Kremenek · 17 years ago
- 7d79a5f 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 · 17 years ago
- b4cf4a5 Rename isTrackedObjectType() -> isTrackedObjCObjectType(). by Ted Kremenek · 17 years ago
- f1e7667 retain/release checker: Enhance leak description to say that the bug by Ted Kremenek · 17 years ago
- 2ff8a79 retain/release checker: Hook up attributes 'objc_ownership_retain' and by Ted Kremenek · 17 years ago
- b4e27a1 Handle case in EvalReturn where we cache out in the ExplodedGraph. by Ted Kremenek · 17 years ago
- 497df91 retain/release checker: Use the ObjCMethodDecl in the @implementation if no by Ted Kremenek · 17 years ago
- b2a143f retain/release checker: Resolve method decl in @interface after getting the by Ted Kremenek · 17 years ago
- 223a7d5 retain/release checker: When determining whether an analyzed method can return by Ted Kremenek · 17 years ago
- d6bef2e Format cleanup. No functionality change. by Ted Kremenek · 17 years ago
- 53cce5c Reformat long line. No functionality change. by Ted Kremenek · 17 years ago
- 6bd7870 retain/release checker: Hoist code for bug reports above transfer function logic by Ted Kremenek · 17 years ago
- 99fe169 Add version of getMethodSummary() that can be used to query the summary for the by Ted Kremenek · 17 years ago
- 3872430 Rename getMethodSummary() -> getInstanceMethodSummary(). by Ted Kremenek · 17 years ago
- 0b50fb1 retain/release checker: Refactor getMethodSummary() to not depend on ObjCMessageExpr. by Ted Kremenek · 17 years ago
- 3ee3044 As discussed with Ted offline, re-apply r70293. by Zhongxing Xu · 17 years ago
- 7686ffa retain/release checker: Refactor the guts of getClassMethodSummary to not depend by Ted Kremenek · 17 years ago
- 869292d Implement ownership attribute 'objc_ownership_make_collectable'. This allows one by Ted Kremenek · 17 years ago
- ea62bf4 Revert 70293. by Ted Kremenek · 17 years ago
- 6e304e6 Now we can remove the 'blast-through' code. by Zhongxing Xu · 17 years ago
- 84bfa2c Add two new checker-specific attributes: 'objc_ownership_release' and by Ted Kremenek · 17 years ago
- e663356 Track objects in GC mode returned by 'alloc', 'new', etc. methods. These are by Ted Kremenek · 17 years ago
- ebbef7d Add new checker-specific attribute 'objc_ownership_cfretain'. This is the same by Ted Kremenek · 17 years ago
- a7b98a7 Implement function-try-blocks. However, there's a very subtle bug that I can't track down. by Sebastian Redl · 17 years ago