Недавно я использовал PC-lint9 для обнаружения различных ошибок, и это действительно поразило меня, но похоже, что PC-lint9 не может отследить оборванный указатель, вот снимок кода, с которым я тестирую. int* pkInt = new int; int* pkDangInt =...

У моей компании есть исполняемый файл lint-nt.exe для PC-lint. Я пытаюсь использовать это для интеграции PC-lint с MS Visual Studio 2008 для анализа источников .c / .cpp. Но мне не удалось заставить это работать. Я читаю:...

Раньше я использовал Visual Lint (как интерфейс для PC-lint) и каким-то образом настраивал его для использования другого файла options.lnt для разных проектов. Мое воспоминание, которое может быть неверным, заключается в том, что он был настроен на...

Я пытаюсь использовать PC-Lint в Windows для выполнения статического анализа кода в файлах C. Я установил программное обеспечение и запустил настройку конфигурации для компилятора gcc , где я получил следующие файлы в каталоге конфигурации:...

Я выполнил статический анализ кода для MISRA 2004 и MISRA 2012 для следующего кода C: BOOL_TYPE Strings_Are_Equal(const char *s1, const char *s2) { BOOL_TYPE result = True; const char *str1 = s1; const char *str2 = s2; if (NULL == s1 ||...

Предположим, у меня есть typedef struct { unsigned short bar : 1; } foo_bf; typedef union { unsigned short val; foo_bf bf; } foo_t; Как мне правильно присвоить значение этому битовому полю из типа, например, uint16_t?...