SAFE permet d'estimer les erreurs d'arrondi et de détecter les instabilités numériques dans les programmes où les nombres flottants ont une mantisse et un exposant de taille arbitraire.