Circuitbot

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2016
Accession Number
AD1006469

Entities

People

  • Andrew Keplinger
  • Arnaud Venet
  • Gregory Izzo
  • Henny Sipma
  • Matthew C. Barry
  • Nelson Rushton
  • Qianji Zheng

Tags

Communities of Interest

  • Autonomy
  • Cyber
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Coding
  • Computer Programming
  • Computer Programs
  • Computers
  • Generators
  • Internet
  • Lessons Learned
  • Microarchitecture
  • Operating Systems
  • Research Facilities
  • Social Media
  • Software Development
  • Solar Panels
  • Web Browsers

Fields of Study

  • Computer science

Readers

  • Game Theory.
  • Operations Research
  • Systems Analysis and Design