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 |