While not as mature as Rust, static enforcement of C++'s (memory and data race) safe subset is coming along [1]. Iiuc tools like TrustInSoft are for situations

While not as mature as Rust, static enforcement of C++'s (memory and data race) safe subset is coming along [1]. Iiuc tools like TrustInSoft are for situations where you need not just safety, but "reliability" (i.e. no crashes, no exceptions). That doesn't really scale so well to larger applications. [1] https://github.com/duneroadrunner/scpptool https://github.com/duneroadrunner/scpptool