Static Analysis Tool
Make your code safe. Every step of the way.
Static Analysis Tool
AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software.
AbsInt’s tools are designed to Enhance software safety, Speed up time-to-market, Lower testing and validation costs, Improve software efficiency to reduce system costs for embedded, real-time, safety-critical applications.
-> Check your C or C++ code for runtime errors with Astrée
Advanced static analyzer for C and C++ code that provides sound analysis results. Detects runtime errors, data races, and proves the absence of critical bugs in safety-critical systems.
-> Verify coding guidelines with RuleChecker
RuleChecker is a static analyzer that automatically checks your C or C++ code for compliance with MISRA rules, CERT recommendations, and other coding guidelines.
-> Compile your code with CompCert
CompCert is the only production compiler that is formally verified, using machine-assisted mathematical proofs, to be exempt from miscompilation issues.
-> Check your stack usage with StackAnalyzer
StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application and lets you find any stack overflows, or formally prove the absence thereof.
–> Analyze the execution time with aiT, TimeWeaver or TimingProfiler
These are advanced tools for analyzing and predicting the worst-case execution time (WCET) of tasks in safety-critical embedded systems, ensuring predictable, reliable software performance for certification.
-> Qualify for ISO 26262, DO-178B/C, IEC-61508…
The Qualification Support Kits (QSKs) help you simplify and automate your qualification process. These kits are especially popular with our customers in the automotive and avionics industries.
Ready to enhance your code safety?
Contact our experts to learn more about our static analysis solutions