Data Centers

MultiOtter: Multiprocess Symbolic Execution

Date Added: Aug 2011
Format: PDF

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.