Solid Sands

The one-stop shop for C and C++ compiler and library testing, validation and safety services.

SuperTest

SuperTest is a test and validation suite for C and C++ compilers and their libraries.

SuperGuard

The SuperGuard C Library Safety Qualification Suite is a requirements-based test suite for the C Standard Library.

Compiler Qualification Service

With our Compiler Qualification Service, our engineers qualify any compiler for your specific use case.

Functional Safety

Our products are used to qualify your compiler or library for different functional safety standards. 

MISRA Compliance Suite

The SuperTest MISRA Compliance Suite verifies the conformance of MISRA checking software.

Solid Sands

The one-stop shop for C and C++ compiler and library testing, validation and safety services.

Products

SuperTest

The SuperTest compiler test and validation suite covers C90 to C18, C++03 to C++17, Embedded C and MISRA C:2012.

SuperGuard

The SuperGuard C Library Safety Qualification Suite is a requirements-based test suite for the C Standard Library.

Qualification Service

With our Compiler Qualification Service, our engineers qualify any compiler for your specific use case.

What Our Customers Say

“...It’s not just in the front-end that bugs can occur. Changes in the optimization paths at the back-end of our compilers can also create new problems. SuperTest identifies a lot of the issues, not only in the front-end but also in the back-end.”

Verification Manager, Synopsys

“...Since these compiler problems and errors can be detected before the product development and shipment, DENSO can significantly reduce the effort of updating. We believe that SuperTest has turned out to be a good investment for the company.”

Assistant Manager, Basic Software Eng. Div. DENSO Corporation

“...Our customers already know about SuperTest and its reputation for meeting ISO 26262 requirements, so when we say that our tools are verified by SuperTest that definitely gives us an advantage during negotiations.”

Director of Software Engineering, Ambarella

“...One of our main concerns was validating the GCC C++11 compiler. SuperTest offers us a huge and very rich test suite that we can run against the compiler to verify that it does meet the language standards. GCC comes with its own test suite, but it’s not by any means certified for automotive use or guaranteed to meet the standard in all areas.”

Principal Software Engineer, Peloton Technology

“...There were several good reasons for choosing SuperTest. It covers the C language specification, has a track record of ISO 26262 compliance, performs automatic testing, and it has an automatic verification report output function.”

Senior Engineer, ROHM

“…SuperTest’s strengths lie in its breadth of coverage of language features and what it allows you to test, making it particularly useful when you are bringing up a compiler from scratch with a custom back-end. Its ability to do that and its general utility in that space is why we come back to using it again and again. It’s almost an industry-standard.”

Vice-President Software, Graphcore

Monthly Blog