Abstract Interpretation
Programın somut yürütmelerini güvenli bir soyut uzayda üstten yaklaşık hesaplayarak belirli özellikleri statik olarak analiz etme çerçevesi.
Teknik Bağlam
Abstract interpretation, programın tüm somut durumlarını tek tek yürütmek yerine değerleri interval, sign, octagon veya başka soyut alanlarda temsil eder. Sound over-approximation hedeflendiğinde bütün somut davranışlar soyut model tarafından kapsanır; bunun bedeli gerçekte oluşmayan durumların da modele girebilmesidir.
Data-flow ve run-time error analizlerinde fixed-point hesabı, widening/narrowing ve soyut alan seçimi sonuçların hassasiyetini ve analiz maliyetini belirler.
Sınırlar
Güçlü garanti ancak kanıtlanan property, dil semantiği ve çevre varsayımları açıkça tanımlandığında anlamlıdır. Abstract interpretation bütün program özelliklerini otomatik olarak karar verilebilir hale getirmez.