- cc02553 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 16 years ago
- 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 16 years ago
- ac02f20 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 16 years ago
- c484381 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 16 years ago
- 292a5c0 Remove unused parameter BugReporter due to previous patch. by Zhongxing Xu · 16 years ago
- 25e695b Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 16 years ago
- 031ccc0 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 16 years ago
- c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 16 years ago
- 33a3138 Get rid of "smart" quotes. Per report on cfe-dev. by Eli Friedman · 16 years ago
- 6217b80 Change uses of: by Ted Kremenek · 16 years ago
- 5e77eba Remove some uses of TypedViewRegion, and use getBaseRegion() in a context where by Ted Kremenek · 16 years ago
- 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 16 years ago
- 614cc54 Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memory by Ted Kremenek · 16 years ago
- 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 16 years ago
- 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 16 years ago
- f495456 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 16 years ago
- 14108da This patch includes a conceptually simple, but very intrusive/pervasive change. by Steve Naroff · 16 years ago
- c7068ca Remove dead code. by Zhongxing Xu · 16 years ago
- 6d4b76d 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
- 313b6da Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 16 years ago
- 43e2aaf Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 16 years ago
- 17945a0 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 16 years ago
- 6fb0aee Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 16 years ago
- 40b598e Remove the ASTContext parameter from the attribute-related methods of Decl. by Argyrios Kyrtzidis · 16 years ago
- a03f157 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 16 years ago
- 6bd8a52 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 16 years ago
- 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
- 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 16 years ago
- 25e751a Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 16 years ago
- ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 16 years ago
- d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 16 years ago
- a43484a MemRegions: by Ted Kremenek · 16 years ago
- 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 16 years ago
- a591bc0 libAnalysis: by Ted Kremenek · 16 years ago
- 68584ed Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 16 years ago
- b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 16 years ago
- 3a77203 Remove another dependency on GRStateRef. by Ted Kremenek · 16 years ago
- 211a9c6 Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] misinterpreted by clang scan-build by Ted Kremenek · 16 years ago
- 39d88b0 Fix: <rdar://problem/6961230> add knowledge of IOKit functions to retain/release checker by Ted Kremenek · 16 years ago
- b04cb59 Add summary lookup for IOServiceGetMatchingService. Convert tabs to spaces. by Ted Kremenek · 16 years ago
- fc63aa3 Refactor some function name -> summary lookup using a switch statement. by Ted Kremenek · 16 years ago
- 547d495 Fix: by Ted Kremenek · 16 years ago
- b9d8db8 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 16 years ago
- 767d649 Add special cases to retain checker for 'create' methods in QCView, QCRenderer, and CIContext (Apple APIs). by Ted Kremenek · 16 years ago
- 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
- 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
- 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
- daec145 Remove extra whitespace character in string literal. Purely cosmetic. by Ted Kremenek · 16 years ago
- 3043766 Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a retained object. by Ted Kremenek · 16 years ago
- 70b6a83 Fix crasher reported in PR 4209 caused by an invalid summary by Ted Kremenek · 16 years ago
- 2033a95 Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking. by Ted Kremenek · 16 years ago
- 78a35a3 Fix: <rdar://problem/6320065> false positive - init method returns an object owned by caller by Ted Kremenek · 16 years ago
- 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
- 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
- 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
- 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
- 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
- 2e7c678 TypedRegion is a too general assumption. Usually we only want to invalidate by Zhongxing Xu · 16 years ago
- 82f2be5 Add special warning about returning a retained object where a GC'ed object is expected. by Ted Kremenek · 16 years ago
- e8720ce retain/release checker: Flag a warning for non-owned objects returned by Ted Kremenek · 16 years ago
- eaedfea analyzer: by Ted Kremenek · 16 years ago
- a82d8aa As discussed with Ted, rename TypedRegion::getObjectType() to by Zhongxing Xu · 16 years ago
- 4dd8fb4 Add back analyzer support for ns_returns_retained and cf_returns_retained. by Ted Kremenek · 16 years ago
- 6b62ec9 It lives! The retain/release checker now tracks objects that are sent by Ted Kremenek · 16 years ago
- ff69782 rename: MemRegion: RValueType => ObjectType LValueType => LocationType by Zhongxing Xu · 16 years ago
- 80c2418 More hacking on autorelease errors. We now can emit basic errors (disabled for by Ted Kremenek · 16 years ago
- 369de56 Put most of the boilerplate logic in place for reporting autorelease errors. by Ted Kremenek · 16 years ago
- f04dced retain/release checker: Add stub for HandleAutoreleaseCounts. by Ted Kremenek · 16 years ago
- 9d9d3a6 retain/release checker: Refactor error-reporting code in EvalDeadSymbols and by Ted Kremenek · 16 years ago
- f21332e retain checker: Track the number of times a tracked object is sent by Ted Kremenek · 16 years ago
- 008fc73 Remove experimental ownership attributes from Clang. by Ted Kremenek · 16 years ago
- ec31533 Minor code cleanup in retain/release checker in preparation for some by Ted Kremenek · 16 years ago
- 8966bc1 Refactor BugReporter interface to have a new 'BugReporterContext' and by Ted Kremenek · 16 years ago
- 4253051 Fix analyzer regression reported in PR 4164: by Ted Kremenek · 16 years ago
- 69aa080 Implement attribute 'ns_autorelease'. by Ted Kremenek · 16 years ago
- e351aa1 Implement attribute 'cf_returns_owned' (mirrors 'ns_returns_owned'). by Ted Kremenek · 16 years ago
- d99b345 Remove experimental attribute 'ns_ownership_make_collectable.' by Ted Kremenek · 16 years ago
- 75494ff Rename attributes 'objc_ownership...' to 'ns_ownership...'. by Ted Kremenek · 16 years ago
- 31c215e Rename attributes: by Ted Kremenek · 16 years ago
- ea4b4aa retain checker: Add checker support for FunctionDecl ownership annotations. Need to add Sema support. by Ted Kremenek · 16 years ago
- 05673d6 retain checker: Pull out logic for parameter annotations into a separate method. by Ted Kremenek · 16 years ago
- e401a0c retain checker: Don't treat function's declared in macros differently. by Ted Kremenek · 16 years ago
- 885c27b retain checker: by Ted Kremenek · 16 years ago
- 7faca82 retain checker: RetainSummaryManager now has a 'DefaultSummary' object by Ted Kremenek · 16 years ago
- 22fe248 retain checker: Don't bother using a FoldingSet to unique summaries. by Ted Kremenek · 16 years ago
- 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 · 16 years ago
- 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 · 16 years ago
- eff4b3c Rename isTrackedObjectType() -> isTrackedObjCObjectType(). by Ted Kremenek · 16 years ago
- dd924e2 retain/release checker: Enhance leak description to say that the bug by Ted Kremenek · 16 years ago
- 2cd1293 retain/release checker: Hook up attributes 'objc_ownership_retain' and by Ted Kremenek · 16 years ago
- 9f246b6 Handle case in EvalReturn where we cache out in the ExplodedGraph. by Ted Kremenek · 16 years ago
- 76a50e3 retain/release checker: Use the ObjCMethodDecl in the @implementation if no by Ted Kremenek · 16 years ago
- 70a6576 retain/release checker: Resolve method decl in @interface after getting the by Ted Kremenek · 16 years ago
- a883355 retain/release checker: When determining whether an analyzed method can return by Ted Kremenek · 16 years ago
- 8987a02 Format cleanup. No functionality change. by Ted Kremenek · 16 years ago
- 298862d Reformat long line. No functionality change. by Ted Kremenek · 16 years ago
- c887d13 retain/release checker: Hoist code for bug reports above transfer function logic by Ted Kremenek · 16 years ago
- 552333c Add version of getMethodSummary() that can be used to query the summary for the by Ted Kremenek · 16 years ago
- ce8a41d Rename getMethodSummary() -> getInstanceMethodSummary(). by Ted Kremenek · 16 years ago
- 8711c03 retain/release checker: Refactor getMethodSummary() to not depend on ObjCMessageExpr. by Ted Kremenek · 16 years ago