- 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
- 2ffbfd9 Add value invalidation logic for block-captured variables. Conceptually invoking a block (without specific reasoning of what the block does) can invalidate any value to it by reference when the block was created. by Ted Kremenek · 15 years ago
- 81a9583 Add batch version of 'StoreManager::InvalidateRegion()' for invalidating multiple regions as once. After adopting this in the CFRefCount::EvalCall(), we see a reduction in analysis time of 1.5% when analyzing all of SQLite3. by Ted Kremenek · 15 years ago
- a46e4d9 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 15 years ago
- f017173 Port BugReporter and BugType to StringRef. by Benjamin Kramer · 15 years ago
- ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
- 38cc6bc Add a PostVisitBlockExpr() method to RetainReleaseChecker to query for by Ted Kremenek · 15 years ago
- 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
- d593eb9 Add a new RetainReleaseChecker class (that subclasses CheckerVisitor) to extend the functionality of the retain/release checker using the new Checker interface. Pieces of CFRefCount will gradually be migrated to this new class over time. by Ted Kremenek · 15 years ago
- d295bae Move RegisterChecks() to the end of the file. No functionality change. by Ted Kremenek · 15 years ago
- 772250c Add really basic support for blocks in the retain/release checker. For now, anytime we pass a tracked object to a block call we stop tracking it. by Ted Kremenek · 15 years ago
- 2055eff Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 15 years ago
- a4923eb First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 15 years ago
- f0d8fff Pull static variable within function (for slightly faster startup time). by Ted Kremenek · 15 years ago
- b7ddd9b retain/release checker: refactor some of the summary lookup logic for instance method summaries. No real functionality change, but it paves the way for new enhancements. by Ted Kremenek · 15 years ago
- 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
- 1fb7d0c Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a BugReporter&. This paves the way for pulling some of the retain/release checker into a "Checker" class. by Ted Kremenek · 15 years ago
- d5925bd Move 'static inline' functions GetNullarySelector() and GetUnarySelector() from CFRefCount.cpp to ASTContext.h. These functions are likely to be generally useful. by Ted Kremenek · 15 years ago
- 002174f retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 15 years ago
- 882a51e retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 15 years ago
- e973183 retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. by Ted Kremenek · 15 years ago
- 01eb9b9 PR5218: Replace IdentifierInfo::getName with StringRef version, now that clients by Daniel Dunbar · 15 years ago
- e013d68 Move clients to use IdentifierInfo::getNameStart() instead of getName() by Daniel Dunbar · 15 years ago
- 8fff5f7 Simplify more. by Daniel Dunbar · 15 years ago
- 3c2292e Simplify. by Daniel Dunbar · 15 years ago
- 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
- e622554 Educate the retain/release checker about [NSCursor dragCopyCursor]. by Ted Kremenek · 15 years ago
- 6fe2b7a retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 15 years ago
- 3bc4ffd Remove stale comment. by Ted Kremenek · 15 years ago
- 008636a retain/release checker: Recognize that calls to by Ted Kremenek · 15 years ago
- 6240cf1 retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 15 years ago
- bb206fd Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 15 years ago
- 8780679 Fix: by Ted Kremenek · 15 years ago
- cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
- 183700f Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 15 years ago
- 06c9cb4 Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a call by Ted Kremenek · 15 years ago
- b317f8f Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- a834fb4 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 15 years ago
- 8e02934 Rename 'bindExpr' to 'BindExpr'. by Ted Kremenek · 15 years ago
- 0fb0bc4 Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, greatly simplifying the logic of the analyzer in many places. We now only distinguish between block-level expressions and subexpressions in Environment::RemoveDeadBindings and GRState pretty-printing. by Ted Kremenek · 15 years ago
- 5032ffe Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 15 years ago
- cc02553 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 15 years ago
- 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
- ac02f20 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 15 years ago
- c484381 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 15 years ago
- 292a5c0 Remove unused parameter BugReporter due to previous patch. by Zhongxing Xu · 15 years ago
- 25e695b Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 15 years ago
- 031ccc0 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 15 years ago
- c5619d9 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 15 years ago
- 33a3138 Get rid of "smart" quotes. Per report on cfe-dev. by Eli Friedman · 15 years ago
- 6217b80 Change uses of: by Ted Kremenek · 15 years ago
- 5e77eba Remove some uses of TypedViewRegion, and use getBaseRegion() in a context where by Ted Kremenek · 15 years ago
- 5f85e17 Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. by Ted Kremenek · 15 years ago
- 614cc54 Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memory by Ted Kremenek · 15 years ago
- 35366a6 Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods by Ted Kremenek · 15 years ago
- 1a1a6e2 Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. by Ted Kremenek · 15 years ago
- f495456 Remove ASTContext::isObjCObjectPointerType(). by Steve Naroff · 15 years ago
- 14108da This patch includes a conceptually simple, but very intrusive/pervasive change. by Steve Naroff · 15 years ago
- c7068ca Remove dead code. by Zhongxing Xu · 15 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 · 15 years ago
- 313b6da Further cleanup of region invalidation code. No functionality change. by Zhongxing Xu · 15 years ago
- 43e2aaf Start to gradually move region invalidation code into store manager. by Zhongxing Xu · 15 years ago
- 17945a0 De-ASTContext-ify DeclContext. by Argyrios Kyrtzidis · 15 years ago
- 6fb0aee Remove the ASTContext parameter from the getBody() methods of Decl and subclasses. by Argyrios Kyrtzidis · 15 years ago
- 40b598e Remove the ASTContext parameter from the attribute-related methods of Decl. by Argyrios Kyrtzidis · 15 years ago
- a03f157 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 15 years ago
- 6bd8a52 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 15 years ago
- 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
- 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
- 25e751a Remove GRStateManager::getRegion/getSelfRegion(). by Ted Kremenek · 15 years ago
- ea20cd7 Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemRegion. by Ted Kremenek · 15 years ago
- d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
- a43484a MemRegions: by Ted Kremenek · 15 years ago
- 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 15 years ago
- a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
- 68584ed Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. by Douglas Gregor · 15 years ago
- b65be70 Remove more dependencies on GRStateRef. As a consequence, we can now by Ted Kremenek · 15 years ago
- 3a77203 Remove another dependency on GRStateRef. by Ted Kremenek · 15 years ago
- 211a9c6 Fix: <rdar://problem/6945561> -[CIContext createCGLayerWithSize:info:] misinterpreted by clang scan-build by Ted Kremenek · 15 years ago
- 39d88b0 Fix: <rdar://problem/6961230> add knowledge of IOKit functions to retain/release checker by Ted Kremenek · 15 years ago
- b04cb59 Add summary lookup for IOServiceGetMatchingService. Convert tabs to spaces. by Ted Kremenek · 15 years ago
- fc63aa3 Refactor some function name -> summary lookup using a switch statement. by Ted Kremenek · 15 years ago
- 547d495 Fix: by Ted Kremenek · 15 years ago
- b9d8db8 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 15 years ago
- 767d649 Add special cases to retain checker for 'create' methods in QCView, QCRenderer, and CIContext (Apple APIs). by Ted Kremenek · 15 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 · 15 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 · 15 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 · 15 years ago
- daec145 Remove extra whitespace character in string literal. Purely cosmetic. by Ted Kremenek · 15 years ago
- 3043766 Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a retained object. by Ted Kremenek · 15 years ago
- 70b6a83 Fix crasher reported in PR 4209 caused by an invalid summary by Ted Kremenek · 15 years ago
- 2033a95 Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking. by Ted Kremenek · 15 years ago
- 78a35a3 Fix: <rdar://problem/6320065> false positive - init method returns an object owned by caller by Ted Kremenek · 15 years ago
- 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 15 years ago
- 6738b73 Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the same treatment as CF objects by Ted Kremenek · 15 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 · 15 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 · 15 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 · 15 years ago
- 2e7c678 TypedRegion is a too general assumption. Usually we only want to invalidate by Zhongxing Xu · 15 years ago