aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ValueState.cpp
AgeCommit message (Expand)Author
2008-05-01Correctly invalidate reference count state when passing objects by reference ...Ted Kremenek
2008-04-29Simplify RemoveDeadBindings.Ted Kremenek
2008-04-29Add lval::ArrayOffset, which represent the locations of entries in an array.Ted Kremenek
2008-04-29Added lval::FieldOffset, which represents symbolic lvalues for field offsets ...Ted Kremenek
2008-04-29Major rewrite/refactoring of static analysis engine. We now useTed Kremenek
2008-04-25Handle dereferences of function pointers (which return a handle to the functi...Ted Kremenek
2008-04-25Don't abort on GetRVal when the LVal is a StringLiteralVal.Ted Kremenek
2008-04-25Do a better job at computing dead symbols.Ted Kremenek
2008-04-24Added initial boilerplate in GRExprEngine to allow checker-specific transferTed Kremenek
2008-04-22Added lval type (and tracking) for StringLiterals.Ted Kremenek
2008-04-22Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers...Ted Kremenek
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner