[sisyphus] Unrecognized identifier в splint

[sisyphus] Unrecognized identifier в splint

[php-coder]

    Здравствуйте!

    [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 года не обновлялась и эти ф-ции появились
    как раз в этот промежуток времени.

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


-- 
+ php-coder
+ php-coder[at]altlinux[dot]ru

Re: [sisyphus] Unrecognized identifier в splint

[Yuriy Kashirin]

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

Re: [sisyphus] Unrecognized identifier в splint

[php-coder]

--- Yuriy Kashirin 2006-01-26 10:29:22 +0200
+++ php-coder 2006-01-26 16:33:27 +0600

YK> >     [c0der@mycomp ~/tmp/wmdiskmon-0.0.1/src]$ splint main.c
YK> > +posixlib G Unrecognized
YK>   ^^^^^^^^^

    Опцию я добавил после того как по умолчанию мне вдавалось:

    main.c:32: Include file <sys/stat.h> matches the name of a POSIX
    library, but the POSIX library is not being used.  Consider using
    +posixlib or +posixstrictlib to select the POSIX library, or
    -warnposix to suppress this message.
    Header name matches a POSIX header, but the POSIX library is not selected.
    (Use -warnposixheaders to inhibit warning)
                    

-- 
+ php-coder
+ php-coder[at]altlinux[dot]ru