[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.


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