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 > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
