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

StackAnalyzer RISC-V (32-bit) Cloud Perpetual License
StackAnalyzer RISC-V (32-bit) Company Perpetual License
StackAnalyzer RISC-V (32-bit) Floating Perpetual License
StackAnalyzer RISC-V (32-bit) Node Locked Perpetual License
StackAnalyzer RISC-V (64-bit) Cloud Perpetual License
StackAnalyzer RISC-V (64-bit) Company Perpetual License
StackAnalyzer RISC-V (64-bit) Floating Perpetual License
StackAnalyzer RISC-V (64-bit) Node Locked Perpetual License
StackAnalyzer S12Z Company Perpetual License
StackAnalyzer S12Z Floating Perpetual License
StackAnalyzer S12Z Node Locked Perpetual License
StackAnalyzer S12ZCloud Perpetual License
StackAnalyzer TriCore/AURIX Company Perpetual License
StackAnalyzer TriCore/AURIX Floating Perpetual License
StackAnalyzer TriCore/AURIX Node Locked Perpetual License
StackAnalyzer x86 (16-bit)  Company Perpetual License
StackAnalyzer x86 (16-bit)  Floating Perpetual License
StackAnalyzer x86 (16-bit) Cloud Perpetual License
StackAnalyzer x86 (16-bit) Node Locked Perpetual License
StackAnalyzer x86 (32-bit)   Node Locked Perpetual License
StackAnalyzer x86 (32-bit)  Company Perpetual License
StackAnalyzer x86 (32-bit)  Floating Perpetual License
StackAnalyzer x86 (32-bit) Cloud Perpetual License
StackAnalyzer x86 (64-bit)   Node Locked Perpetual License
StackAnalyzer x86 (64-bit)  Company Perpetual License
StackAnalyzer x86 (64-bit)  Floating Perpetual License
StackAnalyzer x86 (64-bit) Cloud Perpetual License
StackAnalyzer-Am486-Cloud Perpetual License
StackAnalyzer-Am486-Company Perpetual License
StackAnalyzer-Am486-Floating Perpetual License
StackAnalyzer-Am486-Node Locked Perpetual License
StackAnalyzerARM (32-bit) Cloud Perpetual License
StackAnalyzerC33 (TMS320C33)  Cloud Perpetual License
StackAnalyzerRenesas V850, RH850  Cloud Perpetual License
StackAnalyzerTriCore/AURIX Cloud 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