Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Groundwork for C string length tracking. Currently only handles the length of... | Jordy Rose | 2010-07-27 | 1 | -2/+189 |
* | Cleanup in CStringChecker. Now properly bifurcates the state for zero/nonzero... | Jordy Rose | 2010-07-08 | 1 | -139/+171 |
* | Add memcmp() and bcmp() to CStringChecker. These check for valid access to th... | Jordy Rose | 2010-07-07 | 1 | -0/+66 |
* | Cleanup on CStringChecker and its associated tests. Also check for null argum... | Jordy Rose | 2010-07-07 | 1 | -8/+77 |
* | Add a new path-sensitive checker for functions in <string.h>, for both null-t... | Jordy Rose | 2010-07-06 | 1 | -0/+358 |