From Static Analysis to Meta-Analysis
How do you make software truly safe when even the world’s best engineers can miss a single line of code that brings down a rocket?
That was the challenge Mindsheet tackled in partnership with the Scottish Government’s ITI Techmedia programme – turning university research into real-world innovation that could bring high-value technology jobs to Scotland.
Case Study
Back in 2008, Mindsheet won a project under ITI Techmedia, an ambitious Scottish initiative to commercialise advanced university technologies.
Our mission: transform the cutting-edge static analysis research from Edinburgh University into something that global companies would actually want to license and deploy in safety-critical industries.
The university’s work was clever – it could scan software source code and automatically detect risky patterns, such as divisions that might cause a catastrophic divide-by-zero error (the very bug that destroyed the Ariane 5 rocket).
On paper, it promised to make critical software more reliable.
But when we hit the market, we uncovered an uncomfortable truth.
Developers were fed up with more static analysers.
They generated endless false alarms, noisy compiler warnings, and little practical insight. Teams saw them as another tedious hurdle rather than a safety net.
So instead of pushing another static analyser into an overcrowded market, we took a different route.
Working with serial entrepreneur Mike Norman, we developed a completely new concept – the Meta-Analyser.
Rather than adding yet another tool, the Meta-Analyser became a “brain above the analysers.”
It gathered results from multiple analysers – one checking for security vulnerabilities, another for memory leaks, another for safety – and triangulated their findings to trace the true root cause of faults.
It filtered the noise and revealed the single, underlying issue that triggered multiple warnings.
Instead of drowning in red flags, developers could finally fix the real problem.
That innovation gave birth to an Edinburgh University spin-out called Contemplate Ltd, which went on to commercialise the technology and bring new high-tech jobs to Scotland.
If traditional static analysers were smoke alarms – each blaring whenever they sensed danger — the Meta-Analyser was the fire investigator who walks through the chaos, traces the smoke back to the exact faulty wire, and tells you precisely what to fix.
Our Approach
At Mindsheet, we don’t just optimise technology – we rethink it.
Whether it’s AI, systems engineering, or safety-critical software, our approach goes beyond analysis to uncover the real leverage points that drive performance and resilience.
If you’d like to turn your complex technology into a market-ready solution that actually solves the root problem – not just the symptoms – let’s talk.
Contact Mindsheet