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

https://blog.trailofbits.com/2016/08/02/engineering-solutions-to-hard-program-analysis-problems/