Verifikace zdrojového kódu

Zajistěte, aby byl kritický kód bezpečný a spolehlivý.

Produkty Polyspace provádějí statickou analýzu kódu a používají formální metody k důkazu nepřítomnosti kritických „run-time“ chyb v programu. Uvažují se všechny možné varianty průchodu kódem se všemi možnými hodnotami dat. Kontroly postihují chyby v dodržování pravidel kódování, bezpečnostní zranitelnost kódu, metriky kódu a stovky dalších skupin chyb.

Polyspace Bug Finder

Kontrola dodržování pravidel kódování, bezpečnostních standardů, vyhodnocení metrik kódu a hledání chyb.

Polyspace Code Prover

Formální prokazování nepřítomnosti kritických „run-time“ chyb bez spuštění kódu.

polyspace prověřování kódu

Polyspace Access

Identifikace softwarových chyb, procházení výsledků statické analýzy a monitorování metrik kvality softwaru.

polyspace access

Polyspace Bug Finder

Identifikace softwarových chyb pomocí statické analýzy.

polyspace bug finder

Polyspace Bug Finder Server

Identifikace softwarových chyb pomocí statických analýz běžících na serverových počítačích.

polyspace bug finder server

Polyspace Code Prover

Prokázání absence run-time chyb v software.

polyspace code prover

Polyspace Code Prover Server

Prokázání absence run-time chyb v software.

polyspace code prover server

Polyspace Client for Ada

Prokázaní absence run-time chyb ve zdrojovém kódu.

polyspace client ada

Polyspace Server for Ada

Verifikace kódu na výpočetních clusterech a publikování metrik.

polyspace server ada
close