Chương trình theo smatch.sf.net

Một thử nghiệm trong việc tìm kiếm lỗi hạt nhân.Có hai phần chính để Smatch. Đầu tiên là một bản vá cho các nguồn gcc để in ra rất nhiều thông tin. Phần thứ hai là một tập hợp các kịch bản perl và thư viện để phân tích t