소스 코드 창의 파일

파일은 소스 코드 창에 포함된 코드가 규칙 위반을 유발하거나 검색하는 데 관련된 경우에만 표시됩니다. 따라서 동일한 드라이버의 다른 규칙 위반에 대해 창에 다른 파일이 표시됩니다.

소스 코드 창에 표시되는 파일 형식은 다음과 같습니다.

드라이버 원본 파일
규칙 위반과 관련된 드라이버 및 드라이버가 사용하는 라이브러리의 원본 파일입니다. 이 파일 그룹에는 C 파일 및 헤더 파일이 포함됩니다.

규칙 원본 파일(\* .slic)
확인에서 정적 드라이버 검증 도구 규칙 의 원본 파일입니다. 이 코드는 이 용도로 개발된 간단한 언어인 SLIC(Specification Language for Interface Checking)로 작성되었습니다.

sdv-harness.c
확인의 규칙에 대한 SDV 운영 체제 모델의 원본 파일입니다.