aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/CFRefCount.cpp
AgeCommit message (Expand)Author
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
2008-04-18Generalize caching mechanism for bugs reports. Now individual BugTypesTed Kremenek
2008-04-18Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errorsTed Kremenek
2008-04-18Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the nod...Ted Kremenek
2008-04-18More grammar fixes.Ted Kremenek
2008-04-18Fix plurality debacle.Ted Kremenek
2008-04-18Added path diagnostics for reference counts.Ted Kremenek
2008-04-18BugReport::VisitNode now takes BugReporter& instead of ASTContext&.Ted Kremenek
2008-04-18Simplified internal logic of BugReporter, consolidating EmitWarning andTed Kremenek
2008-04-17Hook up reporting reference count memory leaks to the BugReporter mechanism.Ted Kremenek
2008-04-17Added transfer function support for ReturnStmt to support detecting leaksTed Kremenek
2008-04-16CF ref. count checker: Register memory leaks at the end of a path.Ted Kremenek
2008-04-16Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV toTed Kremenek
2008-04-16Implemented toll-free bridging support for CF Reference count checker.Ted Kremenek
2008-04-15Added initial boilerplate to support toll-free bridging in the ref-count chec...Ted Kremenek
2008-04-14Treat calls to unresolved functions in the CF-ref count checker as callsTed Kremenek
2008-04-14Hooked up the dead-store checker to the BugReporter interface. Now dead-storeTed Kremenek
2008-04-11Add some boilerplate to report memory leaks at the end of an analyzed function.Ted Kremenek
2008-04-11Added FIXMETed Kremenek
2008-04-11Fix regression introduced by my last commit.Ted Kremenek
2008-04-11Changed behavior of how we handle "NULL" summaries: just callTed Kremenek
2008-04-11Use RangedBugReport to report better ranges for reference count errors.Ted Kremenek
2008-04-10Fixed some logic errors in the CF ref count checker; we now can detect simpleTed Kremenek
2008-04-10Simplify CF ref. count checker state machine.Ted Kremenek
2008-04-10Fix some bonehead bugs in summary generation in CFRefCount.Ted Kremenek
2008-04-10Refactored all logic to run the GRSimpleVals and CFRef checker into a commonTed Kremenek
2008-04-10CFRefCount analysis now properly calls "EmitWarnings" after analyzing a funct...Ted Kremenek
2008-04-09Hooked up initial reference-count checks to the BugReporter interface.Ted Kremenek
2008-04-09Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.Ted Kremenek
2008-04-09Added some boilerplate for emitting warnings from the CF-reference count chec...Ted Kremenek
2008-03-31Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removedTed Kremenek
2008-03-21Rename "Nodify" to "MakeNode"Ted Kremenek
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner