Splint - верификатор программы AC
Компилятор C довольно расплывчат во многих аспектах проверки правильности программы, особенно в проверке типов. Тщательное использование прототипов функций может помочь современным компиляторам Си в этой задаче. Однако по-прежнему нет гарантии, что после успешной компиляции программы она будет работать правильно.
Инструмент UNIX Lint Secure Programming Lint (SPLINT) может помочь в проверке множества ошибок программирования. Ознакомьтесь со страницами онлайн-руководства (man splint) для получения полной информации о шине.
Чтобы запустить шину, просто введите команду:
шина myprog.c
Splint особенно хорош при проверке типов назначений переменных и функций, эффективности, неиспользуемых переменных и идентификаторов функций, недоступного кода и возможных утечек памяти. Есть много полезных опций, которые помогут контролировать шину (см. Шину человека).
Recommended: Please try your approach on {IDE} first, before moving on to the solution.
#include <stdio.h> int main() { char a[] = "hello" ; printf ( "%d
" , a); return 0; } |
Выход :