부목 SPLINT는 보안 문제 및 코딩 실수를 위해 C 프로그램을 확인하는 도구입니다.
지금 다운로드

부목 순위 및 요약

부목 태그

디버거 보안 문제 코딩 실수 부목

부목 설명

SPLINT는 보안 문제 및 코딩 실수를 위해 C 프로그램을 확인하는 도구입니다. SPLINT는 보안 취약점 및 프로그래밍 실수를위한 C 프로그램을 정적으로 확인하는 도구입니다. 사용되지 않는 선언, 일관성 없음, 정의, 일러스트롭을 수없는 코드, 반환 값, 불리지가없는 실행 경로, 무한없이 루프를 통해 사례를 통과합니다. 더 많은 강력한 수표는 소스 코드 주석에 추가 정보로 가능합니다. 주석은 기능, 변수, 매개 변수 및 types.in에 대한 가정을 문서화하는 양식에 일치시키는 의견을 문서화합니다. 주석별로 특별히 사용할 수있는 수표에 추가 로이 추가 정보를 악용하여 개선됩니다. 결과 확인. 그림 1.Splint는 플렉시블되도록 설계되었으며 프로그래머가 특정 Project의 노력 이익 곡선에 적절한 지점을 선택하도록 허용하도록 설계되었으며 다른 수표가 켜져 있고 자세한 정보가 제공됩니다. 코드 주석 탐지 할 수있는 버그 수가 크게 증가합니다. 부목으로 감지 된 프로 파일은 다음과 같습니다. C 컴파일러 · 정보 숨기기 위반 · 매달려있는 참조 및 메모리 누수의 사용을 포함한 메모리 관리 오류 · 위험한 앨리어싱 · 지정된 인터페이스와 일치하지 않는 수정 및 전역 변수 사용 · 무한한 루프와 같은 문제가있는 제어 흐름, 사례 또는 불완전한 스위치 및 의심스러운 진술 · 버퍼 오버플로 취약점 · 위험 매크로 구현 또는 호출 · 사용자 정의 명명 규칙 위반.

부목 관련 소프트웨어