2

Yes, there's plenty of work on synthesizing exploits using program synthesis. One of the seminal papers was: Thanassis Avgerinos, Sang Kil Cha, Alexandre Rebert, Edward J. Schwartz, Maverick Woo, and David Brumley. Automatic Exploit Generation. Communications of the ACM, 57(2):74–84, 2014. This is a cleaned-up and general-audience version of a paper ...


Only top voted, non community-wiki answers of a minimum length are eligible