aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFRefCount.cpp
AgeCommit message (Expand)Author
2009-01-12retain/release checker:Ted Kremenek
2009-01-07This commit reflects changes to the retain/release checker motivated by myTed Kremenek
2008-12-18Fix regression when invalidating reference-counts for objects passed-by-refer...Ted Kremenek
2008-12-17Fix <rdar://problem/6451816>:Ted Kremenek
2008-12-13MemRegion:Ted Kremenek
2008-12-05Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the...Ted Kremenek
2008-12-02Add FIXME.Ted Kremenek
2008-11-24Rename Selector::getName() to Selector::getAsString(), and addChris Lattner
2008-11-13GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) ...Ted Kremenek
2008-11-12Update method names involving GRStateRef. No functionality change.Ted Kremenek
2008-11-05Fix regression with handling of CFMakeCollectable.Ted Kremenek
2008-11-05initXXX methods can return owned objectsTed Kremenek
2008-11-04Handle prefix '_' that may appear in front of the name of 'Release' functionsTed Kremenek
2008-10-31Made the mechanism of defining preprocessor defs for maxint, ptrdiff_t, wcharSanjiv Gupta
2008-10-30Extend "followsFundamentalRule" to ignore prefix '_' characters.Ted Kremenek
2008-10-29IOServiceGetMatchingServices is a release function.Ted Kremenek
2008-10-24Use "followsFundamentalRule" to determine if an instance method allocates mem...Ted Kremenek
2008-10-24followsFundamentalRule() returns true if "alloc" or "new" appear at the begin...Ted Kremenek
2008-10-24Issue warnings about owned objects returned from a method that does not match...Ted Kremenek
2008-10-23Disable warning about potential leaks of returned values until we test it a l...Ted Kremenek
2008-10-22Warn about potentially leaked objects that are returned from methods whose na...Ted Kremenek
2008-10-22Enhance reference-count checker to correctly identify CG "release" functions....Ted Kremenek
2008-10-21Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to t...Ted Kremenek
2008-10-18retain/release checker: Check if a tracked value escapes if we also try bindi...Ted Kremenek
2008-10-17When conjuring symbols to recover path-sensitivity, don't conjure symbols tha...Ted Kremenek
2008-10-17- constify some uses of MemRegion* (MemRegion should be immutable).Ted Kremenek
2008-10-17This patch did the following renaming. There should be no functional changes.Zhongxing Xu
2008-10-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
2008-10-01Add a QualType to ConjuredSymbol to represent the type and size of the symbol.Ted Kremenek
2008-09-27Revert 56735. The old bug categories were more informative.Ted Kremenek
2008-09-27Change "leaks" to have the category "Performance".Ted Kremenek
2008-09-21Change casing of bug type.Ted Kremenek
2008-09-20Add "category" to BugTypes, allowing bugs to be grouped.Ted Kremenek
2008-09-03Store: (static analyzer)Ted Kremenek
2008-08-29Migrate the rest symbolic analysis stuff to BasicConstraintManager.Zhongxing Xu
2008-08-29Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager.Ted Kremenek
2008-08-17Migrate the retain/release checker to not manage the RefBindings::Factory objectTed Kremenek
2008-08-16GRState:Ted Kremenek
2008-08-14Migrated retain/release checker to use the Generic Data Map in GRState (insteadTed Kremenek
2008-08-13Renamed GRState::CheckerStatePrinter to GRState::Printer.Ted Kremenek
2008-08-13Rename ValueState -> GRState.Ted Kremenek
2008-08-12More cleanups. Add missing #include.Ted Kremenek
2008-08-12More summary generation refactoring.Ted Kremenek
2008-08-12Add variadic addInstMethSummary() and refactored addPanicSummary() to use thi...Ted Kremenek
2008-08-11More #include cleaningDaniel Dunbar
2008-07-26remove some unneeded calls to getCanonicalTypeChris Lattner
2008-07-24Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNum...Ted Kremenek
2008-07-22Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GR...Ted Kremenek
2008-07-18"currentHandler" is a nullary selectorTed Kremenek
2008-07-18Fix caching bug.Ted Kremenek