imbus uses cookies to ensure you a better service. By using our site, you agree to our privacy policy.

Astrée – Laufzeitfehleranalyse

This tool in other languages: de-DE

Description

Astrée ist eine Software zur statischen Programmanalyse, die C-Programme automatisch auf Laufzeitfehler überprüft.

Astrée analysiert handgeschriebene oder automatisch erzeugte C-Programme mit komplexer Speichernutzung, aber ohne Rekursion oder dynamische Speicherallokation. Damit bietet sich Astrée vor allem zur Analyse von sicherheitskritischen eingebetteten Anwendungen an, insbe­sondere in den Bereichen Transport, Medizintechnik, Nuklearanlagen, Luft- und Raumfahrt.

 

Categories

General

Rating

1 2 3 4 5
Astrée – Laufzeitfehleranalyse
0.00 von 5 based on 0 ratings

You have to be logged in to execute this action.

Cancel

Manufacturer

Criteria:

client OS

installation

license model

localisation

provider service

test level

Comments

To write a comment, you need to be logged in.

There are no comments