summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/ValueState.cpp
Commit message (Expand)AuthorAgeFilesLines
* Rename ValueState.h -> GRState.hTed Kremenek2008-08-131-575/+0
* Rename ValueState -> GRState.Ted Kremenek2008-08-131-50/+50
* Added GenericDataMap as a component of ValueState.Ted Kremenek2008-08-121-0/+1
* Added AssumeSymGT, AssumeSymGE, AssumeSymLT, AssumeSymLE to add some minor im...Ted Kremenek2008-08-071-26/+94
* Added path-sensitive checking for null pointer values passed to function argu...Ted Kremenek2008-07-221-0/+38
* Move GRTransferFunc* into ValueStateManager, and move the assumption logic th...Ted Kremenek2008-07-171-0/+172
* Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual Remov...Ted Kremenek2008-07-171-68/+18
* Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek2008-07-101-121/+30
* Move some environment methods from ValueState/ValueStateManager to Environmen...Ted Kremenek2008-07-101-119/+0
* Initial work on splitting the ValueState into an Environment, Store, andTed Kremenek2008-07-081-25/+16
* Updated clients of ImmutableMap::SlimFind to use ImmutableMap::lookup instead.Ted Kremenek2008-07-071-15/+15
* Correctly invalidate reference count state when passing objects by reference ...Ted Kremenek2008-05-011-0/+6
* Simplify RemoveDeadBindings.Ted Kremenek2008-04-291-17/+9
* Add lval::ArrayOffset, which represent the locations of entries in an array.Ted Kremenek2008-04-291-0/+1
* Added lval::FieldOffset, which represents symbolic lvalues for field offsets ...Ted Kremenek2008-04-291-0/+3
* Major rewrite/refactoring of static analysis engine. We now useTed Kremenek2008-04-291-56/+0
* Handle dereferences of function pointers (which return a handle to the functi...Ted Kremenek2008-04-251-0/+3
* Don't abort on GetRVal when the LVal is a StringLiteralVal.Ted Kremenek2008-04-251-0/+4
* Do a better job at computing dead symbols.Ted Kremenek2008-04-251-4/+12
* Added initial boilerplate in GRExprEngine to allow checker-specific transferTed Kremenek2008-04-241-7/+23
* Added lval type (and tracking) for StringLiterals.Ted Kremenek2008-04-221-0/+3
* Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers...Ted Kremenek2008-04-221-11/+1
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-0/+595
OpenPOWER on IntegriCloud