WALA

Wala

---

Perpustakaan TJ Watson untuk analisis (WALA) memberikan kemampuan analisis statis untuk Java Bytecode dan bahasa terkait dan untuk JavaScript. Sistem ini dilisensikan di bawah Lisensi Publik Eclipse, yang telah disetujui oleh OSI (Open Source Initiative) sebagai lisensi sumber terbuka yang sepenuhnya bersertifikat. Infrastruktur WALA awal dikembangkan secara independen sebagai bagian dari proyek penelitian DOMO di Pusat Penelitian IBM TJ Watson. Pada tahun 2006, IBM menyumbangkan perangkat lunak tersebut kepada masyarakat.

Untuk pembaruan terbaru di WALA, bergabunglah dengan milis.

Fitur Core WALA

Fitur WALA meliputi:

• Java Type System dan Analisis Hirarki Kelas
• Kerangka Bahasa Sumber Mendukung Java dan JavaScript
• Analisis Dataflow Interprocedural (Solver RHS)
• Slicer Berbasis Tabulasi yang Sensitif Konteks
• Analisis Pointer dan Konstruksi Grafik Panggilan
• Bahasa transfer register berbasis SSA IR
• Kerangka Umum untuk Dataflow Iteratif
• Utilitas analisis umum dan struktur data
• Perpustakaan Instrumentasi Bytecode (Shrike)

Memulai

Cara tercepat untuk memulai dengan WALA adalah dengan menggunakan paket di Maven Central, seperti yang disebutkan di sini. Lihat repo Wala-Start untuk contoh berbasis lulusan. Kami secara aktif mengatur kembali dokumentasi teknis wiki yang lebih dalam. Sementara itu, Anda dapat memeriksa slide tutorial untuk mendapatkan gambaran tentang WALA:

• Core WALA (PDF)
• Wala Javascript (PDF)

Anda juga dapat menonton screencast dari tutorial Wala Javascript di sini.

Akhirnya, untuk saat ini, untuk mencari dokumentasi wiki, kami merekomendasikan pencarian khusus situs di GitHub, misalnya, pencarian untuk "grafik panggilan".

Dokumentasi

Kami menampung dokumentasi untuk WALA di Github Wiki. Kami telah memilih format wiki supaya Anda dapat berkontribusi. Jangan malu!

Departemen Publikasi WALA mengisi wiki ini dengan dokumentasi teknis berdasarkan permintaan, didorong oleh pertanyaan yang diposting ke milis WALA-WALA dan juga Gitter. Kami merekomendasikan halaman ini untuk mencari arsip milis.

Saat ini, kami memiliki dokumentasi Javadoc untuk kode WALA yang diperbarui terus menerus. Jika Anda berpikir file tertentu layak mendapatkan Javadoc yang lebih baik, buka permintaan fitur.

Mendapatkan bantuan

Untuk mendapatkan bantuan dengan WALA, silakan kirim email ke milis, ajukan pertanyaan tentang Gitter, atau buka masalah.

Diperlukan versi Java

Sebagian besar komponen dari setiap rilis WALA resmi dibangun untuk digunakan dengan Java 11 atau yang lebih baru. Namun, komponen yang menggunakan gerhana membutuhkan setidaknya Java 17.

Membangun dari sumber

WALA menggunakan Gradle sebagai sistem pembuatannya. Jika Anda bermaksud memodifikasi atau membangun WALA sendiri, maka lihat ReadMe khusus Gradle untuk instruksi lebih lanjut dan tips yang bermanfaat.

Alat wala di javascript

Baru -baru ini, kami telah memperluas set alat WALA yang diimplementasikan dalam JavaScript. Kami telah merilis Normalizer dan beberapa analisis program dasar untuk JavaScript di repositori JS_WALA GITHUB. Kami juga telah menyediakan JSDELTA dan Wala Delta, Delta Debuggers untuk alat pemrosesan JavaScript. Silakan lihat repositori GitHub yang ditautkan untuk detail lebih lanjut tentang alat -alat ini.

Alat yang berbasis di WALA

Beberapa grup telah membangun alat open-source yang meningkatkan atau membangun WALA yang mungkin berguna bagi pengguna WALA lainnya. Untuk detailnya, lihat halaman Alat Berbasis WALA.

Ucapan Terima Kasih

Kami berterima kasih kepada Anda karena telah memberikan lisensi gratis kepada pengembang WALA untuk profiler Java mereka yang luar biasa, yang kami gunakan untuk meningkatkan dan mempertahankan kinerja WALA.