Я скомпилировал (без предупреждений) пример hello-5.c из " Руководства по программированию модуля ядра Linux ", и когда я попытался его модифицировать, я получил следующую ошибку: insmod: error inserting 'hello-5.ko': -1 Unknown symbol in...

Я пробовал Splint с недавно написанной программой на языке C и пытался понять и удалить предупреждения, которые она выдает. . Один я понимаю, но не могу понять, как его удалить из следующего фрагмента кода: static MyType_t *findById(const int...

Это строка кода: bool cpfs_utimens(struct Cpfs *, char const *path, struct timespec const[2]); Запуск splint 3.1.2 генерирует это предупреждение: cpfs.h:21:74: Function parameter times declared as manifest array (size...

Я работаю над довольно сложным проектом, и, как дополнительное усложнение, это встроенный в ядро ​​модуль Linux. Запуск инструмента линтинга, такого как splint, на такой кодовой базе, конечно, не невозможен [1], но тривиальных усилий было...

Я искал в документации Splint термин «свежее хранилище» и нашел упоминание об этом, но не нашел формального определения. Другие модификаторы, такие как null или only, я понимаю и использую. Я просто не уверен, что такое свежее хранилище. Ситуация...

Я использую MPLAB X (3.26) с PIC32 на Windows (компилятор XC32 v1.40). Я пытаюсь использовать шину для статического анализа чьего-то кода в рамках проверки. У меня есть большинство определений компилятора и отсортированные пути поиска, но я немного...

Я знаю, что локальные переменные могут иметь «случайное» значение, если они не установлены, но плохо ли устанавливать первое значение локальной переменной с помощью указателя? Например: void setValue(int* p_val) { *p_val = …; /* Assignment...