[cfe-commits] [PATCH] review request - strcmp checker
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.
Oops. Empty patch. Thanks Joerg.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 6855 bytes
Desc: not available
More information about the cfe-commits