[cfe-commits] [PATCH] review request - strcat modeling addition to CStringChecker

[Lenny Maiorani]

strcat() model addition to CStringChecker.

Validates inputs are not NULL, checks for overlapping strings, concatenates the strings checking for buffer overflow, sets the length of the destination string to the sum of the s1 length and the s2 length, binds the return value to the s1 value.


-Lenny

-------------- next part --------------
A non-text attachment was scrubbed...
Name: strcat-modeling-checker.diff
Type: application/octet-stream
Size: 7342 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110403/99da9522/attachment.obj>
-------------- next part --------------