30 April 2020
Bulletproof TLS Newsletter is a free periodic newsletter bringing you commentary and news surrounding SSL/TLS and Internet PKI, designed to keep you informed about the latest developments in this space. Maintained by Hanno Böck.
OpenSSL recently released a security update fixing a bug in the certificate validation code. The
SSL_check_chain() function can crash due to a NULL pointer dereference when an invalid signature algorithm is detected. This bug could be used to crash OpenSSL-based servers. Only relatively recent versions of OpenSSL 1.1.1 are affected (1.1.1d through 1.1.1f); the OpenSSL team has released version 1.1.1g with a fix for the bug.
Of note about the bug is that it has been detected with a new static code analyzer tool introduced by GCC. This feature will be part of the upcoming version 10 of GCC and can be tested with a Git build of the current GCC code.
David Malcom, a Red Hat developer who has developed the feature, has explained its details in a blog post. The
-fanalyzer flag in GCC 10 allows for finding common bug classes via the compiler, with a first focus on double-free bugs.
While the bug found shows that this is a powerful feature that can find real security bugs, a discussion in the OpenSSL bug tracker also indicates that
-fanalyzer creates difficult-to-analyze false positives. A common property of static code analysis is that it can produce false positives, and it is a challenge to keep the false positive rate low enough that you avoid getting too many false alarms while at the same time keep the tool useful.
This subscription is just for the newsletter; we won't send you anything else.
Designed by Ivan Ristić, the author of SSL Labs, Bulletproof SSL and TLS, and Hardenize, our course covers everything you need to know to deploy secure servers and encrypted web applications.
Remote and trainer-led, with small classes and a choice of timezones.
Join over 1,500 students who have benefited from more than a decade of deep TLS and PKI expertise.