MultiOtter: Multiprocess Symbolic Execution

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.

Provided by: University of Maryland Topic: Data Centers Date Added: Aug 2011 Format: PDF

Find By Topic