Splint - верификатор программы AC

Опубликовано: 16 Февраля, 2022

Компилятор 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;
}

Выход :

Хотите узнать о лучших видео и практических задачах, ознакомьтесь с Базовым курсом C для базового и продвинутого C.