facebook/SPARTA
@facebookSPARTA adalah pustaka komponen perangkat lunak yang dirancang khusus untuk membangun penganalisis statis berkinerja tinggi berdasarkan teori Abstract Interpretation.
Bintang
673
Fork
57
Bahasa
C++
Lisensi
MIT
Push terakhir
2 minggu yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.