NASA-SW-VnV/ikos

Penganalisis statis untuk C/C++ berdasarkan teori Interpretasi Abstrak.

↗ Buka di GitHub

Bintang

3.163

Fork

220

Bahasa

C++

Lisensi

NOASSERTION

Push terakhir

3 bulan yang lalu

C++static-analysis program-analysis abstract-interpretation software-verification

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.