Splint

부목 정적 보안 취약점 및 프로그래밍 실수 C 프로그램을 확인하기위한 도구입니다.
부목​​은 사용되지 않는 선언, 유형 불일치, 사용을 정의하기 전에, 도달 할 수없는 코드를 무시 반환 값, 실행 경로 돌아올와, 가능성이 무한 루프를 포함하여 기존의 보풀이 검사의 많은 작업을 수행하고, 사례를 통해 가을.
더 강력한 검사 소스 코드 주석에 주어진 부가 정보에 의해 가능하게된다. 주석 양식에 일치시키는 의견 함수, 변수, 매개 변수 및 유형에 대한 해당 문서의 가정입니다.
구체적으로는 주석으로 활성화 검사 외에도 전통적인 보풀 검사의 대부분이 추가 정보를 이용하여 향상된다.
더 많은 노력이 주석 프로그램, 더 나은 검사 결과에 넣고있다. 부목​​을 사용하는 표상 노력 편익 곡선은 그림 1에 표시됩니다.
부목​​은 유연하고 프로그래머가 특정 프로젝트에 대한 노력 편익 곡선에 적합한 지점을 선택할 수 있도록 설계되었습니다.
상이한 검사를 ON 코드 주어진다 자세한 내용은 극적으로 증가를 검출 할 수있는 벌레의 수를 애노테이션.
부목​​에 의해 검출 된 문제점은 다음과 같습니다 :