Age | Commit message (Expand) | Author |
---|---|---|
2008-08-13 | Rename ValueState -> GRState. | Ted Kremenek |
2008-07-31 | Enhanced path-sensitive return-of-stack-address check to print out the name o... | Ted Kremenek |
2008-07-30 | Add range highlighting for path-sensitive return-of-stack-address check. | Ted Kremenek |
2008-07-22 | Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GR... | Ted Kremenek |