- 57f0989 Revert 95541. by Ted Kremenek · 16 years ago
- 500f49f Rename: GRState::getSVal(Stmt*) => getExprVal(), by Zhongxing Xu · 16 years ago
- 7fcd8ac More GRState* -> Store changes. by Zhongxing Xu · 16 years ago
- e991835 Move more naming conventions logic out of the retain/release checker to CocoaConventions.h. by Ted Kremenek · 16 years ago
- d5e27af Remove unnecessary ASTContext* argument from isRefType(). by Ted Kremenek · 16 years ago
- db1832d Start pulling out pieces of the monolithic retain/release checker into by Ted Kremenek · 16 years ago
- 6296e09 Move 'LocalCheckers.h' to the 'Checkers' subdirectory. by Ted Kremenek · 16 years ago
- fe0fc40 Move BugReporter.h, PathDiagnostic.h, and BugType.h to 'include/Checker/BugReporter' by Ted Kremenek · 16 years ago
- d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (99%) from clang/lib/Analysis/CFRefCount.cpp]
- 3780831 Fix pasto. by Benjamin Kramer · 16 years ago
- 0129bd7 Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase). by Benjamin Kramer · 16 years ago
- e19711d Add transfer functions support for visiting an Objective-C message expression as an lvalue when the return type is a C++ reference. by Ted Kremenek · 16 years ago
- 4794801 Use the FunctionDecl's result type to know exactly if it returns a reference. by Zhongxing Xu · 16 years ago
- 9bcc264 Teach RetainSummaryManager::getSummary(FunctionDecl* FD) that 'FD->getIdentifier()' will not always return a non-null IdentifierInfo*. by Ted Kremenek · 16 years ago
- 2f3da9b update to match LLVM API change: by Chris Lattner · 16 years ago
- 04af9f2 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 16 years ago
- 5bee5c4 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 · 16 years ago
- e5716cba 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 · 16 years ago
- af35329 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 16 years ago
- 6341553 Port BugReporter and BugType to StringRef. by Benjamin Kramer · 16 years ago
- 65c6566 lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 16 years ago
- f89dcda Add a PostVisitBlockExpr() method to RetainReleaseChecker to query for by Ted Kremenek · 16 years ago
- b63ad7a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 16 years ago
- 70a8788 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 · 16 years ago
- 945422794 Move RegisterChecks() to the end of the file. No functionality change. by Ted Kremenek · 16 years ago
- e6a2780 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 · 16 years ago
- 9e20079 Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 16 years ago
- 1b8fe5b7 First part of changes to eliminate problems with cv-qualifiers and by Douglas Gregor · 16 years ago
- 3c55718 Pull static variable within function (for slightly faster startup time). by Ted Kremenek · 16 years ago
- a2968e5 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 · 16 years ago
- f8f3f9d Rename: StripCasts describes what it does better. by Zhongxing Xu · 16 years ago
- 0fbbb08 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 · 16 years ago
- 924316d Move 'static inline' functions GetNullarySelector() and GetUnarySelector() from CFRefCount.cpp to ASTContext.h. These functions are likely to be generally useful. by Ted Kremenek · 16 years ago
- 43edaa8 retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 16 years ago
- d1b67db retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 16 years ago
- 90c953e retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. by Ted Kremenek · 16 years ago
- 07d0785 PR5218: Replace IdentifierInfo::getName with StringRef version, now that clients by Daniel Dunbar · 16 years ago
- 2c422dc9 Move clients to use IdentifierInfo::getNameStart() instead of getName() by Daniel Dunbar · 16 years ago
- acb5a4b Simplify more. by Daniel Dunbar · 16 years ago
- 9d9aa16 Simplify. by Daniel Dunbar · 16 years ago
- 1eb6809 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 16 years ago
- 4e45d80 Educate the retain/release checker about [NSCursor dragCopyCursor]. by Ted Kremenek · 16 years ago
- 55adb82 retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 16 years ago
- 8070b82 Remove stale comment. by Ted Kremenek · 16 years ago
- b4ec3fc retain/release checker: Recognize that calls to by Ted Kremenek · 16 years ago
- 80816ac retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 16 years ago
- 5c22e11 Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 16 years ago
- e41b81e Fix: by Ted Kremenek · 16 years ago
- f9539d0 Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 16 years ago
- 9dd450b Change all the Type::getAsFoo() methods to specializations of Type::getAs(). by John McCall · 16 years ago
- 4112969 Fix: <rdar://problem/5905851> do not report a leak when post-dominated by a call by Ted Kremenek · 16 years ago
- 7e3431b Make AnalysisManager stateless. Now other analyzer components only depends on by Zhongxing Xu · 16 years ago
- 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
- 52ac2b5 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 16 years ago
- 1d5f2f3 Rename 'bindExpr' to 'BindExpr'. by Ted Kremenek · 16 years ago
- 907a711 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 · 16 years ago
- 342950e Remove CodeDecl and CFG from GRExprEngine and GRStateManager. by Zhongxing Xu · 16 years ago
- 94ec649 Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. by Zhongxing Xu · 16 years ago
- 608677a Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 16 years ago
- 815fbb6 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 16 years ago
- d982f00 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 16 years ago
- 7864b9ea Remove unused parameter BugReporter due to previous patch. by Zhongxing Xu · 16 years ago
- e1190f7 Extend the ProgramPoint to include the context information LocationContext, by Zhongxing Xu · 16 years ago
- 107f759 Last step of template cleanup: merge *BuilderImpl to *Builder. by Zhongxing Xu · 16 years ago
- 20227f7 As GRState seems general enough, it is time to merge some template classes by Zhongxing Xu · 16 years ago
- 44b83ee Get rid of "smart" quotes. Per report on cfe-dev. by Eli Friedman · 16 years ago
- 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 · 17 years ago
- ea1c221 Enhance attribute cf_returns_retained to also work (in the analyzer) by Ted Kremenek · 17 years ago