2009-12-17 23 views

Trả lời

11

Nếu tôi nhớ chính xác, đó là những gì lint thực hiện.

+1

Lint xem xét nhiều hơn chỉ cú pháp, nó cũng tìm kiếm các cấu trúc có hình dạng giống như sử dụng biến trước khi đặt chúng. –

+3

Vì vậy, không Perl :: Critic. – tsee

13

Có một chương trình mã nguồn mở được gọi là Splint:

Splint là một công cụ để tĩnh kiểm tra các chương trình C cho lỗ hổng bảo mật và mã hóa những sai lầm. Với nỗ lực tối thiểu, Splint có thể được sử dụng như một lint tốt hơn. Nếu nỗ lực bổ sung được đầu tư thêm chú thích vào chương trình, Splint có thể thực hiện kiểm tra mạnh hơn có thể được thực hiện bởi bất kỳ lint tiêu chuẩn nào.

17

các chương trình liên quan đến C:

  • BLAST (Berkeley Lazy Abstraction phần mềm xác minh cụ) - một mô hình phần mềm kiểm tra cho các chương trình C dựa trên sự trừu tượng lười biếng.
  • Clang - Trình biên dịch bao gồm máy phân tích tĩnh.

  • Frama-C - Một phân tích tĩnh khuôn khổ cho C.

  • Sparse - Một công cụ được thiết kế để tìm lỗi trong hạt nhân Linux.

  • Splint - Nguồn mở đã phát triển phiên bản Lint (ngôn ngữ C).

List of tools for Static Code Analysis for C (more than the list above)

5

Đó là một chủ đề ít đi, nhưng về vấn đề phân tích đang có giá trị cho C là valgrind để bắt quản lý bộ nhớ tinh ranh.

Các vấn đề liên quan