Stuff like this is why machines like Burroughs should&#x27;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.<p>Interesting enough, the successor to Burroughs is being made partly by BAE Systems. See crash-safe.org publication list.