Efficient automatic bug finder from MIT (csail.mit.edu)

It is named "Pasket" and it is based on symbolic execution created by machine learning by executing all possible path of a program. Research paper: http://people.csail.mit.edu/xkqiu/icse2016-final.pdf