- 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 · 17 years ago
- 0fcbf8e Expand the CF retain checker to allow the Create/Get rule to apply to any by Ted Kremenek · 17 years ago
- 0ae24fa Flip order of arguments to CStrInStrNoCase. by Ted Kremenek · 17 years ago
- 900a2d7 Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not portable. by Ted Kremenek · 17 years ago
- f4250e2 copy-paste: NS types are not typedefs. by Ted Kremenek · 17 years ago
- 05a7b0e Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" from NSObject as allocators. by Ted Kremenek · 17 years ago
- 84060db Be less promiscuous with generating summaries for "new", "copy", "create". by Ted Kremenek · 17 years ago
- a4b695a Added auto-summary generation for createXXX, copyXXX, newXXX methods. by Ted Kremenek · 17 years ago
- a22cc2f Don't report leaks for autoreleased objects. by Ted Kremenek · 17 years ago
- c839560 More comments. by Ted Kremenek · 17 years ago
- 432af59 Experiment with not converting bug names to lower case. by Ted Kremenek · 17 years ago
- 1bffd74 Generate "stop" summaries for selectors involving receivers whose type is not NSxxxx. by Ted Kremenek · 17 years ago
- 84548b8 Use strncmp correctly. by Ted Kremenek · 17 years ago
- aee9e57 Make string comparison legible and remove buffer overrun introduced by typo. by Ted Kremenek · 17 years ago
- 70f9d86 String comparison cleanups. Added test case. by Ted Kremenek · 17 years ago
- 3fa0d29 Fix logic error in string processing. by Ted Kremenek · 17 years ago
- 0855dc3 Remove assertion. by Ted Kremenek · 17 years ago
- b309525 Use EvalSummary to process message expressions, thereby unifying the checker by Ted Kremenek · 17 years ago
- 1499389 Added receiver effects to EvalSummary. by Ted Kremenek · 17 years ago
- 3c0cea3 Expand summaries to include "Receiver" effects. by Ted Kremenek · 17 years ago
- b3c3c28 Added initialization code to generate initial set of ObjC method summaries (non-instance methods). by Ted Kremenek · 17 years ago
- 9c32d08 Added code to generate initial set of summaries for instance methods. by Ted Kremenek · 17 years ago
- 46e49ee Add summary generation for "initXXX" methods. by Ted Kremenek · 17 years ago
- 789deac Make CF retain diagnostics more succinct. by Ted Kremenek · 17 years ago
- d3dbcf4 Initial work on refactoring the CFRefCount checker so that it is more by Ted Kremenek · 17 years ago
- e28565b Improve leak diagnostics to not report a leak on the same line where by Ted Kremenek · 17 years ago
- ce48e00 Improved leak diagnostics. by Ted Kremenek · 17 years ago
- 86ad3bc Minor refactorings/cleanups in CF retain checker and added support for NSMakeCollectable. by Ted Kremenek · 17 years ago
- e92c1b2 Improved diagnostics for leaks: now we report which variable was leaked. by Ted Kremenek · 17 years ago
- 9f74161 When running the reference count checker twice (GC and non-GC mode), only emit by Ted Kremenek · 17 years ago
- 529a9bd Fix copy-paste bug. by Ted Kremenek · 17 years ago
- 52a67df Remove no longer valid assertion. by Ted Kremenek · 17 years ago
- c9fa2f7 Added line number diagnostics to indicate the allocation site of the leaked object. by Ted Kremenek · 17 years ago
- bb77e9b Do not highlight bogus ranges for leaks. by Ted Kremenek · 17 years ago
- 9040c65 Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand. by Ted Kremenek · 17 years ago
- b83e02e Renamed static method. by Ted Kremenek · 17 years ago
- 31593ac When processing "release", "retain", and "autorelease" messages return the by Ted Kremenek · 17 years ago
- 5934cee Added support for "autorelease" message in CF ref. count checker. by Ted Kremenek · 17 years ago
- 072192b added preliminary diagnostics in scan-build results to denote whether by Ted Kremenek · 17 years ago
- c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
- 036dce0 Teach the static analysis engine about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
- 65c9165 Update typestate logic to support GC-mode. by Ted Kremenek · 17 years ago
- 377e230 Implement semantics of CFMakeCollectable for the CF-reference count checker. by Ted Kremenek · 17 years ago
- e5c3012 Provide the option to run the CF-retain checker in GC enabled mode. by Ted Kremenek · 17 years ago
- 910e999 Do a better job at computing dead symbols. by Ted Kremenek · 17 years ago
- 652adc6 Add preliminary support for flagging leaks around when they happen (doesn't work yet). by Ted Kremenek · 17 years ago
- 891d5cc CF reference count checker: handle variadic functions that allocate CF objects. by Ted Kremenek · 17 years ago
- 186350f Fixed: <rdar://problem/5881148> by Ted Kremenek · 17 years ago
- a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
- 95cc1ba Generalize caching mechanism for bugs reports. Now individual BugTypes by Ted Kremenek · 17 years ago
- cb61292 Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errors by Ted Kremenek · 17 years ago
- 4f28515 Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the node cache. by Ted Kremenek · 17 years ago
- 79c140b More grammar fixes. by Ted Kremenek · 17 years ago
- 5e770ca Fix plurality debacle. by Ted Kremenek · 17 years ago
- 2cf943a Added path diagnostics for reference counts. by Ted Kremenek · 17 years ago
- 8dd5646 BugReport::VisitNode now takes BugReporter& instead of ASTContext&. by Ted Kremenek · 17 years ago
- 75840e1 Simplified internal logic of BugReporter, consolidating EmitWarning and by Ted Kremenek · 17 years ago
- 989d519 Hook up reporting reference count memory leaks to the BugReporter mechanism. by Ted Kremenek · 17 years ago
- 4fd8897 Added transfer function support for ReturnStmt to support detecting leaks by Ted Kremenek · 17 years ago
- db86371 CF ref. count checker: Register memory leaks at the end of a path. by Ted Kremenek · 17 years ago
- 1392261 Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to by Ted Kremenek · 17 years ago
- 9ed18e6 Implemented toll-free bridging support for CF Reference count checker. by Ted Kremenek · 17 years ago
- 8534820 Added initial boilerplate to support toll-free bridging in the ref-count checker. by Ted Kremenek · 17 years ago
- 7ded73c Treat calls to unresolved functions in the CF-ref count checker as calls by Ted Kremenek · 17 years ago
- d2f642b Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 17 years ago
- e7bd9c2 Add some boilerplate to report memory leaks at the end of an analyzed function. by Ted Kremenek · 17 years ago
- b887355 Added FIXME by Ted Kremenek · 17 years ago
- f9561e5 Fix regression introduced by my last commit. by Ted Kremenek · 17 years ago
- a0df99f Changed behavior of how we handle "NULL" summaries: just call by Ted Kremenek · 17 years ago
- bcf50ad Use RangedBugReport to report better ranges for reference count errors. by Ted Kremenek · 17 years ago
- 940b1d8 Fixed some logic errors in the CF ref count checker; we now can detect simple by Ted Kremenek · 17 years ago
- 61b9f87 Simplify CF ref. count checker state machine. by Ted Kremenek · 17 years ago
- 3ea0b6a Fix some bonehead bugs in summary generation in CFRefCount. by Ted Kremenek · 17 years ago