moralismercatus / crete

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

Ensure image send failures are handled correctly #171

Closed moralismercatus closed 7 years ago

moralismercatus commented 8 years ago

If the connection between Dispatch and VMNode fails while sending the image, ensure that a future attempt to transmit the image will succeed correctly.

moralismercatus commented 7 years ago

This was a simple fix. In Dispatch, _imageinfo was sent and updated before the image was. Now, it is sent after. This way, the image must have succeeded if _imageinfo is present.