프로그램별 c-logic.sf.net

이것은 기호 논리를 기반으로 하는 C 소스 코드 스캐너입니다. 프로그래밍 오류 및 취약점에 대한 C 소스 코드(특히 목표인 Linux 커널의 코드)를 분석합니다. 테스트는 사용자가 정의합니다.