anlp1kk
Re:Chromium project finds that 70% of security defects are memory safe...
on Sunday May 24, 2020 @08:06AM (#23290922)
Because you would make many proven algorithms from Knuth or CLRS illegal.
This is never acknowledged by the C++ people: Idiomatic C++ is not suitable for formal proofs, if you don't believe me, ask Xavier Leroy.