Пример кода для запуска статического анализатора Clang - PullRequest
Новая
       12

Пример кода для запуска статического анализатора Clang

13 голосов
/ 11 августа 2010

Я хотел бы увидеть небольшой, но полный фрагмент кода, который заставит статический анализатор Clang пожаловаться.Моя мотивация в основном состоит в том, что я пытаюсь заставить его работать с моим кодом PIC32, и мне нужен способ различать «все в порядке, код» и «он на самом деле ничего не делает».Это также отчасти любопытство, так как я сам не могу придумать простой пример.

C89 / ANSI или C99 - это хорошо, и в идеале я бы хотел, чтобы это уловило простую утечку памяти.Я использую 

clang --analyze test.c

1 Ответ

12 голосов
/ 15 августа 2010

Я обнаружил «ошибку» в своем коде (единственную ;-), которая срабатывает при этом и не обнаруживается -Wall.Я подготовил это до следующего 

struct elem {
  struct elem *prev;
  struct elem *next;
};

#define ELEM_INITIALIZER(NAME) { .prev = &(NAME), .next = &(NAME), }

struct head {
  struct elem header;
};

#define HEAD_INITIALIZER(NAME) { .header = ELEM_INITIALIZER(NAME.header) }

int main(int argc, char ** argv) {
  struct head myhead = HEAD_INITIALIZER(myhead);
}

Это относительно прямая реализация связанного списка, но здесь это не важно.Переменная myhead не используется в обычном смысле этого слова, но для компилятора она используется, поскольку внутри инициализатора берется адрес поля.

clang правильно анализирует это как 

/tmp 11:58 <722>% clang --analyze test-clang.c
test-clang.c:25:15: warning: Value stored to 'myhead' during its initialization is never read
  struct head myhead = HEAD_INITIALIZER(myhead);
              ^        ~~~~~~~~~~~~~~~~~~~~~~~~
1 diagnostic generated.

Редактировать: Я нашел еще один, который также обнаруживает увеличение памяти стека 

char const* myBuggyFunction(void) {
  return (char[len + 1]){ 0 };
}

Это не обнаруживается gcc, open64 или clang с -Wall, ноclang с --analyze.

...