How to Find 56 Potential Vulnerabilities in FreeBSD Code in One Evening

A duplicate of https://news.ycombinator.com/item?id=14057568 submitted by the author xyrself.