EXE: 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
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