Halle 4 / Standnummer 4-110

Polyspace

Erkennt Laufzeitfehler im Softwarecode
Statische Code-Analyse
Analysiert den aus Simulink-Modellen generierten Code, um die Korrektheit und die Einhaltung von Industriestandards zu überprüfen.

Erkennt Laufzeitfehler im Softwarecode
Statische Code-Analyse
Analysiert den aus Simulink-Modellen generierten Code, um die Korrektheit und die Einhaltung von Industriestandards zu überprüfen.

Produktbeschreibung

Polyspace Access

Identify coding defects, review static analysis results, and monitor software quality metrics

Polyspace Bug Finder

Check coding rules, security standards, code metrics, and find bugs

Polyspace Bug Finder Server

Identify software defects via static analyses running on server computers

Polyspace Code Prover

Formally prove the absence of critical run-time errors without executing code

Polyspace Code Prover Server

Prove the absence of run-time errors in software

Polyspace Client for Ada

Prove the absence of run-time errors in source code

Polyspace Server for Ada

Perform code verification on computer clusters and publish metrics