Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] Bug identification | Gabor Horvath | 2015-10-22 | 1 | -231/+233 |
* | [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 |