[cfe-commits] [PATCH] review request - strcmp checker
Lenny Maiorani
lenny at Colorado.EDU
Fri Apr 8 13:51:23 PDT 2011
On 04/08/2011 10:28 AM, Lenny Maiorani wrote:
> This patch adds modeling of strcmp() to the CString checker. Validates
> inputs are not NULL and are real C strings, then does the comparison
> and binds the proper return value. Unit tests included.
>
> -Lenny
>
>
Oops. Empty patch. Thanks Joerg.
-Lenny
-------------- next part --------------
A non-text attachment was scrubbed...
Name: strcmp-checker.diff
Type: text/x-patch
Size: 6855 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110408/9815a131/attachment.bin>
More information about the cfe-commits
mailing list