[cfe-commits] [PATCH] review request - strcmp checker

Lenny Maiorani lenny at Colorado.EDU
Fri Apr 8 09:28:31 PDT 2011


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




More information about the cfe-commits mailing list