프로그램별 smatch.sf.net

커널 오류를 찾는 실험입니다.Smatch에는 두 가지 주요 부분이 있습니다. 첫 번째는 많은 정보를 인쇄하는 gcc 소스에 대한 패치입니다. 두 번째 부분은 정보를 분석하기 위한 펄 스크립트 및 라이브러리 모음입니다.