summaryrefslogtreecommitdiffstats
path: root/clang/Analysis/ValueState.cpp
Commit message (Expand)AuthorAgeFilesLines
* Make a major restructuring of the clang tree: introduce a top-levelChris Lattner2008-03-151-595/+0
* Fixed 80 col. violations.Ted Kremenek2008-03-151-2/+4
* Disable creation of "ContentsOf" symbols. It was fundamentally broken on manyTed Kremenek2008-03-151-2/+14
* Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter"Ted Kremenek2008-03-111-5/+13
* Added main skeleton for CFRetain transfer function logic.Ted Kremenek2008-03-111-0/+8
* Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat...Ted Kremenek2008-03-091-20/+6
* Renamed ValueManager to BasicValueFactory.Ted Kremenek2008-03-071-5/+5
* fix typosGabor Greif2008-03-061-1/+1
* remove the source location arguments to various target query methods.Chris Lattner2008-03-051-5/+2
* Implemented "print" method for ValueState.Ted Kremenek2008-03-041-10/+16
* Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:...Ted Kremenek2008-02-281-44/+42
* Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.Ted Kremenek2008-02-281-3/+3
* When analyzing a function, eagerly create symbolic values for allTed Kremenek2008-02-271-1/+5
* Header file cleanups: reduce number of includes; move ValueState.h into inclu...Ted Kremenek2008-02-271-1/+1
* Fix bug when processing '?' operator: invalidate the old "Uninitialized" valu...Ted Kremenek2008-02-261-4/+19
* Removed hack with toggling the signedness flag of the APSInt storedTed Kremenek2008-02-261-9/+2
* Small fixes to shore up overhauling of transfer function logic for '&&' and '||.Ted Kremenek2008-02-261-2/+6
* optimization: no longer create ExplodedNodes for IntegerLiteral andTed Kremenek2008-02-261-3/+27
* Major cleanup of the transfer function logic for '&&', '||', and '?'. WeTed Kremenek2008-02-261-18/+16
* Added lazy "symbolication" of parameter variables and global variables.Ted Kremenek2008-02-261-1/+9
* Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over theTed Kremenek2008-02-251-4/+2
* Added hack to transfer function logic to handle the case where a DeclRefExprTed Kremenek2008-02-251-1/+9
* Return "Unknown" when using the value of a function pointer whose valueTed Kremenek2008-02-211-1/+5
* RemoveDeadBindings should now check for UninitalizedVal, as it is a nowTed Kremenek2008-02-211-2/+9
* Major cleanup of path-sensitive analysis engine and the current analysisTed Kremenek2008-02-211-109/+107
* Placed transfer function logic for dereferences in its own method, while atTed Kremenek2008-02-201-6/+13
* Added transfer function support for casting to "void".Ted Kremenek2008-02-191-0/+7
* Added back explicit state/node creation when visiting IntegerLiterals andTed Kremenek2008-02-191-1/+2
* Added boilerplate transfer function support for CallExprs.Ted Kremenek2008-02-191-4/+18
* --grsimple now reports the number of nodes in the ExplodedGraph forTed Kremenek2008-02-191-1/+3
* Added more assertions and checks in transfer function logic to check forTed Kremenek2008-02-181-0/+5
* Simplified transfer function logic for ++/-- operators.Ted Kremenek2008-02-151-4/+22
* Added "symbol iterators" for RValues, allowing easy iteration over the symbolsTed Kremenek2008-02-141-5/+27
* Added transfer function/value track logic for taking the address of a label.Ted Kremenek2008-02-121-0/+3
* Renamed local variable.Ted Kremenek2008-02-121-11/+19
* Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMapTed Kremenek2008-02-111-2/+1
* Separate bindings for subexpressions to be in a separate map forTed Kremenek2008-02-111-82/+162
* Split off expression-bindings in ValueState from variable-bindings.Ted Kremenek2008-02-081-44/+69
* Changed "GetValue" methods to take anTed Kremenek2008-02-081-7/+7
* Moved implementation of "RemoveDeadBindings" from the mainTed Kremenek2008-02-081-0/+71
* More variable renamings.Ted Kremenek2008-02-081-8/+8
* Renamed InvalidValue to UnknownVal.Ted Kremenek2008-02-081-7/+7
* Added recording of "implicit" NULL dereferences of symbolic pointers.Ted Kremenek2008-02-071-1/+15
* Added several guards in transfer functions for "InvalidValues".Ted Kremenek2008-02-071-0/+3
* Added transfer function logic for ReturnStmts.Ted Kremenek2008-02-071-0/+4
* Fixed bug when allocating a ValueStateImpl object in getPersistentState()Ted Kremenek2008-02-061-1/+1
* Added some skeleton code for performing "assume" on symbols: e.g. assume($0 !...Ted Kremenek2008-02-061-1/+50
* Moved subclasses of LValue and NonLValue into their own namespaces.Ted Kremenek2008-02-051-7/+7
* Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and f...Ted Kremenek2008-02-051-1/+2
* Overhauling of "ValueState" so that it represents its own functional dataTed Kremenek2008-02-051-7/+68
OpenPOWER on IntegriCloud