| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rename ValueState -> GRState. | Ted Kremenek | 2008-08-13 | 1 | -11/+11 |
| * | Enhanced path-sensitive return-of-stack-address check to print out the name o... | Ted Kremenek | 2008-07-31 | 1 | -9/+21 |
| * | Add range highlighting for path-sensitive return-of-stack-address check. | Ted Kremenek | 2008-07-30 | 1 | -5/+18 |
| * | Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GR... | Ted Kremenek | 2008-07-22 | 1 | -0/+332 |

