Toward Smarter Vulnerability Discovery Using Machine Learning
The S2E Platform: Design, Implementation, and Applications