☰

Statische Analysen für allerlei Architekturen

Übersicht Details

Am486

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

ARM

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

AURIX

C16x

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

C28x

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

C33x

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

ColdFire

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

dsPIC

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

ERC32

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

HCS12

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

i386DX

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

LEON2

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

LEON3

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

LEON4

Timing-Profiling
Analyse des Stackverbrauchs
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

M68k

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

MIPS

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

PowerPC (32 Bit)

PowerPC (64 Bit)

RH850

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

RISC-V

Verifiziertes Kompilieren
Timing-Profiling
Analyse des Stackverbrauchs
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code
Static WCET analysis on request
Hybrid WCET analysis in development

S12Z

Timing-Profiling
Analyse des Stackverbrauchs
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

ST10

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

STAR12

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

SuperH

Timing-Profiling
Analyse des Stackverbrauchs
Valueanalyse
Visualisierung des Kontrollflusses
Erkennung von totem Code

TriCore

V850

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

x86 (16 Bit)

x86 (32 Bit)

x86 (64 Bit)

ARC

Analyse des Stackverbrauchs
Valueanalyse
Eingestellt 2015
Schreiben Sie uns

H8

Analyse des Stackverbrauchs
Valueanalyse
Eingestellt 2013
Schreiben Sie uns

HC11

Statische WCET-Analyse
Analyse des Stackverbrauchs
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
Analyse des Stackverbrauchs
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

© AbsInt. 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