Qilin
1.0.0
️ Dokumentasi untuk Qilin sedang dalam pengembangan.
Repositori ini menampung Qilin, kerangka analisis pointer Java baru untuk mendukung sensitivitas konteks berbutir halus. Untuk detail teknis, silakan merujuk ke makalah ECOOP'22 kami.
instanceof dari Java 16).subprocess.run yang digunakan dalam artifact/qilin.py ditambahkan dalam Python 3.5). Repositori ini berisi submodule yang berisi satu set tolok ukur siap pakai dunia nyata untuk Qilin. Jika Anda ingin menjalankan qilin pada tolok ukur ini, silakan gunakan perintah berikut untuk mengambil kode sumber qilin:
$ git clone --recurse-submodules https://github.com/QilinPTA/Qilin.git
Jika Anda telah mengkloning qilin dengan cara yang normal, Anda masih dapat menggunakan perintah di bawah ini untuk mengunduh tolok ukur ini:
$ git submodule update --init
Kami menggunakan Gradle sebagai alat Build Automation. Untuk membangun qilin, gunakan
$ ./run.sh
Skrip ini berisi perintah untuk menghasilkan Qilin-VERSION-SNAPSHOT.jar , yang akan secara otomatis dipindahkan ke artifact/ .
Untuk pengguna yang ingin membangun Qilin di IDE, silakan merujuk ke halaman ini.
Anda dapat menggunakan Qilin baik melalui antarmuka baris perintahnya (misalnya, driver.Main ) atau sebagai perpustakaan. Untuk para peneliti yang sedang mengerjakan analisis pointer java, kami telah menyediakan seluruh rangkaian skrip, tolok ukur (misalnya, DaCapo2006 ) dan perpustakaan JDK di bawah artifact/ .
Untuk menguji qilin, Anda dapat langsung melakukan:
$ cd artifact
$ python3 run.py antlr ci -print
Perintah di atas akan menganalisis antlr dengan analisis pointer yang tidak peka konteks dengan beberapa metrik yang ditampilkan di layar.
Kami berencana untuk mengoptimalkan skrip run.py untuk membuat info bantuannya lebih ramah pengguna.
| Tentang qilin | Panduan Pengaturan | Panduan Pengguna | Panduan Pengembang |
|---|---|---|---|
| Memperkenalkan qilin - apa yang dilakukannya dan bagaimana kami mendesainnya | Panduan Pengaturan Langkah demi Langkah untuk Membangun Qilin | Opsi baris perintah qilin, dan menjalankan qilin dengan contoh | Dokumentasi teknis terperinci dan cara menggunakan qilin sebagai lib untuk alat Anda atau menulis analisis Anda sendiri di qilin |
Kontribusi selalu diterima. Qilin adalah proyek open-source yang kami terbitkan dengan harapan bahwa itu akan berguna bagi komunitas penelitian secara keseluruhan. Jika Anda memiliki fitur baru atau perbaikan bug yang ingin Anda lihat di repositori kode resmi, silakan buka permintaan gabungan di sini di GitHub dan tinggalkan deskripsi singkat tentang apa yang telah Anda lakukan.
Qilin dilisensikan di bawah lisensi GPL v2.1, lihat file lisensi.
