Solid Sands and AbsInt combine tools strengths
Solid Sands, supplier of SuperTest test and validation suite for C and C++ compilers and libraries, and AbsInt, the specialist for program analysis tools for safety-critical software, announce their collaboration to develop and integrate the SuperTest qualification suite into the CompCert C qualification support kit.
The SuperTest qualification suite is derived from the established SuperTest compiler test and validation suite. It is tailored to the needs of AbsInt to fit the CompCert C qualification support kit. The close collaboration between AbsInt and Solid Sands allows customers to qualify their specific use case of the CompCert C compiler for qualification standards such as ISO 26262, IEC-61508, EN-50128, DO-333, and DO-330.