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 PowerPC (64-bit) Company Perpetual License
StackAnalyzer PowerPC (64-bit) Cloud Perpetual License
StackAnalyzer PowerPC (64-bit) Floating Perpetual License
StackAnalyzer PowerPC (64-bit)  Node Locked Perpetual License
StackAnalyzer PowerPC (32-bit) Company Perpetual License
StackAnalyzer PowerPC (32-bit) Cloud Perpetual License
StackAnalyzer PowerPC (32-bit) Floating Perpetual License
StackAnalyzer PowerPC (32-bit) Node Locked Perpetual License
StackAnalyzer Nios II  Company Perpetual License
StackAnalyzer Nios II  Cloud Perpetual License
StackAnalyzer Nios II Floating Perpetual License
StackAnalyzer Nios II  Node Locked Perpetual License
StackAnalyzer MSP430(x) Company Perpetual License
StackAnalyzer MSP430(x) Cloud Perpetual License
StackAnalyzer MSP430(x)Floating Perpetual License
StackAnalyzer MSP430(x) Node Locked Perpetual License
StackAnalyzer MCS 251 Company Perpetual License
StackAnalyzer MCS 251 Cloud Perpetual License
StackAnalyzer MCS 251 Floating Perpetual License
StackAnalyzer MCS 251  Node Locked Perpetual License
StackAnalyzer MCS 51 (TI CC254x)  Company Perpetual License
StackAnalyzer MCS 51 (TI CC254x)  Cloud Perpetual License
StackAnalyzer MCS 51 (TI CC254x) Floating Perpetual License
StackAnalyzer MCS 51 (TI CC254x)  Node Locked Perpetual License
StackAnalyzer M68k (incl. ColdFire)  Company Perpetual License
StackAnalyzer M68k (incl. ColdFire)  Cloud Perpetual License
StackAnalyzer M68k (incl. ColdFire)  Floating Perpetual License
StackAnalyzer M68k (incl. ColdFire)  Node Locked Perpetual License
StackAnalyzer LEON3/LEON4 Company Perpetual License
StackAnalyzer LEON3/LEON4 Cloud Perpetual License
StackAnalyzer LEON3/LEON4 Floating Perpetual License
StackAnalyzer LEON3/LEON4 Node Locked Perpetual License
StackAnalyzer LEON2 Company Perpetual License
StackAnalyzer LEON2 Cloud Perpetual License
StackAnalyzer LEON2 Floating Perpetual License
StackAnalyzer LEON2 Node Locked Perpetual License
StackAnalyzer i386DX Company Perpetual License
StackAnalyzer i386DX Cloud Perpetual License
StackAnalyzer i386DX Floating Perpetual License
StackAnalyzer i386DX Node Locked Perpetual License
StackAnalyzer HCS12  Company Perpetual License
StackAnalyzer HCS12 Cloud Perpetual License
StackAnalyzer HCS12  Floating Perpetual License
StackAnalyzer HCS12 Node Locked Perpetual License
Astree Base Floating Perpetual License
StackAnalyzer FR81S  Company Perpetual License
StackAnalyzer FR81S Cloud Perpetual License
StackAnalyzer FR81S  Floating 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