C-logic

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu

Về C-logic

Đâ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 dùng.