[cfe-commits] New analyzer checker: CStringChecker

[Jordy Rose]

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
review!)

Jordy
-------------- 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>