[PHP-dev 1549] Coverityのエラーレポート

Yasuo Ohgaki yohgaki @ ohgaki.net
2013年 10月 22日 (火) 13:53:04 JST


大垣です。

1つ見逃してました。
stringを参照する前にチェックしなさい、ということですね。

1300mbfl_string *
 1301mbfl_substr(
 1302    mbfl_string *string,
 1303    mbfl_string *result,
 1304    int from,
 1305    int length)
 1306{
 1307        const mbfl_encoding *encoding;
 1308        int n, m, k, len, start, end;
 1309        unsigned char *p, *w;
 1310        const unsigned char *mbtab;
 1311

deref_ptr: Directly dereferencing pointer "string".
1312        encoding = mbfl_no2encoding(string->no_encoding);

CID 1108772 (#1 of 1): Dereference before null check (REVERSE_INULL)
check_after_deref: Null-checking "string" suggests that it may be null, but
it has already been dereferenced on all paths leading to the check.
 1313        if (encoding == NULL || string == NULL || result == NULL) {
 1314                return NULL;
 1315        }
 1316        mbfl_string_init(result);
 1317        result->no_language = string->no_language;
 1318        result->no_encoding = string->no_encoding;
--
Yasuo Ohgaki
yohgaki @ ohgaki.net

-------------- next part --------------
HTMLの添付ファイルを保管しました...
URL: <http://ml.php.gr.jp/pipermail/php-dev/attachments/20131022/9b7e2f5f/attachment.html>


PHP-dev メーリングリストの案内