Stuff like this is why machines like Burroughs should've dominated in critical applications like banking. Those machines marked code and data as different in memory where CPU wouldnt even execute data words. Also bounds checked pointers and protected stack.

Interesting enough, the successor to Burroughs is being made partly by BAE Systems. See crash-safe.org publication list.