Up

EXE: Automatically Generating Inputs of Death

<span class=abbr>EXE</span>: Automatically Generating Inputs of Death

From KLEE paper: EXE used one native OS process per state.

1 Runs code symbolically. Forks execution on conditions. It checks dangerous operations. Uses STP.

Sergey Vartanov, 2007–2020