[tsimionescu]

It may eliminate a whole class of vulnerabilities, not bugs - the bugs would still be there (the program would not behave as expected), but they may not be usable anymore for arbitrary code execution or data smuggling.

[jacobush]

True. Still, it should be easier to find and fix the problem if triggering the makes the program reliably terminate.