aboutsummaryrefslogtreecommitdiff
path: root/Analysis/ValueState.cpp
AgeCommit message (Expand)Author
2008-03-15Make a major restructuring of the clang tree: introduce a top-levelChris Lattner
2008-03-15Fixed 80 col. violations.Ted Kremenek
2008-03-15Disable creation of "ContentsOf" symbols. It was fundamentally broken on manyTed Kremenek
2008-03-11Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter"Ted Kremenek
2008-03-11Added main skeleton for CFRetain transfer function logic.Ted Kremenek
2008-03-09Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat...Ted Kremenek
2008-03-07Renamed ValueManager to BasicValueFactory.Ted Kremenek
2008-03-06fix typosGabor Greif
2008-03-05remove the source location arguments to various target query methods.Chris Lattner
2008-03-04Implemented "print" method for ValueState.Ted Kremenek
2008-02-28Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine:...Ted Kremenek
2008-02-28Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.Ted Kremenek
2008-02-27When analyzing a function, eagerly create symbolic values for allTed Kremenek
2008-02-27Header file cleanups: reduce number of includes; move ValueState.h into inclu...Ted Kremenek
2008-02-26Fix bug when processing '?' operator: invalidate the old "Uninitialized" valu...Ted Kremenek
2008-02-26Removed hack with toggling the signedness flag of the APSInt storedTed Kremenek
2008-02-26Small fixes to shore up overhauling of transfer function logic for '&&' and '||.Ted Kremenek
2008-02-26optimization: no longer create ExplodedNodes for IntegerLiteral andTed Kremenek
2008-02-26Major cleanup of the transfer function logic for '&&', '||', and '?'. WeTed Kremenek
2008-02-26Added lazy "symbolication" of parameter variables and global variables.Ted Kremenek
2008-02-25Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over theTed Kremenek
2008-02-25Added hack to transfer function logic to handle the case where a DeclRefExprTed Kremenek
2008-02-21Return "Unknown" when using the value of a function pointer whose valueTed Kremenek
2008-02-21RemoveDeadBindings should now check for UninitalizedVal, as it is a nowTed Kremenek
2008-02-21Major cleanup of path-sensitive analysis engine and the current analysisTed Kremenek
2008-02-20Placed transfer function logic for dereferences in its own method, while atTed Kremenek
2008-02-19Added transfer function support for casting to "void".Ted Kremenek
2008-02-19Added back explicit state/node creation when visiting IntegerLiterals andTed Kremenek
2008-02-19Added boilerplate transfer function support for CallExprs.Ted Kremenek
2008-02-19--grsimple now reports the number of nodes in the ExplodedGraph forTed Kremenek
2008-02-18Added more assertions and checks in transfer function logic to check forTed Kremenek
2008-02-15Simplified transfer function logic for ++/-- operators.Ted Kremenek
2008-02-14Added "symbol iterators" for RValues, allowing easy iteration over the symbolsTed Kremenek
2008-02-12Added transfer function/value track logic for taking the address of a label.Ted Kremenek
2008-02-12Renamed local variable.Ted Kremenek
2008-02-11Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMapTed Kremenek
2008-02-11Separate bindings for subexpressions to be in a separate map forTed Kremenek
2008-02-08Split off expression-bindings in ValueState from variable-bindings.Ted Kremenek
2008-02-08Changed "GetValue" methods to take anTed Kremenek
2008-02-08Moved implementation of "RemoveDeadBindings" from the mainTed Kremenek
2008-02-08More variable renamings.Ted Kremenek
2008-02-08Renamed InvalidValue to UnknownVal.Ted Kremenek
2008-02-07Added recording of "implicit" NULL dereferences of symbolic pointers.Ted Kremenek
2008-02-07Added several guards in transfer functions for "InvalidValues".Ted Kremenek
2008-02-07Added transfer function logic for ReturnStmts.Ted Kremenek
2008-02-06Fixed bug when allocating a ValueStateImpl object in getPersistentState()Ted Kremenek
2008-02-06Added some skeleton code for performing "assume" on symbols: e.g. assume($0 !...Ted Kremenek
2008-02-05Moved subclasses of LValue and NonLValue into their own namespaces.Ted Kremenek
2008-02-05Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and f...Ted Kremenek
2008-02-05Overhauling of "ValueState" so that it represents its own functional dataTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-07-16 14:32:47 +0000