Engineering solutions to hard program analysis problems
blog.trailofbits.com