Splint

Splint là một công cụ để kiểm tra tĩnh chương trình C cho các lỗ hổng an ninh và những sai lầm lập trình.
Nẹp làm nhiều séc lint truyền thống bao gồm các khai báo không sử dụng, loại mâu thuẫn, sử dụng trước khi định nghĩa, mã truy cập, giá trị trả lại bỏ qua, con đường thực hiện không có trở lại, các vòng lặp có khả năng vô hạn, và mùa thu qua trường hợp.
Kiểm tra mạnh mẽ hơn có thể được thực hiện bằng cách thêm các thông tin được đưa ra trong các chú thích mã nguồn. Chú thích là những nhận xét cách điệu mà giả định tài liệu về chức năng, các biến, các thông số và các loại.
Ngoài việc kiểm tra cụ thể được kích hoạt bởi các chú thích, nhiều người trong số các kiểm tra lint truyền thống được cải thiện bằng cách khai thác thông tin bổ sung này.
Khi nỗ lực nhiều hơn được đưa vào chương trình chú giải, kết quả kiểm tra tốt hơn. Một đường cong nỗ lực biểu hiện lợi ích cho việc sử dụng Splint được thể hiện trong hình 1.
Nẹp được thiết kế linh hoạt và cho phép lập trình để chọn điểm thích hợp trên các đường cong nỗ lực và lợi ích cho các dự án cụ thể.
Kiểm tra như khác nhau được bật và nhiều thông tin được đưa ra trong mã chú thích số lượng các lỗi có thể phát hiện sự gia tăng đáng kể.
Vấn đề phát hiện bởi Splint bao gồm: