]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 627788c) | patch
This patch adds modeling of strcmp() to the CString checker. Validates inputs are...
authorLenny Maiorani <lenny@colorado.edu>
Tue, 12 Apr 2011 17:08:43 +0000 (17:08 +0000)
committerLenny Maiorani <lenny@colorado.edu>
Tue, 12 Apr 2011 17:08:43 +0000 (17:08 +0000)
commit318dd92ad834857ea5bb91de288c1eb56cdbec1a
tree7cd0964513e7e99202a35600bfdec78774dce1d5tree | snapshot
parent627788c29976fbeb4ad47bcfcb3576889070e357commit | diff
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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@129364 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/CStringChecker.cpp diff | blob | history
test/Analysis/string.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.