Is it that you can't suffer the same issue, or that you can't 'really' suffer the same issue? Even if there's a smaller chance of it happening, any language th

Is it that you can't suffer the same issue, or that you can't 'really' suffer the same issue? Even if there's a smaller chance of it happening, any language that has ANY chance of killing your system when running as expected is a language I'll never bother to learn. Is there any sort of analysis tool they might be able to put into the compiler to tell you if a data structure you created has a high chance of looking like a pointer?