상단 디버깅 소프트웨어 에 David Evans

부목 정적 보안 취약점 및 프로그래밍 실수 C 프로그램을 확인하기위한 도구입니다.부목​​은 사용되지 않는 선언, 유형 불일치, 사용을 정의하기 전에, 도달 할 수없는 코드를 무시 반환 값, 실행 경로 돌아올와, 가능성이 무한 루프를 포함하여 기존의 보풀이 검사의 많은 작업을 수행하고, 사례를 통해 가을.더 강력한 검사 소스 코드 주석에 주어진 부가 정보에 의해 가능하게된다. 주석 양식에 일치시키는 의견 함수, 변수, 매개 변수 및 유형에 대한 해당...