For all your static analysis needs

Am486

ARM

AURIX

C16x

C28x

C33x

ColdFire

dsPIC

ERC32

HCS12

i386DX

LEON2

LEON3

LEON4

M68k

MIPS

PowerPC (32-bit)

PowerPC (64-bit)

RH850

RISC-V

S12Z

ST10

STAR12

SuperH

TriCore

V850

x86 (16-bit)

x86 (32-bit)

x86 (64-bit)

ARC

  • Stack usage analysis
  • Memory safety analysis
  • Available till 2015
  • Get in touch

H8

  • Stack usage analysis
  • Memory safety analysis
  • Available till 2013
  • Get in touch

HC11

  • Static WCET analysis
  • Stack usage analysis
  • Memory safety analysis
  • Available till 2015
  • Get in touch

Kalray

  • Static WCET analysis
  • Developed for the EU project ASSUME
  • Available at our discretion
  • Get in touch

M32

  • Static WCET analysis
  • Stack usage analysis
  • Memory safety analysis
  • Available till 2011
  • Get in touch

MicroBlaze

  • Static WCET analysis
  • Developed for the EU project CERTAINTY
  • Available at our discretion
  • Get in touch

PCP2

Xentium

  • Static WCET analysis
  • Developed for the EU project ARGO
  • Available at our discretion
  • Get in touch

Language support

CC++AdaPL/I
Runtime error analysis ✓ ✓ — —
Data race analysis ✓ ✓ — —
Non-interference analysis ✓ ✓ — —
Taint analysis ✓ ✓ — —
Signal-flow analysis ✓ ✓ — —
Data-flow analysis ✓ ✓ — —
Control-flow analysis ✓ ✓ — —
Control-coupling analysis ✓ ✓ — —
Component-interference analysis ✓ ✓ — —
Cybersecurity analyses ✓ ✓ — —
Rule checking (MISRA) ✓ ✓ — —
Rule checking (other) ✓ ✓ — —
Rule checking (custom) ✓ ✓ — —
Code metrics (HIS) ✓ ✓ — —
Verified compilation ✓ — — —
Control flow visualization ✓ ✓ — —
Dead code recognition ✓ ✓ — —
compiled C compiled C++ compiled Ada compiled PL/I
Control flow visualization ✓ ✓ ✓ ✓
Dead code recognition ✓ ✓ ✓ ✓
Static WCET analysis ✓ ✓ ✓ ✓
Hybrid WCET analysis ✓ ✓ ✓ —
Timing profiling ✓ ✓ ✓ ✓
Stack usage analysis ✓ ✓ ✓ ✓
Memory safety analysis ✓ ✓ ✓ ✓
Energy consumption analysis ✓ ✓ ✓ —