Ví dụ mã để kích hoạt phân tích tĩnh của Clang

Question

Tôi muốn xem một đoạn mã nhỏ nhưng đầy đủ sẽ làm cho máy phân tích tĩnh của Clang phải phàn nàn. Động cơ của tôi chủ yếu là tôi đang cố gắng làm cho nó hoạt động trên mã PIC32 của tôi, và tôi cần một cách để phân biệt giữa "tất cả các mã là tốt" và "nó không thực sự làm bất cứ điều gì". Đó cũng là một phần tò mò, vì tôi dường như không thể tự mình đưa ra một ví dụ đơn giản.

C89/ANSI hoặc C99 là tốt và lý tưởng nhất là tôi muốn thấy thiết bị này bị rò rỉ bộ nhớ đơn giản. sử dụng của tôi là

clang --analyze test.c 

Answer 1

Tôi tìm thấy một "lỗi" trong mã của tôi (người duy nhất ;-) kích hoạt bằng cách đó, và đó không phải được phát hiện bởi -Wall. Tôi đã nấu nó xuống sau

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); 
} 

Đây là một triển khai tương đối thẳng về phía trước của danh sách được liên kết, nhưng điều này không quan trọng ở đây. Biến myhead không được sử dụng trong một ứng dụng thông thường của thuật ngữ, nhưng đối với trình biên dịch nó được sử dụng kể từ bên trong trình khởi tạo địa chỉ của một trường được lấy.

clang phân tích một cách chính xác này như

/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. 

Edit: Tôi tìm thấy một số khác cũng phát hiện ngăn xếp bộ nhớ phổ biến vũ khí

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

này không được phát hiện bởi gcc, open64 hoặc clang với -Wall, nhưng bởi clang với --analyze.