aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFRefCount.cpp
AgeCommit message (Expand)Author
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
2008-05-06More comments.Ted Kremenek
2008-05-06Experiment with not converting bug names to lower case.Ted Kremenek
2008-05-06Generate "stop" summaries for selectors involving receivers whose type is not...Ted Kremenek
2008-05-06Use strncmp correctly.Ted Kremenek
2008-05-06Make string comparison legible and remove buffer overrun introduced by typo.Ted Kremenek
2008-05-06String comparison cleanups.Ted Kremenek
2008-05-06Fix logic error in string processing.Ted Kremenek
2008-05-06Remove assertion.Ted Kremenek
2008-05-06Use EvalSummary to process message expressions, thereby unifying the checkerTed Kremenek
2008-05-06Added receiver effects to EvalSummary.Ted Kremenek
2008-05-06Expand summaries to include "Receiver" effects.Ted Kremenek
2008-05-06Added initialization code to generate initial set of ObjC method summaries (n...Ted Kremenek
2008-05-06Added code to generate initial set of summaries for instance methods.Ted Kremenek
2008-05-05Add summary generation for "initXXX" methods.Ted Kremenek
2008-05-05Make CF retain diagnostics more succinct.Ted Kremenek
2008-05-05Initial work on refactoring the CFRefCount checker so that it is moreTed Kremenek
2008-05-05Improve leak diagnostics to not report a leak on the same line where Ted Kremenek
2008-05-05Improved leak diagnostics.Ted Kremenek
2008-05-05Minor refactorings/cleanups in CF retain checker and added support for NSMake...Ted Kremenek
2008-05-02Improved diagnostics for leaks: now we report which variable was leaked.Ted Kremenek
2008-05-02When running the reference count checker twice (GC and non-GC mode), only emitTed Kremenek
2008-05-01Fix copy-paste bug.Ted Kremenek
2008-05-01Remove no longer valid assertion.Ted Kremenek
2008-05-01Added line number diagnostics to indicate the allocation site of the leaked o...Ted Kremenek
2008-05-01Do not highlight bogus ranges for leaks.Ted Kremenek
2008-05-01Correctly invalidate reference count state when passing objects by reference ...Ted Kremenek
2008-05-01Renamed static method.Ted Kremenek
2008-05-01When processing "release", "retain", and "autorelease" messages return theTed Kremenek
2008-05-01Added support for "autorelease" message in CF ref. count checker.Ted Kremenek
2008-04-30added preliminary diagnostics in scan-build results to denote whetherTed Kremenek
2008-04-30Teach more of the static analyzer about ObjCQualifiedIdType.Ted Kremenek
2008-04-30Teach the static analysis engine about ObjCQualifiedIdType.Ted Kremenek
2008-04-29Update typestate logic to support GC-mode.Ted Kremenek
2008-04-29Implement semantics of CFMakeCollectable for the CF-reference count checker.Ted Kremenek
2008-04-29Provide the option to run the CF-retain checker in GC enabled mode.Ted Kremenek
2008-04-25Do a better job at computing dead symbols.Ted Kremenek
2008-04-24Add preliminary support for flagging leaks around when they happen (doesn't w...Ted Kremenek
2008-04-24CF reference count checker: handle variadic functions that allocate CF objects.Ted Kremenek
2008-04-23Fixed: <rdar://problem/5881148>Ted Kremenek
2008-04-22Added lval type (and tracking) for StringLiterals.Ted Kremenek