Chương trình theo c-logic.sf.net

Đây là một máy quét mã nguồn C dựa trên logic tượng trưng. Nó phân tích mã nguồn C (đặc biệt là mã nguồn của hạt nhân Linux, tại đó nó nhằm mục đích) cho các lỗi lập trình và lỗ hổng. Các bài kiểm tra được xác định bởi người