Downloads

User manuals

The user manual for any particular tool is included in it. You can access it from that tool’s start screen, the Help menu, or by pressing F1. The actual PDF files reside in the instal­lation directory.

Flyers

aiT

Worst-case execution time analysis

PDF (2 pages, 1.9MB)

StackAnalyzer

Stack usage analysis

PDF (1 page, 1.7MB)

Astrée

Run-time error analysis

PDF (1 page, 1.9MB)

RuleChecker

Checks for coding guidelines

PDF (1 page, 1.8MB)

TimingProfiler

WCET estimates

PDF (1 page, 1.6MB)

TimeWeaver

Hybrid WCET analysis

PDF (1 page, 1.7MB)

CompCert

Verified compilation

PDF (1 page, 262kB)

AbsInt

Company profile

PDF (6 pages, 141kB)

PDF data sheets

• Astrée
• RuleChecker
• CompCert
• Valex for PowerPC and ARM
• aiT for:
  Am486/IntelDX4, ARM, C16x/ST10, C28x, C33, e200, e300, ERC32, HCS12, i386DX, LEON2, LEON3, M68020, MPC5xx, MPC7448S, MPC755S, PPC750, TriCore, V850E
• StackAnalyzer for:
  Am486/IntelDX4, ARM, C16x/ST10, C28x, C33, ERC32, FR81S, HCS12, i386DX, LEON2, LEON3, M68020, MCS51, MSP430, PowerPC, RX, SuperH, TriCore, V850/RH850, x86
• ValueAnalyzer for:
  Am486/IntelDX4, ARM, C16x/ST10, C28x, C33, ERC32, FR81S, HCS12, i386DX, LEON2, LEON3, M68020, MCS51, MSP430, PowerPC, RX, SuperH, TriCore, V850/RH850, x86
• TimingProfiler for:
  ARM, LEON2, PowerPC, TriCore/AURIX, V850/RH850
• TimeWeaver for PowerPC
• Qualification Support Kits
• QSLCD reports
• Eclipse plugin for Astrée/RuleChecker

Plain-text release notes

• Astrée:
  17.10, 17.04, 16.10, 16.04, 15.10, 15.04, 14.10, 14.04, 13.10, 13.04, 12.10, 12.04, 11.12, 11.08, 11.04, 10.12
• RuleChecker:
  17.10, 17.04
• CompCert:
  17.10, 17.04, 16.10, 16.04, 15.10
• aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver:
  17.10, 17.04, 16.10, 16.04, 15.10, 15.04, 14.10, 14.04, 13.10, 13.04, 12.10, 12.04, 11.12, 11.08, 11.04, 10.12, 10.08, 10.04, 9.12

Miscellaneous

• XTC documentation
• Safety manual (PDF) for aiT, StackAnalyzer, and Astrée