aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFRefCount.cpp
AgeCommit message (Expand)Author
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
2008-07-18Add panic support for NSAssertionHandler.Ted Kremenek
2008-07-17Update signature of EvalAssume.Ted Kremenek
2008-07-15isRetain() and isRelease() now only returns true if "Retain"/"Release" appear...Ted Kremenek
2008-07-15Support retain/release tracking for CoreGraphics (CGxxxRef) objects.Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek
2008-07-09Fix PR2519: correctly handle CFDictionaryCreate.Ted Kremenek
2008-07-07Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.Ted Kremenek
2008-07-03Use conjured symbols for variables whose values are invalidated whenTed Kremenek
2008-07-02Refactored some of the BugReporter interface so that data such as the ASTCont...Ted Kremenek
2008-07-01Unlike NSWindow objects, NSPanel objects initially do not have self-ownership.Ted Kremenek
2008-07-01Temporarily treat "Autorelease" as "StopTracking". This is the original beha...Ted Kremenek
2008-06-30Added "Autorelease" ArgEffect to better simulate "autorelease" messages. RightTed Kremenek
2008-06-25CF ref checker:Ted Kremenek
2008-06-24Remove unneeded method arguments.Ted Kremenek
2008-06-24Cache ObjC summaries by IdentifierInfo*, not by ObjCInterfaceDecl.Ted Kremenek
2008-06-23Added ObjCSummaryCache, a new summary cache object to cache summaries for Obj...Ted Kremenek
2008-06-23Rename summary methods for "instance methods" to "class methods" (the names g...Ted Kremenek
2008-06-23The CF retain/release checker now assumes that allocations do not fail. Even...Ted Kremenek
2008-06-17This patch is motivated by numerous strict-aliasing warnings when compilingTed Kremenek
2008-06-02Teach the CF retain checker about "_init" methods. Fixes: <rdar://problem/59...Ted Kremenek
2008-05-22Prototyped support in the BugReporter to emit diagnostics of the form "p now ...Ted Kremenek
2008-05-22Expand retain/release checker to consider methods/function calls that cause aTed Kremenek
2008-05-16Cache leaks by the allocation site, not the leak location.Ted Kremenek
2008-05-09Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ...Ted Kremenek
2008-05-07Added support for "drain".Ted Kremenek
2008-05-07Expand the CF retain checker to allow the Create/Get rule to apply to anyTed Kremenek
2008-05-07Flip order of arguments to CStrInStrNoCase.Ted Kremenek
2008-05-07Use llvm::CStrInCStrNoCase instead of strcasestr, since the latter is not por...Ted Kremenek
2008-05-07copy-paste: NS types are not typedefs.Ted Kremenek
2008-05-07Do not treat **instance** methods "copyWithZone:" and "mutableCopyWithZone:" ...Ted Kremenek
2008-05-07Be less promiscuous with generating summaries for "new", "copy", "create".Ted Kremenek
2008-05-07Added auto-summary generation for createXXX, copyXXX, newXXX methods.Ted Kremenek
2008-05-06Don't report leaks for autoreleased objects.Ted Kremenek