5 ms·
The whole problem is that you only need one mistake in all those billions/trillions of LOC's, and your systems get 0wned. I'm pretty sure that "our standards fo
by zozbot123 8y ago
The whole problem is that you only need one mistake in all those billions/trillions of LOC's, and your systems get 0wned. I'm pretty sure that "our standards for C programmers" don't include "programmer is guaranteed not to make any mistake, EVAR", whereas that's an entirely appropriate standard for automated, language-based security.
- nineteen999 8y agoSee the related article posted from Microsoft today; Microsoft: 70 percent of all security bugs are memory safety issues https://news.ycombinator.com/item?id=19138602 If we could get rid of that 70% that would be great, but it still leaves programmers doing other stupid shit in the other 30% of cases.