moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Need fault tolerance when VM terminates on initial input #144

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

Corner case.

If the VM terminates while attempting to execute the first test case, there is no recovery. It will be as if convergence happened. The VM will restart, but there will be no initial test case to get the ball rolling.