aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFRefCount.cpp
AgeCommit message (Expand)Author
2009-10-01Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves!Ted Kremenek
2009-09-27Fix:Ted Kremenek
2009-09-22Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via...Ted Kremenek
2009-09-21Change all the Type::getAsFoo() methods to specializations of Type::getAs().John McCall
2009-09-14Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a callTed Kremenek
2009-09-10Make AnalysisManager stateless. Now other analyzer components only depends onZhongxing Xu
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-28retain/release checker: [CIContext createCGImage...] and friends returned CFTed Kremenek
2009-08-27Rename 'bindExpr' to 'BindExpr'.Ted Kremenek
2009-08-27Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, g...Ted Kremenek
2009-08-25Remove CodeDecl and CFG from GRExprEngine and GRStateManager.Zhongxing Xu
2009-08-25Remove Decl and CFG from ExplodedGraph. This leads to a series small changes.Zhongxing Xu
2009-08-21Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.Ted Kremenek
2009-08-20retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:'Ted Kremenek
2009-08-20retain/release checker: Special case handling of CFAttributedStringSetAttribute,Ted Kremenek
2009-08-18Remove unused parameter BugReporter due to previous patch.Zhongxing Xu
2009-08-15Extend the ProgramPoint to include the context information LocationContext,Zhongxing Xu
2009-08-06Last step of template cleanup: merge *BuilderImpl to *Builder.Zhongxing Xu
2009-08-06As GRState seems general enough, it is time to merge some template classes Zhongxing Xu
2009-08-05Get rid of "smart" quotes. Per report on cfe-dev.Eli Friedman
2009-07-29Change uses of:Ted Kremenek
2009-07-29Remove some uses of TypedViewRegion, and use getBaseRegion() in a context whereTed Kremenek
2009-07-22Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek
2009-07-21Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memoryTed Kremenek
2009-07-17Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methodsTed Kremenek
2009-07-16Add member template 'Type::getAs<T>', which converts a Type* to a respective T*.Ted Kremenek
2009-07-16Remove ASTContext::isObjCObjectPointerType().Steve Naroff
2009-07-10This patch includes a conceptually simple, but very intrusive/pervasive change. Steve Naroff
2009-07-09Remove dead code.Zhongxing Xu
2009-07-06Fix <rdar://problem/7033733>. The CF_RETURNS_RETAINED attribute should work ...Ted Kremenek
2009-07-06Further cleanup of region invalidation code. No functionality change.Zhongxing Xu
2009-07-06Start to gradually move region invalidation code into store manager.Zhongxing Xu
2009-06-30De-ASTContext-ify DeclContext.Argyrios Kyrtzidis
2009-06-30Remove the ASTContext parameter from the getBody() methods of Decl and subcla...Argyrios Kyrtzidis
2009-06-30Remove the ASTContext parameter from the attribute-related methods of Decl.Argyrios Kyrtzidis
2009-06-29Invalidate the alloca region by setting its default value to conjured symbol.Zhongxing Xu
2009-06-28Invalidate a field of struct type by setting its default value to conjured Zhongxing Xu
2009-06-26Introduce a new concept to the static analyzer: SValuator.Ted Kremenek
2009-06-24Remove uses of std::ostream from libAnalysis.Ted Kremenek
2009-06-23Remove GRStateManager::getRegion/getSelfRegion().Ted Kremenek
2009-06-23Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR...Ted Kremenek
2009-06-23Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu
2009-06-23MemRegions:Ted Kremenek
2009-06-18Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-06-18Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.Douglas Gregor
2009-06-18Remove more dependencies on GRStateRef. As a consequence, we can nowTed Kremenek
2009-06-18Remove another dependency on GRStateRef.Ted Kremenek
2009-06-15Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] misint...Ted Kremenek
2009-06-15Fix: <rdar://problem/6961230> add knowledge of IOKit functions to retain/rele...Ted Kremenek