- 9d1d570 Use "followsFundamentalRule" to determine if an instance method allocates memory. by Ted Kremenek · 16 years ago
- 5c74d50 followsFundamentalRule() returns true if "alloc" or "new" appear at the beginning of the string, not anywhere within it. by Ted Kremenek · 16 years ago
- f9790ae Issue warnings about owned objects returned from a method that does not match the established Cocoa naming conventions. by Ted Kremenek · 16 years ago
- 896cd9d Disable warning about potential leaks of returned values until we test it a little more (lots of noise). by Ted Kremenek · 16 years ago
- 3ad2cc8 Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines. by Ted Kremenek · 16 years ago
- 64e859a Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 16 years ago
- 6d34893 Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to the current autorelease pool). by Ted Kremenek · 16 years ago
- a496d16 retain/release checker: Check if a tracked value escapes if we also try binding it to the store and the store doesn't support that binding (i.e., it cannot track it). This has the nice feature that the checker will automatically get more powerful if we use a more powerful store model. by Ted Kremenek · 16 years ago
- fd30194 When conjuring symbols to recover path-sensitivity, don't conjure symbols that represent an entire struct. We need to implement struct temporaries as an actual "region", and then bind symbols to the FieldRegion of those temporaries. by Ted Kremenek · 16 years ago
- 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 16 years ago
- 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
- 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago
- 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
- 062bae0 Revert 56735. The old bug categories were more informative. by Ted Kremenek · 16 years ago
- 3a7d1e9 Change "leaks" to have the category "Performance". by Ted Kremenek · 16 years ago
- a05131a Change casing of bug type. by Ted Kremenek · 16 years ago
- 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 16 years ago
- 60dbad8 Store: (static analyzer) by Ted Kremenek · 16 years ago
- 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
- 2bc39c6 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 16 years ago
- b9d17f9 Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 16 years ago
- 1c72ef0 GRState: 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
- 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. 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
- 8b51fd7 remove some unneeded calls to getCanonicalType by Chris Lattner · 16 years ago
- 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: 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
- 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
- 35912db Update signature of EvalAssume. 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
- 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 16 years ago
- 070a825 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 16 years ago
- e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 16 years ago
- 8c5633e Use conjured symbols for variables whose values are invalidated when 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
- 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
- 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
- 5549976 This patch is motivated by numerous strict-aliasing warnings when compiling by Ted Kremenek · 16 years ago
- 0327f77 Teach the CF retain checker about "_init" methods. Fixes: <rdar://problem/5956379> by Ted Kremenek · 16 years ago
- 1aa44c7 Prototyped support in the BugReporter to emit diagnostics of the form "p now aliases q". by Ted Kremenek · 16 years ago
- 3eabf1c Expand retain/release checker to consider methods/function calls that cause a by Ted Kremenek · 16 years ago
- 6ed9afc Cache leaks by the allocation site, not the leak location. by Ted Kremenek · 16 years ago
- 0e470a5 Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary to use IsLValType when conjuring symbols for return values (this fixes a bug with an assertion firing in the analyzer when two qualified objective-c types were compared). by Ted Kremenek · 16 years ago
- 299e815 Added support for "drain". by Ted Kremenek · 16 years ago
- 0fcbf8e Expand the CF retain checker to allow the Create/Get rule to apply to any by Ted Kremenek · 16 years ago
- 0ae24fa Flip order of arguments to CStrInStrNoCase. by Ted Kremenek · 16 years ago
- 900a2d7 Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not portable. by Ted Kremenek · 16 years ago
- f4250e2 copy-paste: NS types are not typedefs. by Ted Kremenek · 16 years ago
- 05a7b0e Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators. by Ted Kremenek · 16 years ago
- 84060db Be less promiscuous with generating summaries for "new", "copy", "create". by Ted Kremenek · 16 years ago
- a4b695a Added auto-summary generation for createXXX, copyXXX, newXXX methods. by Ted Kremenek · 16 years ago
- a22cc2f Don't report leaks for autoreleased objects. by Ted Kremenek · 16 years ago
- c839560 More comments. by Ted Kremenek · 16 years ago
- 432af59 Experiment with not converting bug names to lower case. by Ted Kremenek · 16 years ago
- 1bffd74 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 16 years ago
- 84548b8 Use strncmp correctly. by Ted Kremenek · 16 years ago
- aee9e57 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 16 years ago
- 70f9d86 String comparison cleanups. Added test case. by Ted Kremenek · 16 years ago
- 3fa0d29 Fix logic error in string processing. by Ted Kremenek · 16 years ago
- 0855dc3 Remove assertion. by Ted Kremenek · 16 years ago
- b309525 Use EvalSummary to process message expressions, thereby unifying the checker by Ted Kremenek · 16 years ago
- 1499389 Added receiver effects to EvalSummary. by Ted Kremenek · 16 years ago
- 3c0cea3 Expand summaries to include "Receiver" effects. by Ted Kremenek · 16 years ago
- b3c3c28 Added initialization code to generate initial set of ObjC method summaries (non-instance methods). by Ted Kremenek · 16 years ago
- 9c32d08 Added code to generate initial set of summaries for instance methods. by Ted Kremenek · 16 years ago
- 46e49ee Add summary generation for "initXXX" methods. by Ted Kremenek · 16 years ago
- 789deac Make CF retain diagnostics more succinct. by Ted Kremenek · 16 years ago
- d3dbcf4 Initial work on refactoring the CFRefCount checker so that it is more by Ted Kremenek · 16 years ago
- e28565b Improve leak diagnostics to not report a leak on the same line where by Ted Kremenek · 16 years ago
- ce48e00 Improved leak diagnostics. by Ted Kremenek · 16 years ago
- 86ad3bc Minor refactorings/cleanups in CF retain checker and added support for NSMakeCollectable. by Ted Kremenek · 16 years ago
- e92c1b2 Improved diagnostics for leaks: now we report which variable was leaked. by Ted Kremenek · 16 years ago
- 9f74161 When running the reference count checker twice (GC and non-GC mode), only emit by Ted Kremenek · 16 years ago
- 529a9bd Fix copy-paste bug. by Ted Kremenek · 16 years ago
- 52a67df Remove no longer valid assertion. by Ted Kremenek · 16 years ago
- c9fa2f7 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 16 years ago
- bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 16 years ago
- 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 16 years ago
- b83e02e Renamed static method. by Ted Kremenek · 16 years ago
- 31593ac When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 16 years ago
- 5934cee Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 16 years ago
- 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 16 years ago
- c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
- 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 16 years ago
- 65c9165 Update typestate logic to support GC-mode. by Ted Kremenek · 16 years ago