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

[Lenny Maiorani]

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

_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits