├── CMakeLists.txt ├── LIBS2ECOREConfig.cmake.in ├── LICENSE ├── include └── s2e │ ├── AddressSpaceCache.h │ ├── ConfigFile.h │ ├── CorePlugin.h │ ├── ExprInterface.h │ ├── FastReg.h │ ├── FunctionHandlers.h │ ├── Logging.h │ ├── MemoryCache.h │ ├── Plugin.h │ ├── PluginManager.h │ ├── S2E.h │ ├── S2EDeviceState.h │ ├── S2EExecutionState.h │ ├── S2EExecutionStateMemory.h │ ├── S2EExecutionStateRegisters.h │ ├── S2EExecutionStateTlb.h │ ├── S2EExecutor.h │ ├── S2EExternalDispatcher.h │ ├── S2EStatsTracker.h │ ├── S2ETranslationBlock.h │ ├── SymbolicHardwareHook.h │ ├── Synchronization.h │ ├── Utils.h │ ├── cpu.h │ ├── monitor.h │ ├── s2e_block.h │ ├── s2e_config.h │ ├── s2e_libcpu.h │ ├── s2e_libcpu_coreplugin.h │ └── s2e_log.h └── src ├── AddressSpaceCache.cpp ├── CMakeLists.txt ├── ConfigFile.cpp ├── CorePlugin.cpp ├── CorePluginInterface.cpp ├── ExprInterface.cpp ├── FunctionHandlers.cpp ├── MMUFunctionHandlers.cpp ├── MemoryDebugger.cpp ├── Plugin.cpp ├── PluginManager.cpp ├── S2E.cpp ├── S2EDeviceState.cpp ├── S2EExecutionState.cpp ├── S2EExecutionStateMemory.cpp ├── S2EExecutionStateRegisters.cpp ├── S2EExecutionStateTlb.cpp ├── S2EExecutor.cpp ├── S2EExternalDispatcher.cpp ├── S2EStatsTracker.cpp ├── S2ETranslationBlock.cpp ├── SymbolicHardwareHook.cpp ├── Synchronization.cpp ├── Utils.cpp └── s2e-qmp.cpp /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LIBS2ECOREConfig.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/LIBS2ECOREConfig.cmake.in -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/LICENSE -------------------------------------------------------------------------------- /include/s2e/AddressSpaceCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/AddressSpaceCache.h -------------------------------------------------------------------------------- /include/s2e/ConfigFile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/ConfigFile.h -------------------------------------------------------------------------------- /include/s2e/CorePlugin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/CorePlugin.h -------------------------------------------------------------------------------- /include/s2e/ExprInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/ExprInterface.h -------------------------------------------------------------------------------- /include/s2e/FastReg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/FastReg.h -------------------------------------------------------------------------------- /include/s2e/FunctionHandlers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/FunctionHandlers.h -------------------------------------------------------------------------------- /include/s2e/Logging.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/Logging.h -------------------------------------------------------------------------------- /include/s2e/MemoryCache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/MemoryCache.h -------------------------------------------------------------------------------- /include/s2e/Plugin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/Plugin.h -------------------------------------------------------------------------------- /include/s2e/PluginManager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/PluginManager.h -------------------------------------------------------------------------------- /include/s2e/S2E.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2E.h -------------------------------------------------------------------------------- /include/s2e/S2EDeviceState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2EDeviceState.h -------------------------------------------------------------------------------- /include/s2e/S2EExecutionState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2EExecutionState.h -------------------------------------------------------------------------------- /include/s2e/S2EExecutionStateMemory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2EExecutionStateMemory.h -------------------------------------------------------------------------------- /include/s2e/S2EExecutionStateRegisters.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2EExecutionStateRegisters.h -------------------------------------------------------------------------------- /include/s2e/S2EExecutionStateTlb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2EExecutionStateTlb.h -------------------------------------------------------------------------------- /include/s2e/S2EExecutor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2EExecutor.h -------------------------------------------------------------------------------- /include/s2e/S2EExternalDispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2EExternalDispatcher.h -------------------------------------------------------------------------------- /include/s2e/S2EStatsTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2EStatsTracker.h -------------------------------------------------------------------------------- /include/s2e/S2ETranslationBlock.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/S2ETranslationBlock.h -------------------------------------------------------------------------------- /include/s2e/SymbolicHardwareHook.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/SymbolicHardwareHook.h -------------------------------------------------------------------------------- /include/s2e/Synchronization.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/Synchronization.h -------------------------------------------------------------------------------- /include/s2e/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/Utils.h -------------------------------------------------------------------------------- /include/s2e/cpu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/cpu.h -------------------------------------------------------------------------------- /include/s2e/monitor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/monitor.h -------------------------------------------------------------------------------- /include/s2e/s2e_block.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/s2e_block.h -------------------------------------------------------------------------------- /include/s2e/s2e_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/s2e_config.h -------------------------------------------------------------------------------- /include/s2e/s2e_libcpu.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/s2e_libcpu.h -------------------------------------------------------------------------------- /include/s2e/s2e_libcpu_coreplugin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/s2e_libcpu_coreplugin.h -------------------------------------------------------------------------------- /include/s2e/s2e_log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/include/s2e/s2e_log.h -------------------------------------------------------------------------------- /src/AddressSpaceCache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/AddressSpaceCache.cpp -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/ConfigFile.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/ConfigFile.cpp -------------------------------------------------------------------------------- /src/CorePlugin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/CorePlugin.cpp -------------------------------------------------------------------------------- /src/CorePluginInterface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/CorePluginInterface.cpp -------------------------------------------------------------------------------- /src/ExprInterface.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/ExprInterface.cpp -------------------------------------------------------------------------------- /src/FunctionHandlers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/FunctionHandlers.cpp -------------------------------------------------------------------------------- /src/MMUFunctionHandlers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/MMUFunctionHandlers.cpp -------------------------------------------------------------------------------- /src/MemoryDebugger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/MemoryDebugger.cpp -------------------------------------------------------------------------------- /src/Plugin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/Plugin.cpp -------------------------------------------------------------------------------- /src/PluginManager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/PluginManager.cpp -------------------------------------------------------------------------------- /src/S2E.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2E.cpp -------------------------------------------------------------------------------- /src/S2EDeviceState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2EDeviceState.cpp -------------------------------------------------------------------------------- /src/S2EExecutionState.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2EExecutionState.cpp -------------------------------------------------------------------------------- /src/S2EExecutionStateMemory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2EExecutionStateMemory.cpp -------------------------------------------------------------------------------- /src/S2EExecutionStateRegisters.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2EExecutionStateRegisters.cpp -------------------------------------------------------------------------------- /src/S2EExecutionStateTlb.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2EExecutionStateTlb.cpp -------------------------------------------------------------------------------- /src/S2EExecutor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2EExecutor.cpp -------------------------------------------------------------------------------- /src/S2EExternalDispatcher.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2EExternalDispatcher.cpp -------------------------------------------------------------------------------- /src/S2EStatsTracker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2EStatsTracker.cpp -------------------------------------------------------------------------------- /src/S2ETranslationBlock.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/S2ETranslationBlock.cpp -------------------------------------------------------------------------------- /src/SymbolicHardwareHook.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/SymbolicHardwareHook.cpp -------------------------------------------------------------------------------- /src/Synchronization.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/Synchronization.cpp -------------------------------------------------------------------------------- /src/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/Utils.cpp -------------------------------------------------------------------------------- /src/s2e-qmp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/libs2ecore/HEAD/src/s2e-qmp.cpp --------------------------------------------------------------------------------