S2E/libs2e

Name: libs2e

Owner: S2E

Description: libs2e.so

Created: 2017-04-04 15:38:54.0

Updated: 2017-12-03 05:44:39.0

Pushed: 2018-01-07 22:02:05.0

Homepage: null

Size: 42

Language: C

GitHub Committers

User	Most Recent Commit	# Commits

Other Committers

User	Email	Most Recent Commit	# Commits

README

Building and Running libs2e

1. Build S2E as usual

    -f ../s2e/Makefile all-release all-debug
   

2. Build qemu from https://github.com/S2E/qemu (You will need to use this qemu further)

   clone https://github.com/S2E/qemu
   r s2e-qemu-build
   2e-qemu-build
   2e-qemu/configure --enable-debug --disable-werror --target-list="i386-softmmu x86_64-softmmu" --disable-docs
   
   rt QEMU_BUILD=/path/to/qemu-build
   

3. Run libs2e in non-S2E mode

   RELOAD=${S2E_BUILD}/libs2e-release/x86_64-softmmu/libs2e.so \
   {QEMU_BUILD}/x86_64-softmmu/qemu-system-x86_64 -drive file=windows7.raw.s2e,cache=writeback,format=s2e -m 2G -enable-kvm
   

4. Run libs2e in S2E mode

   rt S2E_CONFIG=s2e-config.lua
   rt S2E_SHARED_DIR=${S2E_BUILD}/libs2e-release/x86_64-s2e-softmmu/
   
   RELOAD=${S2E_BUILD}/libs2e-release/x86_64-s2e-softmmu/libs2e.so \
   {QEMU_BUILD}/x86_64-softmmu/qemu-system-x86_64 -drive file=windows7.raw.s2e,cache=writeback,format=s2e -m 2G -enable-kvm -net none -loadvm ready