S2E / s2e-env

Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Other
92 stars 51 forks source link

Segfault when take a ready snapshot #508

Open m4p1e opened 2 days ago

m4p1e commented 2 days ago

I have tried following ways

LD_PRELOAD=xxx/libs2e-x86_64.so xxx/qemu-system-x86_64 -enable-kvm  \
-drive if=ide,index=0,file=./image.raw.s2e,format=s2e,cache=writeback \
-serial file:./serial2.txt -enable-serial-commands \
-net none -net nic,model=e1000 \
-m 512M \
-nographic -monitor null

and

LD_PRELOAD=xxx/libs2e-x86_64.so xxx/qemu-system-x86_64 -enable-kvm  \
-drive if=ide,index=0,file=./image.raw.s2e,format=s2e,cache=writeback \
-serial file:./serial2.txt  \
-net none -net nic,model=e1000 \
-m 512M \
-nographic

and type savevm ready in qemu console. But they both show segfaults. It can be solved by modifying the snapshot name i.e., change ready to ready.ready. The image (ubuntu 22.04) is downloaded from our links.

vitaly-cyberhaven commented 2 days ago

Please attach a stack trace.