C-logic

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 5.0/5 - ‎1 ‎투표

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

버전 기록

  • 버전 N/A 에 게시 2011-08-13
    몇 가지 수정 및 업데이트
  • 버전 N/A 에 게시 2011-08-13

프로그램 세부 정보