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.
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