1
정적 분석 도구를 사용하여 커널 데이터 오브젝트를 추출하는 가장 쉬운 방법을 알아 내려고 노력하고 있는데, 하나의 옵션으로 CIL을 찾았지만 GCC에 내장되어있는 것처럼 보이며 크로스 컴파일러로 실행해야 할 때 실현되지 않을 수도 있습니다. . 다른 C 파서가 그러한 작업을 수행하는데 도움이 될지 궁금합니다.어떻게 리눅스 커널 데이터 객체를 정적으로 추출합니까?
커널 소스 코드의 정적 분석을 수행하는 도구/유틸리티를 누군가 제게 추천 해 주실 수 있습니까?
DMS 소프트웨어 리엔지니어링 툴킷은 강력한 C 파서를 가지고 있으며 임의의 분석 도구를 작성하는 데 사용할 수 있습니다. Linux kernal의 규모와 일치하는 약 2 천 5 백만 행의 코드 시스템에서 사용되었습니다. –
아이라 (Ira)에게 감사의 말을 전합니다. 그러나 우리는 우리 연구를 위해 오픈 소스 솔루션이 필요합니다. – user3736163
당신이 찾은 것을 알려주십시오. 리눅스 커널을 수행하는 데 꽤 강력한 도구가 필요합니다. 크고, 뜻밖의 C 코드. –