ikos
-
nasa'nin acik kaynak* bolumu tarafindan kamuya sunulan,c/c++ icin bir statik analiz araci. cppcheck'den farki abstract ınterpretation teorisine dayanmasi ve daha kapsamli bir analiz sunmasi.
https://github.com/nasa-sw-vnv/ikos
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap