Accession Number:
AD1006469
Title:
Circuitbot
Descriptive Note:
Technical Report,01 Jun 2012,31 Oct 2015
Corporate Author:
Kestrel Technology LLC Palo Alto United States
Personal Author(s):
Report Date:
2016-03-01
Pagination or Media Count:
330.0
Abstract:
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.