From: no.email@nospam.invalid   
      
   dxf  writes:   
   > AFAIK hacks are opportunistic i.e. could not reasonably be foreseen.   
   > Such "errors" are forgivable.  Not so, programmers who either don't   
   > know where something might overflow, or knowing, fail to address it.   
      
   Humans make errors.  The world's smartest mathematicians have published   
   proofs with mistakes.  Today, there is a community that likes to   
   machine-check math proofs to make sure they are sound.  It's the same   
   thing with memory-safe languages.  We don't have practical ways to make   
   sure programs are free of all errors, but we can make sure they are free   
   of some common and significant types of them.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)