이것은 기호 논리를 기반으로 하는 C 소스 코드 스캐너입니다. 프로그래밍 오류 및 취약점에 대한 C 소스 코드(특히 목표인 Linux 커널의 코드)를 분석합니다. 테스트는 사용자가 정의합니다.
버전 기록
- 버전 N/A 에 게시 2011-08-13
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2011-08-13
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: c-logic.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: linux