They did more than that. See e.g. this slide: If you use normal coding patterns, then normal linting tools can notice the bugs. The openssl code was hiding t

They did more than that. See e.g. this slide: If you use normal coding patterns, then normal linting tools can notice the bugs. The openssl code was hiding the truth from these tools, for no reason. https://www.openbsd.org/papers/bsdcan14-libressl/mgp00014.html https://www.openbsd.org/papers/bsdcan14-libressl/mgp00014.ht...