[cfe-commits] New analyzer checker: CStringChecker

Jordy Rose jediknil at belkadan.com
Tue Jun 29 01:13:43 PDT 2010

Proposed: a new checker that models the evaluation of the string functions
in <string.h> (or at least checks the arguments), both the byte string and
the NUL-terminated string functions.

Currently I only have it checking memcpy() (and its friends memmove() and
bcopy()), but it does catch both overflows and overlaps.

(Adding a new checker seems like a big enough change to warrant pre-commit

-------------- next part --------------
A non-text attachment was scrubbed...
Name: CStringChecker.patch
Type: text/x-diff
Size: 19660 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20100629/f63fc83d/attachment.patch>

More information about the cfe-commits mailing list