And the winners are:
- 2x double-free
- 8x NULL pointer dereference
- 6x general protection
- 6x slab-out-of-bounds access
- 14x use-after-free access
Naturally it was only due to the current shortage of those mythical C developers that never make memory corruption mistakes.
In many ways I'm most interested in the Windows bugs: Windows 8+ has a model-checked USB stack written in P (px-1">https://github.com/p-org/P). Or maybe that's just the USB 3.0 stack? Either way, would be interested in whether they're in the integration code or bugs in the P compiler.