Static Analysis Tools

Static Analysis tools help engineers detect bugs, ensure code reliability, and meet safety standards in embedded systems. These tools provide advanced code verification, timing analysis, and security checks for safety-critical applications, including automotive, aerospace, and medical devices

StackAnalyzer

Astree Tool Qualification Support Kit (QSK)

Astree Base Company Floating Perpetual License

Astree Base Cloud Perpetual License

StackAnalyzer x86 (64-bit) Company Perpetual License

StackAnalyzer x86 (64-bit) Cloud Perpetual License

StackAnalyzer x86 (64-bit) Floating Perpetual License

StackAnalyzer x86 (64-bit) Node Locked Perpetual License

StackAnalyzer x86 (32-bit) Company Perpetual License

StackAnalyzer x86 (32-bit) Cloud Perpetual License

StackAnalyzer x86 (32-bit) Floating Perpetual License

StackAnalyzer x86 (32-bit) Node Locked Perpetual License

StackAnalyzer x86 (16-bit) Company Perpetual License

StackAnalyzer x86 (16-bit) Cloud Perpetual License

StackAnalyzer x86 (16-bit) Floating Perpetual License

StackAnalyzer x86 (16-bit) Node Locked Perpetual License

StackAnalyzer Renesas RL78 Company Perpetual License

StackAnalyzer Renesas RL78 Cloud Perpetual License

StackAnalyzer Renesas RL78 Floating Perpetual License

StackAnalyzer Renesas RL78 Node Locked Perpetual License

StackAnalyzer Renesas V850, RH850 Company Perpetual License

StackAnalyzerRenesas V850, RH850 Cloud Perpetual License

StackAnalyzer Renesas V850, RH850 Floating Perpetual License

StackAnalyzer Renesas V850, RH850 Node Locked Perpetual License

StackAnalyzer TriCore/AURIX Company Perpetual License

StackAnalyzerTriCore/AURIX Cloud Perpetual License

StackAnalyzer TriCore/AURIX Floating Perpetual License

StackAnalyzer TriCore/AURIX Node Locked Perpetual License

StackAnalyzer S12Z Company Perpetual License

StackAnalyzer S12ZCloud Perpetual License

StackAnalyzer S12Z Floating Perpetual License

StackAnalyzer S12Z Node Locked Perpetual License

StackAnalyzer RISC-V (64-bit) Company Perpetual License

StackAnalyzer RISC-V (64-bit) Cloud Perpetual License

StackAnalyzer RISC-V (64-bit) Floating Perpetual License

StackAnalyzer RISC-V (64-bit) Node Locked Perpetual License

StackAnalyzer RISC-V (32-bit) Company Perpetual License

StackAnalyzer RISC-V (32-bit) Cloud Perpetual License

StackAnalyzer RISC-V (32-bit) Floating Perpetual License

StackAnalyzer RISC-V (32-bit) Node Locked Perpetual License

StackAnalyzer Renesas SuperH Company Perpetual License

StackAnalyzer Renesas SuperH Cloud Perpetual License

StackAnalyzer Renesas SuperHFloating Perpetual License

StackAnalyzer Renesas SuperH Node Locked Perpetual License

StackAnalyzer Renesas RX Company Perpetual License

StackAnalyzer Renesas RX Cloud Perpetual License

StackAnalyzer Renesas RX Floating Perpetual License

StackAnalyzer Renesas RX Node Locked Perpetual License

StackAnalyzer

StackAnalyzer is a tool for static analysis of safety-critical software.

It automatically determines the worst-case stack usage of the tasks in your application and helps detect stack overflows—or formally prove their absence.

This tool is crucial for compliance with safety standards like ISO 26262 and DO-178B/C, where stack analysis is a key requirement.

Learn More

Astree

Astrée is a sound static analyzer for safety-critical C/C++ software.

It proves the absence of runtime errors and invalid concurrent behaviors. In 2020, the U.S. National Institute of Standards and Technology confirmed that Astrée meets their criteria for sound static code analysis—ensuring proven safety when no errors are flagged.

Learn More

aiT

aiT WCET Analyzers statically compute tight upper bounds for worst-case execution time (WCET).

They analyze binary executables while accounting for cache and pipeline behavior—without altering the system’s performance. aiT supports compliance with standards such as ISO 26262, DO-178B/C, IEC-61508, and EN-50128.

Learn More

QA-MISRA

Accelerate compliance with C/C++ coding standards and improve code quality.

QA-MISRA supports MISRA, AUTOSAR, CERT, CWE, and more. It offers an interactive GUI, command-line support, IDE/CI integrations, fast analysis, and detailed reports to help teams maintain safety and quality standards.

Learn More

EMBEDDED IS EVERYWHERE