Our Company

Solid Sands is the world-leading provider of verification and qualification technology for C and C++ compilers and libraries. 

Our mission is to make the world a safer place. Our products support companies to achieve both the highest quality objectives and the most up-to-date functional safety standard requirements. By creating the best possible test suites for C and C++ compilers, libraries, and analysis tools, we are at the forefront of software testing and qualification. Our flagship products include SuperTest, the most comprehensive compiler test and validation suite, and SuperGuard, a library safety qualification suite. 

With industry partners worldwide, we serve leading and innovative semiconductor, IP and security companies, as well as safety-critical software companies in the automotive, robotics, railway and medical industries. 

SuperTest
The SuperTest Compiler Test and Validation Suite verifies C and C++ compilers and libraries. SuperTest is used worldwide by compiler developers for quality assurance and by safety-critical software developers to qualify third-party and open-source compilers following the most up-to-date functional safety standard requirements.

SuperTest offers hand-crafted and generated test files, including millions of conformance tests to address quality and functional safety. It includes many tests aimed at compiler internals such as analyses, transformations and optimizations.

SuperTest includes a powerful and flexible test platform. The configurable test driver seamlessly integrates with any compiler development environment and target processor. The test platform has extensive reporting tools to show traceability between the tests and the sections in the C and C++ language specifications. They provide evidence of the conformance of the compiler implementation and the completeness of the test suite.

SuperGuard
The SuperGuard Library Safety Qualification Suite is a requirements-based test suite for the C and C++ standard libraries. It is used by application developers and tool suppliers to qualify third-party (COTS), open source and self-maintained library implementations for use in safety-critical applications.

SuperGuard provides a detailed breakdown of the ISO C and C++ library specifications into testable requirements for the library implementation. The requirements have full traceability to test specifications and tests, as required by functional safety standards. The tests achieve high structural code coverage of the target library implementation, which demonstrates their completeness.

SuperGuard includes a powerful and flexible test platform. It comes with a software tool that reports the requirements and test results. The configurable test driver seamlessly integrates with any development environment and target processor.