Age | Commit message (Expand) | Author |
---|---|---|
2010-10-10 | Add experimental chroot check which checks improper use of chroot(). Patch by | Zhongxing Xu |
2010-07-23 | Added an path-sensitive unreachable code checker to the experimental analyzer... | Tom Care |
2010-07-06 | Add a new path-sensitive checker for functions in <string.h>, for both null-t... | Jordy Rose |
2010-06-16 | Add StreamChecker. This checker models and checks stream manipulation functions. | Zhongxing Xu |
2010-06-09 | Merge StackAddrLeakChecker and ReturnStackAddressChecker. | Zhongxing Xu |
2010-06-08 | Add a checker check if a global variable holds a local variable's address after | Zhongxing Xu |
2010-05-25 | CastSizeChecker checks when casting a malloc'ed symbolic region to type T, | Zhongxing Xu |
2010-01-26 | Move 'LocalCheckers.h' to the 'Checkers' subdirectory. | Ted Kremenek |
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |