Polyspace Code Prover Server
Temel Özellikleri Nelerdir?
Kritik Çalışma Zamanı Hatalarının Yokluğunu Doğrulayın
DevOps ve CI/CD Entegrasyonu
Polyspace, mevcut DevOps iş akışları ve araçlarıyla entegre olarak modern yazılım geliştirme pratiklerini destekler.
Jenkins ve Bamboo® gibi yaygın kullanılan sürekli entegrasyon (CI) araçlarıyla uyumlu çalışarak analizlerin otomatikleştirilmesini sağlar.
Platformdan Bağımsız Analiz
Polyspace Code Prover Server’ı:
- Kurum içi (on-premise) otomasyon sunucularında
- Ya da bulut ortamlarında çalıştırabilirsiniz.
MathWorks referans mimarilerini kullanarak Docker, AWS® ve Azure® gibi platformlara kolayca dağıtım yapılabilir.
Endüstri Standartları Desteği
- IEC 61508, ISO 26262 gibi fonksiyonel güvenlik standartlarına uygun sertifikasyon kitleri bulunur.
- DO-178C gibi havacılık güvenlik standartları için de destek sağlar.
Global Değişken Kullanımını Analiz Edin
Global değişkenler üzerindeki okuma/yazma işlemlerinden kaynaklanan hata ayıklama süresini azaltın.
- Korunmayan paylaşımlı değişkenleri
- Kullanılmayan global değişkenleri
- Eşzamanlı erişim risklerini net bir şekilde tespit edin.
Statik Uygulama Güvenlik Testi (SAST)
Buffer overflow, bellek erişim hataları ve sayısal taşmalar gibi kritik güvenlik açıklarının yokluğunu doğrulayın.
Kodu çalıştırmadan, tüm kod yolları ve tüm olası girdiler altında analiz yaparak:
- Fuzz testlerine duyulan ihtiyacı azaltın
- Güvenlik açıklarını erken aşamada yakalayın
Etki Analizi
Belirli bir global veya lokal değişkenin, diğer değişkenler ya da kod ifadeleri üzerindeki etkisini biçimsel olarak takip edin ve doğrulayın.
- CARB gereksinimleri kapsamında OBD yazılımları için sinyal analizi
- ISO 26262 bağlamında etkileşimden bağımsızlık kanıtı
- Kalibrasyon parametrelerinin etkilerinin analizi
- Yazılım güvenliği kapsamında taint analizi ve hassas veri akışının izlenmesi