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

[Ted Kremenek]

Looks great!

On Apr 27, 2011, at 8:31 AM, Lenny Maiorani wrote:

> The attached patch implements a checker for strcasecmp(). It validates inputs are not NULL and compares the inputs and binds the return value to 0, -1, 1 correctly based upon the inputs.
> 
> Modeling of strncasecmp() is a trivial addition, but requires a bounded version of StringRef::compare_lower() in LLVM. Coming soon.
> 
> Please review.
> 
> -Lenny
> 
> <strcasecmp-checker.diff>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits