aboutsummaryrefslogtreecommitdiff
path: root/Analysis/CFRefCount.cpp
AgeCommit message (Expand)Author
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner
2008-03-14Path-sensitive analyses no longer take a FunctionDecl, but any Decl representingTed Kremenek
2008-03-12Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...Ted Kremenek
2008-03-12Added generation of symbolic values for the return values of functions that haveTed Kremenek
2008-03-12Prototype (pre-alpha) implementation of CFRef checker.Ted Kremenek
2008-03-11Added pretty-printing support for checker-specific state for the CFRefCount c...Ted Kremenek
2008-03-11Added bookkeeping of error nodes.Ted Kremenek
2008-03-11Added main logic for typestate tracking for the CFRetain checker.Ted Kremenek
2008-03-11Added main skeleton for CFRetain transfer function logic.Ted Kremenek
2008-03-07Renamed ValueManager to BasicValueFactory.Ted Kremenek
2008-03-06fix typosGabor Greif
2008-03-06Added boilerplate to execute the CF reference count checker (which isn't yet ...Ted Kremenek