| Age | Commit message (Expand) | Author |
|---|
| 2008-10-21 | Rename: | Zhongxing Xu |
| 2008-10-17 | - constify some uses of MemRegion* (MemRegion should be immutable). | Ted Kremenek |
| 2008-10-17 | This patch did the following renaming. There should be no functional changes. | Zhongxing Xu |
| 2008-10-17 | Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi... | Ted Kremenek |
| 2008-10-04 | This is a big patch, but the functionality change is small and the rest of th... | Ted Kremenek |
| 2008-09-29 | Extend 'IsLValType' to handle BlockPointerTypes. | Ted Kremenek |
| 2008-07-18 | Fix regression by explicitly checking if we are negating a SymIntConstantVal. | Ted Kremenek |
| 2008-05-09 | Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ... | Ted Kremenek |
| 2008-04-29 | Add lval::ArrayOffset, which represent the locations of entries in an array. | Ted Kremenek |
| 2008-04-29 | Added lval::FieldOffset, which represents symbolic lvalues for field offsets ... | Ted Kremenek |
| 2008-04-22 | Added lval type (and tracking) for StringLiterals. | Ted Kremenek |
| 2008-04-22 | Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers... | Ted Kremenek |
| 2008-03-09 | Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat... | Ted Kremenek |
| 2008-03-07 | Renamed ValueManager to BasicValueFactory. | Ted Kremenek |
| 2008-03-06 | fix typos | Gabor Greif |
| 2008-03-05 | remove the source location arguments to various target query methods. | Chris Lattner |
| 2008-02-28 | Added checking for undefined results of '<<' and '>>' (shifting by too many b... | Ted Kremenek |
| 2008-02-28 | Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. | Ted Kremenek |
| 2008-02-26 | Major cleanup of the transfer function logic for '&&', '||', and '?'. We | Ted Kremenek |
| 2008-02-26 | Added lazy "symbolication" of parameter variables and global variables. | Ted Kremenek |
| 2008-02-22 | Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified | Ted Kremenek |
| 2008-02-21 | Major cleanup of path-sensitive analysis engine and the current analysis | Ted Kremenek |
| 2008-02-20 | Implemented transfer function logic for unary '+' | Ted Kremenek |
| 2008-02-20 | Placed transfer function logic for dereferences in its own method, while at | Ted Kremenek |
| 2008-02-19 | Fixed bug classof() bug with RValues that could cause an UninitializedVal | Ted Kremenek |
| 2008-02-19 | Added boilerplate transfer function support for CallExprs. | Ted Kremenek |
| 2008-02-16 | Further cleanup. Moved definitions for SymbolManager and ValueManager into | Ted Kremenek |
| 2008-02-15 | Simplified transfer function logic for ++/-- operators. | Ted Kremenek |
| 2008-02-14 | Added "symbol iterators" for RValues, allowing easy iteration over the symbols | Ted Kremenek |
| 2008-02-14 | Migrated transfer functions for binary operators for simple value tracking | Ted Kremenek |
| 2008-02-14 | Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimple... | Ted Kremenek |
| 2008-02-14 | Started partitioning of transfer function logic (and thus the policy behind | Ted Kremenek |
| 2008-02-14 | Moved Rvalues.h from "Analysis/" to "include/clang/Analysis/PathSensitive". | Ted Kremenek |
