@saxnot A big underrated advantage of #Rust in terms of reliability are the Result and Option types as they are much more explicit than exceptions and nullptr.
Furthermore rustc/clippy are your best friend for writing good code.
I‘ve never written code with a as good first (succesful) compile & success rate as in Rust.
If it has to be low level, take a look at #Zig and if it doesn‘t have to be zero-overhad, maybe a functional lang would be a good contender.
A linter would be good in that case. Dated, but this would be how in clang-tidy.
https://www.kdab.com/clang-tidy-part-1-modernize-source-code-using-c11c14/amp/