CHESS

GAMEPLAY: Graph Analysis for Mechanized Exploit generation and Patching Leveraging human Assistance for improved Yield

The GAMEPLAY project aims to improve the processes software vulnerabilities detection, exploit generation, and patching. Gameplay is part of the CHESS DARPA program (Computers and Humans Exploring Software Security) whose goal is to "research the effectiveness of enabling computers and humans to collaboratively reason over software artifacts, such as source code and compiled binaries". In GAMEPLAY, we are building tools and methods to discover vulnerabilities and generate exploits for PHP, Javascript, and C/C binaries.