Processors

MultiOtter: Multiprocess Symbolic Execution

Free registration required

Executive Summary

Symbolic execution can be an effective technique for exploring large numbers of program paths, but it has generally been applied to programs running in isolation, whose inputs are files or command-line arguments. Programs that take inputs from other programs-servers, for example-have been beyond the reach of symbolic execution. To address this, the authors developed a multi-process symbolic executor called Multi-Otter, along with an implementation of many of the POSIX functions, such as socket and select, that interactive programs usually rely on.

  • Format: PDF
  • Size: 273.7 KB