imbus verwendet Cookies, um Ihnen einen besseren Service bieten zu können.

Durch die Nutzung unserer Website erklären Sie sich mit unserer Datenschutzrichtlinie einverstanden.

Astrée – Laufzeitfehleranalyse

Dieses Tool in anderen Sprachen: en-GB

Beschreibung

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.

 

Kategorien

Allgemein

Bewertung

1 2 3 4 5
Astrée – Laufzeitfehleranalyse
AbsInt Angewandte Informatik GmbH https://www.testtoolreview.de/images/absint.jpg info@absint.de 0681 38360-0 0681 38360-20
Science Park 1 66123 Saarbrücken Deutschland
0.00 von 5 based on 0 ratings

Sie müssen eingeloggt sein, um diese Aktion ausführen zu können.

Abbruch

Hersteller

AbsInt Angewandte Informatik GmbH

Science Park 1

66123 Saarbrücken

Deutschland

0681 38360-0

http://www.absint.de

Kriterien:

<
>

Anbieter-Service

Client-OS

Installation

Lizenzmodell

Lokalisierung

Teststufe

Kommentare

Um Kommentare schreiben zu können, müssen Sie eingeloggt sein.

Keine Kommentare vorhanden