У меня есть следующий код static pthread_mutex_t watchdogMutex = PTHREAD_MUTEX_INITIALIZER; static pthread_cond_t watchdogCond = PTHREAD_COND_INITIALIZER; и я получаю следующие ошибки / предупреждения при использовании Splint...

Я столкнулся с проблемой использования шины. Вот похожий код #include <stdio.h> #include <stdlib.h> static void getMem(/*@null@*/void **out, size_t size) { if(out == NULL) return; *out = malloc(size); } int...

Есть специалисты по шинам?? Я пытаюсь использовать шину для статического анализа большого проекта, который у меня есть на C. Я вижу избыточное количество ошибок проверки границ, которые явно не являются ошибками границ. Я написал небольшую тестовую...

Я использую шину в качестве статического анализатора кода c99. Splint, похоже, не совсем совместим с c99. Поэтому я применил этот патч: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080718/52cc25f6/attachment.obj Теперь я...

(Это расширение моего предыдущего вопроса ) . Я использую Splint в Windows CLI. Встроенный компилятор C XC8 имеет пользовательский тип bit . Чтобы заставить Splint анализировать, я могу передать ему параметр CLI: -Dbit=char Однако мне...

Для следующей программы: int main(void) { int value = 2; int result = value >> 1U; return result; } ...Шина 3.1.2 выдает предупреждение: splint_test.c: (in function main) splint_test.c:4:18: Variable result initialized...

Я заново изучаю C и использую splint для проверки исходного кода. Я пытаюсь сделать следующее: создать структуру с помощью функции "конструктор" уничтожить структуру с помощью функции «деструктор», которая освобождает память структуры....

Я ищу инструмент статического анализа со зрелостью шины, который также производит анализ тестового покрытия кода. Например, все нестатические функции в libfoo.c должны присутствовать в libfoo.h, поэтому все функции в libfoo.h должны иметь модульные...