summaryrefslogtreecommitdiffstats
path: root/clang/Analysis/CFRefCount.cpp
Commit message (Expand)AuthorAgeFilesLines
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-796/+0
* Path-sensitive analyses no longer take a FunctionDecl, but any Decl representingTed Kremenek2008-03-141-2/+2
* Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...Ted Kremenek2008-03-121-3/+3
* Added generation of symbolic values for the return values of functions that haveTed Kremenek2008-03-121-12/+26
* Prototype (pre-alpha) implementation of CFRef checker.Ted Kremenek2008-03-121-40/+323
* Added pretty-printing support for checker-specific state for the CFRefCount c...Ted Kremenek2008-03-111-1/+66
* Added bookkeeping of error nodes.Ted Kremenek2008-03-111-10/+34
* Added main logic for typestate tracking for the CFRetain checker.Ted Kremenek2008-03-111-11/+117
* Added main skeleton for CFRetain transfer function logic.Ted Kremenek2008-03-111-20/+259
* Renamed ValueManager to BasicValueFactory.Ted Kremenek2008-03-071-1/+1
* fix typosGabor Greif2008-03-061-1/+1
* Added boilerplate to execute the CF reference count checker (which isn't yet ...Ted Kremenek2008-03-061-0/+65
OpenPOWER on IntegriCloud