Это мой первый раз, когда я использую шину (из репозиториев Ubuntu), и я сразу же попал в WTF. Сообщение об ошибке: nightcracker@nightcracker-pc:~/c/brainfuck$ splint brainfuck.c Splint 3.1.2 --- 03 May 2009 brainfuck.c:17:6: Parse Error. (For...

Splint хорошо справляется с отслеживанием утечек памяти в C-коде. Каждому malloc() должно соответствовать free() . Но код, собранный BoehmGC, использует GC_MALLOC() без соответствия GC_FREE() . Это заставляет Splint сходить с ума от...

Я создал 2 файла исходного кода программы C и один заголовочный файл, который просто содержит объявление функции. мой шаблон.h #include<stdio.h> void pattern_check(char *,int,char *); pattern_main.c...

Я запускаю splint на фрагменте кода C, и он дал мне следующее утверждение: jmptable.c:34:5: Implicitly only storage vm->jumptable (type struct jumptable_entry **) not released before assignment: vm->jumptable = (struct...

Я использую встроенный компилятор XC8 C (для микропроцессоров PIC). Допускается следующее: bit foo(){ //... } но, будучи нестандартным C, статический анализатор Splint выдает следующую ошибку: Ошибка синтаксического анализа:...

Я пытаюсь заставить шину работать со встроенным проектом, над которым я работаю. Мне было интересно, есть ли образец файла параметров .splintrc , в который я могу добавить свои собственные параметры/конфигурацию, чтобы упростить весь процесс. Я...

Я использую динамический массив строк в C: char** strings; Я инициализирую его: int max = 10; strings = malloc(sizeof(char*) * max); И скопируйте пару фиктивных строк: char* str = "dummy"; for (int i = 0; i < max; i++) {...

Я изо всех сил пытаюсь избавиться от предупреждения о шине для следующего кода: void GetPrinterInfo(HANDLE hPrinter){ PRINTER_INFO_4* pPrinterInfo = NULL; DWORD bytesNeeded; GetPrinter(hPrinter, 4, NULL, 0, &bytesNeeded);...