aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/RValues.h
AgeCommit message (Expand)Author
2008-05-09Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ...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-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-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-02-28Added checking for undefined results of '<<' and '>>' (shifting by too many b...Ted Kremenek
2008-02-28Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.Ted 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-22Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplifiedTed Kremenek
2008-02-21Major cleanup of path-sensitive analysis engine and the current analysisTed Kremenek
2008-02-20Implemented transfer function logic for unary '+'Ted Kremenek
2008-02-20Placed transfer function logic for dereferences in its own method, while atTed Kremenek
2008-02-19Fixed bug classof() bug with RValues that could cause an UninitializedValTed Kremenek
2008-02-19Added boilerplate transfer function support for CallExprs.Ted Kremenek
2008-02-16Further cleanup. Moved definitions for SymbolManager and ValueManager intoTed 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-14Migrated transfer functions for binary operators for simple value trackingTed Kremenek
2008-02-14Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimple...Ted Kremenek
2008-02-14Started partitioning of transfer function logic (and thus the policy behind Ted Kremenek
2008-02-14Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive".Ted Kremenek