Skip to content

Cart

Your cart is empty

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

Sort by

131 products

Filters

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