search

avatarone / news2e-qemu

Official QEMU mirror
Other
0 stars 1 forks source link

Device state #8

Open zaddach opened 8 years ago

zaddach commented 8 years ago

The state of peripheral devices is not saved correctly between symbolic state switches at the moment. Have a look at s2e/S2EDeviceState.cpp.