[sisyphus] Unrecognized identifier в splint

php-coder =?iso-8859-1?q?php-coder_=CE=C1_ngs=2Eru?=
Чт Янв 26 10:25:58 MSK 2006


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

    [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




Подробная информация о списке рассылки Sisyphus