- 9aa77f1 various updates to match r54873 on mainline. by Chris Lattner · 16 years ago
- b9d17f9 Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 16 years ago
- ffdbefd Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to use the generic data map instead. by Ted Kremenek · 16 years ago
- e7aa9a1 Added GRStateTrait.h, which includes boilerplate code for creating specializations of GRStateTrait<>. by Ted Kremenek · 16 years ago
- 5d796aa It's spelt "uninitialized". by Nick Lewycky · 16 years ago
- 1c72ef0 GRState: by Ted Kremenek · 16 years ago
- fa07784 Default initialize only pointers and integer types (for now). by Ted Kremenek · 16 years ago
- 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 16 years ago
- ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 16 years ago
- 62e1dcc Rename ValueState.h -> GRState.h Rename ValueState.cpp -> GRState.cpp by Ted Kremenek · 16 years ago
- 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 16 years ago
- 72c59d0 Initialize tracked local variables to undefined. by Ted Kremenek · 16 years ago
- 5c135b4 Fix memory leak found by Sam Bishop: delete WList in the dstor of GRCoreEngineImpl. by Ted Kremenek · 16 years ago
- 4502022 Added GenericDataMap as a component of ValueState. by Ted Kremenek · 16 years ago
- 9853045 More cleanups. Add missing #include. by Ted Kremenek · 16 years ago
- af9dc27 More summary generation refactoring. by Ted Kremenek · 16 years ago
- 9e476de Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 16 years ago
- c4a1dea More #include cleaning by Daniel Dunbar · 16 years ago
- 7bfaaae * Remove isInSystemHeader() from DiagClient, move it to SourceManager by Nico Weber · 16 years ago
- d9f6910 rename PreDefinedExpr -> PredefinedExpr by Chris Lattner · 16 years ago
- 23f7823 Added FIXME. by Ted Kremenek · 16 years ago
- e12691c Don't use Expr::isIntegerConstantExpr just to check if a pointer value is initialize to NULL. by Ted Kremenek · 16 years ago
- 2619be0 Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor improvements to path-sensitivity. Right now we basically treat 'x > y' and 'x < y' as implying 'x != y', but this restriction will only inevitably apply to our must rudimentary value tracking component (we'll implement more advanced value reasoning later). by Ted Kremenek · 16 years ago
- b238c3e Don't flag any dead stores for variables marked unused. by Ted Kremenek · 16 years ago
- 14f8b4f Added decl_iterator to DeclStmt to provide an abstract interface to iterate over the ScopedDecls of a DeclStmt. by Ted Kremenek · 16 years ago
- 48d5faf Change 'dead store (++/--)' to 'dead increment' by Ted Kremenek · 16 years ago
- 22bda88 Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned. by Ted Kremenek · 16 years ago
- b7714b2 Add range highlighting for path-sensitive return-of-stack-address check. by Ted Kremenek · 16 years ago
- 8b51fd7 remove some unneeded calls to getCanonicalType by Chris Lattner · 16 years ago
- b77792e change more instances of QualType::getCanonicalType to call by Chris Lattner · 16 years ago
- 694eefb Have the UnusedIvar check skip ivars with setters/getters created by @synthesize. by Ted Kremenek · 16 years ago
- a95acd6 Remove call to isSEL and isSEL itself since the call is dead (isObjCObjectPointerType() will never return true for selectors). by Ted Kremenek · 16 years ago
- 684b9d2 Only warn about missing/incomplete -dealloc implementations when a class contains a non-SEL, non-IBOutlet ivar that references an ObjC object. by Ted Kremenek · 16 years ago
- fc7ff55 Don't emit 'dead initialization' warnings for variables marked 'unused'. by Ted Kremenek · 16 years ago
- ec455e0 Use ASTContext::isObjCObjectPointerType() to check if an ivar is a reference to an Objective-C object. by Ted Kremenek · 16 years ago
- 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 16 years ago
- f071e18 Don't issue a missing +dealloc warning for classes that just contain SEL ivars. by Ted Kremenek · 16 years ago
- b0f3632 Issue dead store warnings for preincrements involved in a subexpression. by Ted Kremenek · 16 years ago
- 1c61b47 Don't flag dead stores when the result of a preincrement/predecrement is used in an enclosing expression. by Ted Kremenek · 16 years ago
- 2cfac22 Further refine dead store checking to distinguish between dead stores and dead increments. by Ted Kremenek · 16 years ago
- cc87ba2 Properly skip IBOutlets when checking for unused ivars. by Ted Kremenek · 16 years ago
- 6678f7f Ivar access mode ObjCIvarDecl::None == ObjCIvarDecl::Protected, not private. by Ted Kremenek · 16 years ago
- 395aaf2 Add prototype implementation of unused ivar check. by Ted Kremenek · 16 years ago
- 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 16 years ago
- e3ae82a Rename file. by Ted Kremenek · 16 years ago
- 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
- 1a80448 "currentHandler" is a nullary selector by Ted Kremenek · 16 years ago
- 2d1086c Fix caching bug. by Ted Kremenek · 16 years ago
- 70a733e Add panic support for NSAssertionHandler. by Ted Kremenek · 16 years ago
- 7386d77 Add panic function. by Ted Kremenek · 16 years ago
- 75b0a1c Fix 80 col violation by Ted Kremenek · 16 years ago
- 40fc5c7 Fix regression by explicitly checking if we are negating a SymIntConstantVal. by Ted Kremenek · 16 years ago
- 1e38f85 Improve path-sensitivity when using the logical not operator. by Ted Kremenek · 16 years ago
- ad8329e Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is unfortunately needed because virtual methods with the same name can be hidden by subclasses. by Ted Kremenek · 16 years ago
- 6297a8e Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 16 years ago
- 35912db Update signature of EvalAssume. by Ted Kremenek · 16 years ago
- 729a9a2 Move GRTransferFunc* into ValueStateManager, and move the assumption logic there as well. by Ted Kremenek · 16 years ago
- b48c645 Remove redundant logic. by Ted Kremenek · 16 years ago
- df7533b Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of the methods only return an RVal; we want them to be able to create an arbitrary number of states. by Ted Kremenek · 16 years ago
- f59bf48 Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual RemoveDeadBindings method in StoreManager. by Ted Kremenek · 16 years ago
- cd512dc Fix regression introduced by http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080714/006514.html. by Ted Kremenek · 16 years ago
- f496ee1 Fix transfer function logic in GRSimpleVals for integer casts: only support casts from integers to integers. by Ted Kremenek · 16 years ago
- f4ebf42 For the MissingDealloc check, don't treat IBOutlet ivars as being needed to be released by Ted Kremenek · 16 years ago
- f9c2a5d Distinguish between dead stores and dead initializations. by Ted Kremenek · 16 years ago
- 10161bf isRetain() and isRelease() now only returns true if "Retain"/"Release" appears in the suffix of a function's name. by Ted Kremenek · 16 years ago
- 37d785b Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 16 years ago
- 8f26986 Refactor Dead Stores error reporting to use the simplified BugReporter::EmitBasicReport interface. by Ted Kremenek · 16 years ago
- 5720207 Added method "EmitBasicReport" to BugReporter to simplify the emission of simple bug diagnostics. by Ted Kremenek · 16 years ago
- e4773eb Tidy up error message. by Ted Kremenek · 16 years ago
- 0d8019e Add new check: -check-objc-methodsigs. This check scans methods in by Ted Kremenek · 16 years ago
- 078c0bc Fix comment. by Ted Kremenek · 16 years ago
- bdb435d Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "batch auditor" to dispatch to specialized auditors instead of having a separate vector for each audited Expr*. This not only provides a much cleaner implementation, but also allows us to install auditors for any expression. by Ted Kremenek · 16 years ago
- 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
- e569031 Remove unused class AnnotatedPath. by Ted Kremenek · 16 years ago
- d72ee90 Move some environment methods from ValueState/ValueStateManager to Environment/EnvironmentManager. by Ted Kremenek · 16 years ago
- 1fa7f58 Remove getParentMap() from GRExprEngine. by Ted Kremenek · 16 years ago
- 070a825 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 16 years ago
- 8133a26 Initial work on splitting the ValueState into an Environment, Store, and by Ted Kremenek · 16 years ago
- e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
- 00fed8d Do not emit a "missing -dealloc" warning if a class contains no ivars that are pointers. by Ted Kremenek · 16 years ago
- 8c5633e Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 16 years ago
- 0364865 Fix a bug in the dead stores checker reported in the following email: by Ted Kremenek · 16 years ago
- aeca963 Skip the "-dealloc" check if a ObjC class contains no ivars. by Ted Kremenek · 16 years ago
- 3cd483c For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC. by Ted Kremenek · 16 years ago
- 7032f46 Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail by Ted Kremenek · 16 years ago
- db09a4d Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc]. by Ted Kremenek · 16 years ago
- e207558 Unify the code path for the Dead Stores checker to always use the BugReporter interface. by Ted Kremenek · 16 years ago
- c095997 Refactored some of the BugReporter interface so that data such as the ASTContext&, PathDiagnosticClient*, can be provided by an external source. by Ted Kremenek · 16 years ago
- 8b23361 GRExprEngine now expects the LiveVariables information to be provided by its creator. by Ted Kremenek · 16 years ago
- 17fdf95 Added version of CheckDeadStores that accepts a client-provided LiveVariables object. by Ted Kremenek · 16 years ago
- 179064e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 16 years ago
- 80d753f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 16 years ago
- e19f449 Added "Autorelease" ArgEffect to better simulate "autorelease" messages. Right by Ted Kremenek · 16 years ago
- 04bc876 Added a simple static analysis check to look for improper uses of CFCreateNumber. by Ted Kremenek · 16 years ago
- 553cf18 CF ref checker: by Ted Kremenek · 16 years ago
- ab59227 Remove unneeded method arguments. by Ted Kremenek · 16 years ago
- 53301ba Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl. by Ted Kremenek · 16 years ago
- 4f22a78 Added ObjCSummaryCache, a new summary cache object to cache summaries for Objective-C methods. Instead of mapping from Selectors -> Summaries, we will now map from (ObjCInterfaceDecl*,Selectors) -> Summaries. This will allow more nuanced summary generation. This patch just swaps in the new data structure; the rest of the code works as before by allowing the ObjCInterfaceDecl* to be null. by Ted Kremenek · 16 years ago
- 1f180c3 Rename summary methods for "instance methods" to "class methods" (the names got screwed up). No functionality change. by Ted Kremenek · 16 years ago
- a734470 The CF retain/release checker now assumes that allocations do not fail. Eventually we will add a flag to the driver to enable allocation failures (documented as a FIXME). by Ted Kremenek · 16 years ago