cclyzerpp

cclyzer ++

Cclyzer ++는 LLVM 코드에 대한 정확하고 확장 가능한 글로벌 포인터 분석입니다. Cclyzer ++의 출력은 다음을 포함한 다양한 프로그램 분석 작업에 사용될 수 있습니다.

• 간접 함수 호출 및 가상 방법 호출의 정확한 처리로 콜 그라프 작성
• 정확한 시선 간 제어 및 데이터 흐름 분석
• May-Alias ​​및 필수 앨리 아스 쿼리에 응답합니다

Cclyzer ++는 필드 및 어레이에 민감하며, 온라인 콜 그라프 구성을 수행하며 K- 콜사 사이트 감도를 포함한 다양한 컨텍스트 감작 구성을 지원합니다. 서브 세트 기반 (Andersen Style) 및 통일 기반 (Steensgaard Style) 분석이 있습니다. Cclyzer ++는 Soufflé Datalog로 작성되었으며 매우 평행합니다. Cclyzer ++는 Cclyzer에서 파생되었습니다.

출력의 예를 포함하여 CCZLYER ++에 대한 자세한 내용은 문서를 참조하십시오. 문서는 온라인으로도 제공됩니다.

자신의 작업에서 cclyzer ++를 ​​사용하는 경우 다음 인용을 포함하십시오.

• Langston Barrett과 Scott Moore. "Cclyzer ++ : LLVM에 대한 확장 가능하고 정확한 포인터 분석." https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/. 2022.
• George Balatsouras와 Yannis Smaragdakis. "C 및 C ++에 대한 구조에 민감한 포인트 간 분석." 정적 분석 : 2016 년 9 월 8-10 일, 영국 에든버러, SAS 2016, 23 번째 국제 심포지엄, 절차 23, pp. 84-104. Springer Berlin Heidelberg, 2016.

감사의 말

이 자료는 계약 번호 FA8750-19-C-0004에 따라 미국 공군 및 국방 고급 연구 프로젝트 기관 (DARPA)이 지원하는 작업을 기반으로합니다. 이 자료에 표현 된 모든 의견, 발견 및 결론 또는 권장 사항은 저자의 의견이며 반드시 미국 공군 또는 DARPA의 견해를 반영하지는 않습니다. 공개 릴리스, 배포 무제한 승인.