Safety at Scale: Advancing Safety with hundreds of millions of lines of C++