How OpenBSD and Linux Mitigate Security Bugs