- d559792 retain/release checker: Place the leak diagnostic after the last statement that by Ted Kremenek · 16 years ago
- 81f14a0 Remove unused variable. by Ted Kremenek · 16 years ago
- 572b278 Remove logic for computing 'display hint'. by Ted Kremenek · 16 years ago
- bb8c5aa More fun with retain checker diagnostics: by Ted Kremenek · 16 years ago
- 1f62ef3 Fix diagnostics bugs when computing ranges for the retain/release checker. by Ted Kremenek · 16 years ago
- 2701900 retain/release checker: We now emit fancy diagnostics telling users about the by Ted Kremenek · 16 years ago
- 1c512f5 retain/release checker: Distinguish in the function summaries between by Ted Kremenek · 16 years ago
- fe9e543 Hooked up the necessary machinery to allow the retain/release checker reference by Ted Kremenek · 16 years ago
- f5b34b1 retain/release checker: Record the summary used to generate a given node. by Ted Kremenek · 16 years ago
- 5216ad7 Added GRStateManager::scanReachableSymbols(), a method which scans the reachable by Ted Kremenek · 16 years ago
- 41573eb Static analyzer: by Ted Kremenek · 16 years ago
- 389bf46 Several cleanups: by Steve Naroff · 16 years ago
- c5c6000 Fix null dereference. by Ted Kremenek · 17 years ago
- d305721 For retain/release leaks, have the BugReport description indicate the allocation site and initial bindings. by Ted Kremenek · 17 years ago
- e469fa0 Determining the allocation site for a leak when constructing a CFRefLeakReport. This avoids repeated calls to GetAllocationSite when Profiling a CFRefLeakReport object. by Ted Kremenek · 17 years ago
- 66d9706 Split logic for 'getEndPath()' for CFRefReport and CFRefLeakReport. by Ted Kremenek · 17 years ago
- c9e3d86 Convert a use of 'std::ostringstream' to 'llvm::raw_string_ostream'. by Ted Kremenek · 17 years ago
- a92206e Add 'AppendValue' to the list of magic CF function names that cause a tracked object to escape. Fixes <rdar://problem/6560661>. by Ted Kremenek · 17 years ago
- cf70177 Remove a bunch of obscene double-buffering of BugReports in the retain/release by Ted Kremenek · 17 years ago
- e45e57f Fix regression: Leak (BugType) object should have 'isLeak()' return true. by Ted Kremenek · 17 years ago
- cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 17 years ago
- 6818928 retain/release checker: When generating summaries for CF/CG functions, allow arguments to "escape" if they are passed to a function containing the terms "InsertValue", "SetValue", or "AddValue". This fixes <rdar://problem/6539791>. by Ted Kremenek · 17 years ago
- ea4bc88 Remove '#if 0' code. by Ted Kremenek · 17 years ago
- b2bf7cd Remove method 'AddNE' from the public interface of ConstraintManager. by Ted Kremenek · 17 years ago
- abf4397 retain/release checker: Always generate an "autorelease" summary for an "autorelease" message, and have the summary processing logic treat it as a no-op in GC mode. This change is motivated to encode more of the semantics in the summaries themselves for eventual better diagnostics. by Ted Kremenek · 17 years ago
- 23b8eaa retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. by Ted Kremenek · 17 years ago
- 961b61d retain/release checker: Indicate whether a tracked object is a Core Foundation or Objective-C object. by Ted Kremenek · 17 years ago
- a102c0c retain/release checker: More diagnostic refactoring. by Ted Kremenek · 17 years ago
- 2d1652e retain/release checker: Embed an "object type" into the RetEffect/RetVal objects to help distinguish between Objective-C and Core Foundation objects (for better diagnostics). by Ted Kremenek · 17 years ago
- 611a15a retain/release checker: More cleanups (no real functionality change). by Ted Kremenek · 17 years ago
- 103a185 Fix diagnostic truncated by my last patch. by Ted Kremenek · 17 years ago
- 5c1cd52 retain/release checker: More diagnostic refactoring. by Ted Kremenek · 17 years ago
- 2098280 retain/release checker: Output the name of the function that allocates an object. by Ted Kremenek · 17 years ago
- a1f117e Refactor some diagnostic code to use raw_string_ostream. No functionality change. by Ted Kremenek · 17 years ago
- 1d549a8 Remove '#if 0' code. by Ted Kremenek · 17 years ago
- 3148eb4 More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup. by Ted Kremenek · 17 years ago
- 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 17 years ago
- 9989065 Fix PR 3337 [retain/release checker]: Handle FunctionDecl's declared using typedefs. by Ted Kremenek · 17 years ago
- f7cf85b more SourceLocation lexicon change: instead of referring to the by Chris Lattner · 17 years ago
- 1261938 retain/release checker: by Ted Kremenek · 17 years ago
- 234a4c2 This commit reflects changes to the retain/release checker motivated by my by Ted Kremenek · 17 years ago
- 40e86d9 Fix regression when invalidating reference-counts for objects passed-by-reference to a function/method. by Ted Kremenek · 17 years ago
- 90b3236 Fix <rdar://problem/6451816>: by Ted Kremenek · 17 years ago
- 6eddeb1 MemRegion: by Ted Kremenek · 17 years ago
- 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
- 04f9d46 Add FIXME. by Ted Kremenek · 17 years ago
- 077bf5e Rename Selector::getName() to Selector::getAsString(), and add by Chris Lattner · 17 years ago
- 062e2f9 GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars. by Ted Kremenek · 17 years ago
- a441b7e Update method names involving GRStateRef. No functionality change. by Ted Kremenek · 17 years ago
- d07a7b1 Fix regression with handling of CFMakeCollectable. by Ted Kremenek · 17 years ago
- 4c79e55 initXXX methods can return owned objects by Ted Kremenek · 17 years ago
- 6ca3191 Handle prefix '_' that may appear in front of the name of 'Release' functions by Ted Kremenek · 17 years ago
- 31fc07d Made the mechanism of defining preprocessor defs for maxint, ptrdiff_t, wchar by Sanjiv Gupta · 17 years ago
- e1e91af Extend "followsFundamentalRule" to ignore prefix '_' characters. by Ted Kremenek · 17 years ago
- 706522f IOServiceGetMatchingServices is a release function. by Ted Kremenek · 17 years ago
- 9d1d570 Use "followsFundamentalRule" to determine if an instance method allocates memory. by Ted Kremenek · 17 years ago
- 5c74d50 followsFundamentalRule() returns true if "alloc" or "new" appear at the beginning of the string, not anywhere within it. by Ted Kremenek · 17 years ago
- f9790ae Issue warnings about owned objects returned from a method that does not match the established Cocoa naming conventions. by Ted Kremenek · 17 years ago
- 896cd9d Disable warning about potential leaks of returned values until we test it a little more (lots of noise). by Ted Kremenek · 17 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 · 17 years ago
- 64e859a Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 17 years ago
- 6d34893 Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to the current autorelease pool). by Ted Kremenek · 17 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 · 17 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 · 17 years ago
- 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 17 years ago
- 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 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 · 17 years ago
- 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 17 years ago
- 062bae0 Revert 56735. The old bug categories were more informative. by Ted Kremenek · 17 years ago
- 3a7d1e9 Change "leaks" to have the category "Performance". by Ted Kremenek · 17 years ago
- a05131a Change casing of bug type. by Ted Kremenek · 17 years ago
- 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 17 years ago
- 60dbad8 Store: (static analyzer) by Ted Kremenek · 17 years ago
- 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 17 years ago
- 2bc39c6 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 17 years ago
- b9d17f9 Migrate the retain/release checker to not manage the RefBindings::Factory object by Ted Kremenek · 17 years ago
- 1c72ef0 GRState: by Ted Kremenek · 17 years ago
- 72cd17f Migrated retain/release checker to use the Generic Data Map in GRState (instead by Ted Kremenek · 17 years ago
- ae6814e Renamed GRState::CheckerStatePrinter to GRState::Printer. by Ted Kremenek · 17 years ago
- 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 17 years ago
- 9853045 More cleanups. Add missing #include. by Ted Kremenek · 17 years ago
- af9dc27 More summary generation refactoring. by Ted Kremenek · 17 years ago
- 9e476de Add variadic addInstMethSummary() and refactored addPanicSummary() to use this method. (code reduction). by Ted Kremenek · 17 years ago
- c4a1dea More #include cleaning by Daniel Dunbar · 17 years ago
- 8b51fd7 remove some unneeded calls to getCanonicalType by Chris Lattner · 17 years ago
- 17a61db Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: by Ted Kremenek · 17 years ago
- 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 17 years ago
- 1a80448 "currentHandler" is a nullary selector by Ted Kremenek · 17 years ago
- 2d1086c Fix caching bug. by Ted Kremenek · 17 years ago
- 70a733e Add panic support for NSAssertionHandler. by Ted Kremenek · 17 years ago
- 35912db Update signature of EvalAssume. by Ted Kremenek · 17 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 · 17 years ago
- 37d785b Support retain/release tracking for CoreGraphics (CGxxxRef) objects. by Ted Kremenek · 17 years ago
- 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago
- 070a825 Fix PR2519: correctly handle CFDictionaryCreate. by Ted Kremenek · 17 years ago
- e8fdc83 Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead. by Ted Kremenek · 17 years ago
- 8c5633e Use conjured symbols for variables whose values are invalidated when by Ted Kremenek · 17 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 · 17 years ago
- 179064e Unlike NSWindow objects, NSPanel objects initially do not have self-ownership. by Ted Kremenek · 17 years ago
- 80d753f Temporarily treat "Autorelease" as "StopTracking". This is the original behavior. by Ted Kremenek · 17 years ago