945 karma · joined February 23, 2013
Meanwhile, the parents' generation and politicians are looking at the declining cigarette sales (and declining tax revenues) and are busy declaring victory and self-congratulating, with no idea what is coming.
In other words, I absolutely see the need for waterproof phones, even for ordinary people doing ordinary things, and am never going to buy one that isn't.
It is possible to restrict the call-flow graph to avoid the case you described, the canonical reference here is the CFI and XFI papers by Ulfar Erlingsson et.al. In XFI they/we did have a binary rewriter that tried to handle all the corner cases, but I wouldn't recommend going that deep, instead you should just patch the compiler (which funnily we couldn't do, because the MSVC source code was kept secret even inside MSFT, and GCC source code was strictly off-limits due to being GPL-radioactive...)