C/C++

IKOS (Inference Kernel for Open Static Analyzers), C/C++ programları için geliştirilmiş, Soyut Yorumlama (Abstract Interpretation) teorisine dayanan güçlü bir statik analiz aracıdır. Başlangıçta, bu k...