Re: [sisyphus] Unrecognized identifier в splint

[Yuriy Kashirin <yura@emict.com>]

On Thursday 26 January 2006 09:25, php-coder wrote:
>     Здравствуйте!
>
>     [c0der@mycomp ~/tmp/wmdiskmon-0.0.1/src]$ splint main.c
> +posixlib G Unrecognized
  ^^^^^^^^^
>     Splint 3.1.1 --- 12 Sep 2003
>
>     main.c:124:39: Unrecognized identifier: PACKAGE
>     main.c:323:5: Unrecognized identifier: bzero
>     main.c:439:48: Unrecognized identifier: VERSION
>     main.c:503:12: Unrecognized identifier: popen
>     main.c:529:5: Unrecognized identifier: pclose
>     main.c:569:17: Unrecognized identifier: strdup
>     Finished checking --- 75 code warnings
>
>     Не совсем понимаю, почему он не признает ф-ции из стандартных
> хедеров (bzero, popen, pclose, strdup). Есть предположение, что это
> из-за того, что программа уже 3 года не обновлялась и эти ф-ции
> появились как раз в этот промежуток времени.

yura@uka ~> LANG=C man strdup | tail
CONFORMING TO
       SVID 3, BSD 4.3.  strndup(), strdupa(), and strndupa() are
       GNU  extensions.

Действительно, о POSIX речь не идет. Тоже самое для для bzero.
popen, pclose соответствуют POSIX.2 (т.е. IEEE Std 1003.2-1992),
а splint +posixlib предполагает IEEE Std 1003.1-1990 если верить его 
доке.

>
>     Может тогда обновить её базу данных из OpenBSD? У них там есть
> xlint и базы, наверное, совпадают + они чаще используют подобные
> инструменты и больше вероятности, что эти ф-ци известны программе.
> (Правда, там BSD-specific)

-- 
 Best regards
 Yuriy Kashirin