Sıfıra bölmeyi, sınırların dışındaki dizi erişimini, C ve C++ kaynak kodlarındaki diğer run-time hatalarını ispatlar ve sonuçlar program yürütümüne, kod kontrol aygıtlarına veya deney durumuna ihtiyaç duymadan üretilir. Ayrıca, ICE Certification Kit (IEC 61508 ve ISO 26262), DO Qualification Kit ( DO-178) endüstri standartlarını ve Ada dilini desteklemektedir.