Technologies
The languages critical systems run on
We work in the languages critical software is actually written in, and we contribute upstream to their compilers, package managers and proof tools.
By language
Our language expertise
Every language fails in its own way. Each page sets out what we do about it, and the tools we built to do it.
Rust
Memory safety without a garbage collector, for performance-critical and embedded software.
WebAssembly
A portable, sandboxed target we use for cross-language analysis and symbolic execution.
OCaml
Our founding language: compilers, static analysis and much of the tooling the ecosystem runs on.
GnuCOBOL
Free COBOL compilation for mainframe workloads, with no proprietary licence to renew.
C
Formal verification, symbolic execution and memory safety analysis for legacy C codebases.
Get started