Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [Static Analyzer] The name of the checker that reports a bug is added | Gabor Horvath | 2015-02-09 | 1 | -0/+1 |
* | Add support for the static analyzer to synthesize function implementations fr... | Ted Kremenek | 2014-08-27 | 1 | -0/+288 |