Technical Report,01 Jun 2012,31 Oct 2015
Kestrel Technology LLC Palo Alto United States
Pagination or Media Count:
The CircuitBot project developed a distributed algorithm for performing analysis of C programs. A constraint generator first analyzed a target programs C source files to prepare a collection of constraints describing the use of pointers and offsets. There is no known closed-form solution to this problem, but human experts can help auto-solvers break free when they become stuck. The project distributed these constraints to game players on the Internet, using a crowd of game players to invoke human intuition schemes to solve the constraints problem. Game rules described valid moves allowing player to generate a memory graph performing improved C program verification.