lisa
0.1
LISA (Perpustakaan untuk Analisis Statis) bertujuan untuk memudahkan penciptaan dan implementasi analisis statis berdasarkan teori interpretasi abstrak. LISA menyediakan mesin analisis yang bekerja pada representasi grafik aliran kontrol generik dan dapat diperluas dari program untuk dianalisis. Penerjemah abstrak di LISA dibangun untuk menganalisis representasi tersebut, memberikan infrastruktur analisis yang unik untuk semua analisis yang akan bergantung padanya.
Membangun penganalisa di atas Lisa bermuara pada menulis parser untuk bahasa yang ingin dianalisis, menerjemahkan kode sumber atau kode yang dikompilasi ke representasi grafik aliran kontrol LISA. Kemudian, pemeriksaan sederhana iterasi atas hasil yang disediakan oleh analisis semantik LISA dapat dengan mudah didefinisikan untuk menerjemahkan informasi semantik ke dalam peringatan yang dapat bernilai bagi pengguna akhir.
Untuk informasi lebih lanjut, dokumentasi dan panduan yang bermanfaat, lihat situs web proyek!
LISA dikembangkan dan dikelola oleh Software and System Verifikasi (SSV) Group @ Università Ca 'Foscari di Venesia, Italia. Kontribusi eksternal selalu diterima! Lihatlah pedoman berkontribusi kami untuk informasi tentang cara berkontribusi pada LISA.
Pergilah ke halaman rilis untuk daftar lengkap rilis.
Snapshot dari komit terakhir dari cabang master selalu tersedia di paket github. Ketahuilah bahwa Anda akan memerlukan token akses pribadi untuk menggunakan paket sebagai server untuk menyelesaikan dependensi. Anda dapat merujuk ke Panduan GitHub resmi untuk Maven atau Gradle untuk informasi lebih lanjut.
