Yığın Analizörü
Statik ikili kod analiz aracı:
"Stack Overflow" nedeniyle oluşan hataların tespiti.
StackAnalyzer'ı seçmek için dokuz neden
Biçimsel yöntemlere dayanan Stack Analyzer, yığın taşması çalışma zamanı hatalarının yokluğunun test edilmesini sağlar.
Bugün, muhtemelen bu garantiyi verebilen tek araçtır.
1.
İkili (çalıştırılabilir) kod üzerinde statik analiz gerçekleştirir.
2.
Farklı satıcılardan ve programlama dillerinden (C, C++, Ada) çoklu çapraz derleyicileri destekler.
3.
Görev düzeyinde ayrıntılı kullanıcı ve sistem yığını kullanım bilgileri sağlar.
4.
Analizin giriş noktasının seçilmesini sağlar.
5.
Kontrol akışının doğrudan ikili koddan yeniden yapılandırılmasını gerçekleştirir.
6.
Montaj ve kaynak kodu düzeyinde bilgi sağlar.
7.
Opsiyonel Value Analyzer modülü, kontrol akışı ve veri kontrol analizini mümkün kılar (kayıtların ve bellek alanlarının analizi, değişkenlere ve fonksiyonlara erişimin kontrolü).
8.
Jenkins, Eclipse ve TargetLink (dSpace) ile entegrasyonları vardır.
9.
DO-178, ISO 26262, EN-50128 ve FDA için Sertifikasyon Paketine sahiptir.
