Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add experimental chroot check which checks improper use of chroot(). Patch by | Zhongxing Xu | 2010-10-10 | 1 | -0/+1 |
* | Added an path-sensitive unreachable code checker to the experimental analyzer... | Tom Care | 2010-07-23 | 1 | -8/+8 |
* | 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 |