[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