An interesting SSL implementation bug: CVE-2013-5914 (blog.frama-c.com)