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
-> Compile your code with CompCert
-> Check your stack usage with StackAnalyzer
Comprehensive coding rule checker that ensures compliance with industry standards like MISRA C/C++, JSF, and custom coding guidelines for enhanced code quality and maintainability.
-> Analyze the execution time with aiT, TimeWeaver or TimingProfiler
Comprehensive coding rule checker that ensures compliance with industry standards like MISRA C/C++, JSF, and custom coding guidelines for enhanced code quality and maintainability.
-> Qualify for ISO 26262, DO-178B/C, IEC-61508…
Comprehensive coding rule checker that ensures compliance with industry standards like MISRA C/C++, JSF, and custom coding guidelines for enhanced code quality and maintainability.
Ready to enhance your code safety?
Contact our experts to learn more about our static analysis solutions