yapall

LLVM에 대한 또 다른 포인터 분석

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

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

Yapall은 구성 가능한 k, 필드-, 어레이 및 유량에 민감한 k-callsite에 민감하며, 비행 비행 콜 그래프 구성을 수행합니다. Yapall은 Ascent를 사용하여 작성되었으며 매우 평행합니다.

자세한 내용은 문서를 참조하십시오.

감사의 말

이 자료는 계약 번호 N66001-21-C-4023에 따라 DERPA (Defense Advanced Research Projects Agency)가 지원하는 작업을 기반으로합니다. 이 자료에 표현 된 모든 의견, 발견 및 결론 또는 권장 사항은 저자의 의견이며 반드시 DARPA의 견해를 반영하지는 않습니다.

분포

배포 명세서 A. 공개 릴리스 승인 : 배포 무제한.