yapall

Analisis pointer lainnya untuk LLVM

Yapall adalah analisis pointer yang tepat dan dapat diskalakan untuk LLVM. Output Yapall dapat digunakan untuk berbagai tugas analisis program, termasuk:

• Pembuatan CallGraphs dengan penanganan yang tepat dari panggilan fungsi tidak langsung dan panggilan metode virtual
• Analisis kontrol antar-prosedural dan data yang tepat
• Menjawab pertanyaan May-Alias

Yapall adalah K-Callsite sensitif untuk K yang dapat dikonfigurasi, bidang, array-, dan aliran-tidak sensitif, dan melakukan konstruksi CallGraph on-the-fly. Yapall ditulis menggunakan pendakian dan sangat paralel.

Untuk informasi lebih lanjut, lihat dokumentasinya.

Ucapan Terima Kasih

Materi ini didasarkan pada pekerjaan yang didukung oleh Defense Advanced Research Projects Agency (DARPA) berdasarkan Kontrak No. N66001-21-C-4023. Setiap pendapat, temuan, dan kesimpulan atau rekomendasi yang diungkapkan dalam materi ini adalah pendapat penulis dan tidak harus mencerminkan pandangan DARPA.

Distribusi

Pernyataan Distribusi A. Disetujui untuk Rilis Publik: Distribusi Tidak Terbatas.