3 ms·

Efficient automatic bug finder from MIT

• fenesiistvan 10y ago
  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 http://people.csail.mit.edu/xkqiu/icse2016-final.pdf