cclyzerpp

cclyzer ++

Cclyzer ++ adalah analisis pointer global yang tepat dan dapat diskalakan untuk kode LLVM. Output Cclyzer ++ 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 may-alias dan pertanyaan yang harus tidak ada

Cclyzer ++ adalah sensitif lapangan dan array, melakukan konstruksi CallGraph on-the-fly, dan mendukung banyak konfigurasi sensitivitas konteks yang berbeda termasuk sensitivitas k -callsite. Ini memiliki analisis berbasis subset (gaya Andersen) dan berbasis unifikasi (Steensgaard Style). Cclyzer ++ ditulis dalam Souffle Datalog, dan sangat paralel. Cclyzer ++ berasal dari cclyzer.

Lihat dokumentasi untuk informasi lebih lanjut tentang CCZlyer ++, termasuk contoh outputnya. Dokumentasi juga tersedia online.

Jika Anda menggunakan Cclyzer ++ dalam pekerjaan Anda sendiri, harap sertakan kutipan berikut:

• Langston Barrett dan Scott Moore. "Cclyzer ++: analisis pointer yang dapat diskalakan dan tepat untuk LLVM." https://galois.com/blog/2022/08/cclyzer-scalable-and-pecise-pointer-analysis-for-llvm/. 2022.
• George Balatsouras dan Yannis Smaragdakis. "Poin Struktur-Sensitif-Untuk Analisis untuk C dan C ++." Dalam Analisis Statis: Simposium Internasional ke-23, SAS 2016, Edinburgh, Inggris, 8-10 September 2016, Prosiding 23, hlm. 84-104. Springer Berlin Heidelberg, 2016.

Ucapan Terima Kasih

Materi ini didasarkan pada pekerjaan yang didukung oleh Angkatan Udara Amerika Serikat dan Badan Proyek Penelitian Lanjutan (DARPA) berdasarkan Kontrak No. FA8750-19-C-0004. Setiap pendapat, temuan, dan kesimpulan atau rekomendasi yang diungkapkan dalam materi ini adalah pendapat penulis dan tidak selalu mencerminkan pandangan Angkatan Udara Amerika Serikat atau DARPA. Disetujui untuk rilis publik, Distribution Unlimited.