Age | Commit message (Expand) | Author |
---|---|---|
2010-03-27 | Checker: random include cleanup. | Benjamin Kramer |
2010-02-08 | Revert 95541. | Ted Kremenek |
2010-02-08 | Rename: GRState::getSVal(Stmt*) => getExprVal(), | Zhongxing Xu |
2010-02-04 | Cast evaluation no longer touch GRState. | Zhongxing Xu |
2010-02-04 | Specially handle casts to 'void' in AdjustedReturnValueChecker. | Ted Kremenek |
2010-02-04 | static analyzer: handle casts of a function to a function pointer with | Ted Kremenek |