aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ValueState.cpp
AgeCommit message (Expand)Author
2008-08-13Rename ValueState.h -> GRState.hTed Kremenek
2008-08-13Rename ValueState -> GRState.Ted Kremenek
2008-08-12Added GenericDataMap as a component of ValueState.Ted Kremenek
2008-08-07Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor im...Ted Kremenek
2008-07-22Added path-sensitive checking for null pointer values passed to function argu...Ted Kremenek
2008-07-17Move GRTransferFunc* into ValueStateManager, and move the assumption logic th...Ted Kremenek
2008-07-17Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual Remov...Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek
2008-07-10Move some environment methods from ValueState/ValueStateManager to Environmen...Ted Kremenek
2008-07-08Initial work on splitting the ValueState into an Environment, Store, andTed Kremenek
2008-07-07Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.Ted Kremenek
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