SootUp

Perpustakaan Sootup

Ini adalah rumah dari proyek Sootup . Perombakan lengkap dari kerangka kerja analisis statis yang baik dan lama.

Apa itu Sootup

• Mengubah bytecode JVM (dan input lainnya!) Ke representasi perantara Jimple.
• Menyediakan generasi classhierarki
• CallGraph Generasi dengan algoritma/presisi yang berbeda
• Analisis Data-Data Antar-Prosedural dengan Kerangka IDE/IFDS yang diaktifkan oleh pahlawan
• Menerapkan transformasi sederhana pada pengambilan badan metode (lihat BodyInterceptor )
• Memberikan penguraian dan serialisasi IR Jimple.

Memulai

Contoh dokumentasi dan penggunaan tersedia pada contoh. Periksa Javadocs. Apakah Anda punya pertanyaan? Jangan ragu untuk memulai diskusi.

Perbaikan jelaga

(Dibandingkan dengan jelaga pendahulunya.)

• API baru yang ditingkatkan (tanpa global/singleton)
• Arsitektur yang sepenuhnya dimaksudkan
• Mengaktifkan pemuatan kelas malas (tidak ada lagi pemuatan kelas yang digunakan/dependen)
• Gagal Strategi Awal - Validasi Input Saat Membangun/Membangun Objek
• Frontend terkini (yaitu java8!) Frontend (Waspadalah: tidak dapat menangani input mencoba-tangkapan, belum!)
• Dukungan Java 21 Lengkap untuk Bytecode
• Beberapa tampilan (tidak ada adegan statis tunggal lagi)
• Objek dan grafik IR Jimple yang tidak dapat diubah

Jangan ragu untuk meningkatkan jelaga!

Berkontribusi

Untuk umpan balik dan permintaan fitur, buat masalah yang tepat.
Untuk pertanyaan dan klarifikasi, silakan gunakan diskusi.

Publikasi

Kertas Sootup menjelaskan rincian lebih lanjut dan keputusan desain di balik Sootup.
Pracetak juga tersedia.

Jika Anda menggunakan jelaga dalam pekerjaan penelitian Anda, jangan ragu untuk mengutipnya sebagai berikut:

 @InProceedings{10.1007/978-3-031-57246-3_13,
author="Karakaya, Kadiray
and Schott, Stefan
and Klauke, Jonas
and Bodden, Eric
and Schmidt, Markus
and Luo, Linghui
and He, Dongjie",
editor="Finkbeiner, Bernd
and Kov{'a}cs, Laura",
title="SootUp: A Redesign of the Soot Static Analysis Framework",
booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="229--247",
isbn="978-3-031-57246-3"
}

Pendukung

Pengembangan Sootup dibiayai oleh dukungan murah hati dari Jerman Research Foundation (DFG) dan Heinz Nixdorf Institute (HNI).

Menjadi sponsor!