Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add a new path-sensitive checker for functions in <string.h>, for both null-t... | Jordy Rose | 2010-07-06 | 1 | -0/+1 |
* | Add StreamChecker. This checker models and checks stream manipulation functions. | Zhongxing Xu | 2010-06-16 | 1 | -0/+1 |
* | Merge StackAddrLeakChecker and ReturnStackAddressChecker. | Zhongxing Xu | 2010-06-09 | 1 | -1/+1 |
* | Add a checker check if a global variable holds a local variable's address after | Zhongxing Xu | 2010-06-08 | 1 | -0/+1 |
* | CastSizeChecker checks when casting a malloc'ed symbolic region to type T, | Zhongxing Xu | 2010-05-25 | 1 | -0/+1 |
* | Move 'LocalCheckers.h' to the 'Checkers' subdirectory. | Ted Kremenek | 2010-01-26 | 1 | -1/+1 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+40 |