├── CMakeLists.txt ├── LIBS2EConfig.cmake.in ├── LICENSE ├── Makefile ├── Makefile.target ├── README.md ├── configure └── src ├── CMakeLists.txt ├── FileDescriptorManager.h ├── crashdump.cpp ├── libs2e.cpp ├── libs2e.h ├── mapfile ├── s2e-kvm-io.cpp ├── s2e-kvm-state.cpp ├── s2e-kvm-trace.cpp ├── s2e-kvm-trace.h ├── s2e-kvm-vcpu.cpp ├── s2e-kvm-vcpu.h ├── s2e-kvm-vm.cpp ├── s2e-kvm-vm.h ├── s2e-kvm.cpp ├── s2e-kvm.h ├── s2e-libcpu-interface.cpp ├── syscalls.h └── test.cpp /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LIBS2EConfig.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/LIBS2EConfig.cmake.in -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.target: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/Makefile.target -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/README.md -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/configure -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/FileDescriptorManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/FileDescriptorManager.h -------------------------------------------------------------------------------- /src/crashdump.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/crashdump.cpp -------------------------------------------------------------------------------- /src/libs2e.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/libs2e.cpp -------------------------------------------------------------------------------- /src/libs2e.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/libs2e.h -------------------------------------------------------------------------------- /src/mapfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/mapfile -------------------------------------------------------------------------------- /src/s2e-kvm-io.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm-io.cpp -------------------------------------------------------------------------------- /src/s2e-kvm-state.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm-state.cpp -------------------------------------------------------------------------------- /src/s2e-kvm-trace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm-trace.cpp -------------------------------------------------------------------------------- /src/s2e-kvm-trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm-trace.h -------------------------------------------------------------------------------- /src/s2e-kvm-vcpu.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm-vcpu.cpp -------------------------------------------------------------------------------- /src/s2e-kvm-vcpu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm-vcpu.h -------------------------------------------------------------------------------- /src/s2e-kvm-vm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm-vm.cpp -------------------------------------------------------------------------------- /src/s2e-kvm-vm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm-vm.h -------------------------------------------------------------------------------- /src/s2e-kvm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm.cpp -------------------------------------------------------------------------------- /src/s2e-kvm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-kvm.h -------------------------------------------------------------------------------- /src/s2e-libcpu-interface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/s2e-libcpu-interface.cpp -------------------------------------------------------------------------------- /src/syscalls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/syscalls.h -------------------------------------------------------------------------------- /src/test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2e/HEAD/src/test.cpp --------------------------------------------------------------------------------