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 FR81S Node Locked Perpetual License
StackAnalyzer ERC32  Company Perpetual License
StackAnalyzer ERC32 Cloud Perpetual License
StackAnalyzer ERC32 Node Locked Perpetual License
StackAnalyzer ERC32  Floating Perpetual License
StackAnalyzer dsPIC33E  Company Perpetual License
StackAnalyzer dsPIC33E Cloud Perpetual License
StackAnalyzer dsPIC33E Floating Perpetual License
StackAnalyzer dsPIC33ENode Locked Perpetual License
StackAnalyzer C33 (TMS320C33)  Company Perpetual License
StackAnalyzerC33 (TMS320C33)  Cloud Perpetual License
StackAnalyzer C33 (TMS320C33)  Floating Perpetual License
StackAnalyzer C33 (TMS320C33) Node Locked Perpetual License
StackAnalyzer C16x/ST10, Super10, XC166/XE166, XC2xxx Company Perpetual License
StackAnalyzer C16x/ST10, Super10, XC166/XE166, XC2xxx Cloud Perpetual License
StackAnalyzer ARM (64-bit) Company Perpetual License
StackAnalyzer ARM (64-bit) Cloud Perpetual License
StackAnalyzer ARM (64-bit) Floating Perpetual License
StackAnalyzer ARM (64-bit) Node Locked Perpetual License (one host ID)
StackAnalyzer C28x (TMS320F28x)  Cloud Perpetual License
StackAnalyzer C28x (TMS320F28x)  Floating Perpetual License
StackAnalyzer C28x (TMS320F28x) Node Locked Perpetual License (one host ID)
StackAnalyzer C16x/ST10, Super10, XC166/XE166, XC2xxx Floating Perpetual License
StackAnalyzer C16x/ST10, Super10,XC166/XE166, XC2xxx Node Locked Perpetual License (one host ID)
StackAnalyzer ARM (32-bit) Company Perpetual License
StackAnalyzerARM (32-bit) Cloud Perpetual License
StackAnalyzer ARM (32-bit) Floating Perpetual License
StackAnalyzer ARM (32-bit) Node Locked Perpetual License
StackAnalyzer-Am486-Company Perpetual License
StackAnalyzer-Am486-Cloud Perpetual License
StackAnalyzer-Am486-Floating Perpetual License
StackAnalyzer-Am486-Node Locked Perpetual License
QA MISRA
Astrée
aiT

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