Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2016/08/02/engineering-solutions-to-hard-program-analysis-problems/
A fuzzer and a symbolic executor walk into a cloud