☰

Statische Analysen für allerlei Architekturen

Übersicht Details

Am486

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

ARM

Verifiziertes Kompilieren
Statische WCET-Analyse
Hybride WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Analyse des Stromverbrauchs
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

AURIX

Statische WCET-Analyse
Hybride WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

C16x

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

C28x

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

C33x

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

ColdFire

Statische WCET-Analyse
Hybride WCET-Analyse
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

dsPIC

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

ERC32

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

FR81S

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

HCS12

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

i386DX

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

LEON2

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

LEON3

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Analyse des Stromverbrauchs
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

LEON4

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

M68k

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

MCS251

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

MCS51

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

MIPS

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

PowerPC (32 Bit)

Verifiziertes Kompilieren
Statische WCET-Analyse
Hybride WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

PowerPC (64 Bit)

Verifiziertes Kompilieren
Hybride WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

RH850

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

RISC-V

Verifiziertes Kompilieren
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Statische WCET-Analyse auf Anfrage
Hybride WCET-Analyse in Entwicklung

RL78

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

RX

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

S12Z

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

ST10

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

STAR12

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

SuperH

Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

TriCore

Statische WCET-Analyse
Hybride WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

V850

Statische WCET-Analyse
Timing-Profiling
Stackanalyse
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Qualifizierungskits

x86 (16 Bit)

x86 (32 Bit)

x86 (64 Bit)

ARC

Stackanalyse
Valueanalyse
Eingestellt 2015
Schreiben Sie uns

H8

Stackanalyse
Valueanalyse
Eingestellt 2013
Schreiben Sie uns

HC11

Statische WCET-Analyse
Stackanalyse
Valueanalyse
Eingestellt 2015
Schreiben Sie uns

Kalray

Statische WCET-Analyse
Entwickelt für das EU-Projekt ASSUME
Nicht frei erhältlich
Schreiben Sie uns

M32

Statische WCET-Analyse
Stackanalyse
Valueanalyse
Eingestellt 2011
Schreiben Sie uns

MicroBlaze

Statische WCET-Analyse
Entwickelt für das EU-Projekt CERTAINTY
Nicht frei erhältlich
Schreiben Sie uns

PCP2

Statische WCET-Analyse
Eingestellt 2011
Schreiben Sie uns

Xentium

Statische WCET-Analyse
Entwickelt für das EU-Projekt ARGO
Nicht frei erhältlich
Schreiben Sie uns

Produkte · Dienstleistungen · Veranstaltungskalender · Kontakt

© AbsInt GmbH. CompCert wird entwickelt und vertrieben von AbsInt unter Lizenz von INRIA. Hintergrundbild: PO(Phot) Ray Jones/MOD, OGLv1.0.
Impressum/Datenschutz.
URL: https://www.absint.com/factsheets/index_de.htm