> Programming today is fundamentally designed to function rather than be correct... As long as such code is coupled with reasonably complete tests for the expe

> Programming today is fundamentally designed to function rather than be correct... As long as such code is coupled with reasonably complete tests for the expected behavior (think of fuzzing as one of such tests), it's a quite valid and "safe" approach. Of course, it's possible to write "unsafe" code, yet pass most of business-related tests. But this is equally possible with any programming language. Unsafe assumptions will lead to unsafe implementation.