For those interested in the highly technical details, here’s Graham’s post going through the code line by line:
blog.erratasec.com