Astrée: Laufzeitfehleranalyse - absint.com
Universal-Analysatoren erlauben nur sehr geringe Präzision im Hinblick auf Fehlalarme. Das Verhältnis von Fehlalarmen zur Anzahl der C-Basisoperationen im analysierten Code liegt typischerweise bei 10–20 %. Spezialisierte Analysatoren erreichen bessere Zahlen, 10 % oder weniger.