Have you tried enabling asan? It’s not really the same kind of language guarantees but it does catch a lot of the same errors. In general I think static analys

Have you tried enabling asan? It’s not really the same kind of language guarantees but it does catch a lot of the same errors. In general I think static analysis is a crutch for C++ to claim safety but it is still a very useful tool that devs should use in development.