Accession Number:

AD1006469

Title:

Circuitbot

Descriptive Note:

Technical Report,01 Jun 2012,31 Oct 2015

Corporate Author:

Kestrel Technology LLC Palo Alto United States

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.

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE