>dangling pointers etc are an issue In the safety critical programming we use subset of C or (C++) with static code analysis. It's possible to prove that there

>dangling pointers etc are an issue In the safety critical programming we use subset of C or (C++) with static code analysis. It's possible to prove that there is no dangling pointers, divisions by zero, floating point exceptions (with assertions), out of bounds array access. It's called verification. Programming is limited into MISRA C and then it's run trough static code analysis tool like Astree to prove that there is no run­time errors. There are still bugs, but they are not "typical C errors". Waiting for new systems programming candidates to get their toolchain to match the task. https://www.absint.com/astree/index.htm https://www.absint.com/astree/index.htm