Not all test suites are created equal

Not all test suites are created equal

We are often asked what differentiates SuperTest from the GCC and LLVM test suites. If you are using the LLVM or GCC test suite, why would you use SuperTest as well? Apart from the obvious answer "more testing, preferably using tests...

read more
The risks of invalid error messaging

The risks of invalid error messaging

The fundamental measure of any compiler is its ability to generate high-quality, functionally correct, executable code. But equally important is its ability to generate valid, well annotated, error messages when the source code it...

read more
The Emergent Safety of a Piece of String

The Emergent Safety of a Piece of String

What constitutes ‘the safety of a compiler’? This is a question that keeps us busy on a daily basis. The question however is not that easy to answer, because the safety of a compiler does not exist. Safety is an emergent property -...

read more