├── .github ├── FUNDING.yml └── workflows │ └── test.yaml ├── .gitignore ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── pylint_rc ├── pyproject.toml ├── run_pylint.py ├── s2e_env ├── __init__.py ├── analysis │ ├── __init__.py │ ├── elf.py │ └── pe.py ├── command.py ├── commands │ ├── __init__.py │ ├── build.py │ ├── code_coverage │ │ ├── __init__.py │ │ ├── basic_block.py │ │ ├── binaryninja_basic_block.py │ │ ├── ida_basic_block.py │ │ ├── lcov.py │ │ └── r2_basic_block.py │ ├── coverage.py │ ├── deps.py │ ├── execution_trace.py │ ├── export_project.py │ ├── forkprofile.py │ ├── image_build.py │ ├── import_export │ │ └── __init__.py │ ├── import_project.py │ ├── info.py │ ├── init.py │ ├── new_plugin.py │ ├── new_project.py │ ├── project_creation │ │ ├── __init__.py │ │ ├── abstract_project.py │ │ ├── base_project.py │ │ ├── bios_project.py │ │ ├── cgc_project.py │ │ ├── linux_project.py │ │ ├── target.py │ │ ├── utils.py │ │ └── windows_project.py │ ├── recipe.py │ ├── run.py │ ├── testsuite.py │ └── update.py ├── dat │ ├── VERSION │ ├── cgc.magic │ ├── config.yaml │ └── library.lua ├── execution_trace │ ├── TraceEntries_pb2.py │ ├── TraceEntries_pb2.pyi │ ├── __init__.py │ ├── analyzer.py │ └── modules.py ├── infparser │ ├── __init__.py │ ├── case_insensitive_dict.py │ ├── device.py │ ├── driver.py │ ├── file.py │ ├── parseinf.py │ ├── parser.py │ ├── section.py │ └── version.py ├── manage.py ├── server │ ├── __init__.py │ ├── cgc_interface.py │ ├── collector_threads.py │ ├── coverage.py │ ├── queueprocessor.py │ ├── stats.py │ ├── threads.py │ └── web_service_interface.py ├── symbols │ ├── __init__.py │ ├── debuglink.py │ ├── functions.py │ ├── lines.py │ └── paths.py ├── templates │ ├── bootstrap.cgc.sh │ ├── bootstrap.linux.sh │ ├── bootstrap.sh │ ├── bootstrap.windows.sh │ ├── bootstrap.windows_common.sh │ ├── bootstrap.windows_dll.sh │ ├── bootstrap.windows_driver.sh │ ├── instructions.txt │ ├── launch-s2e.sh │ ├── models.lua │ ├── plugin_creation │ │ ├── plugin.cpp.template │ │ └── plugin.h.template │ ├── s2e-config.bios.lua │ ├── s2e-config.cgc.lua │ ├── s2e-config.linux.lua │ ├── s2e-config.lua │ ├── s2e-config.windows.lua │ ├── s2e.yaml │ ├── s2e_activate.sh │ ├── symranges.template │ └── verify-pov.sh ├── tui │ ├── __init__.py │ └── tui.py └── utils │ ├── __init__.py │ ├── google.py │ ├── host.py │ ├── images.py │ ├── log.py │ ├── memoize.py │ ├── repos.py │ ├── tempdir.py │ └── templates.py ├── test.sh └── tests ├── __init__.py ├── analysis ├── __init__.py ├── test_elf.py └── test_pe.py ├── commands ├── __init__.py ├── code_coverage │ ├── __init__.py │ ├── mmount_bbs.json │ ├── mmount_tb_coverage.json │ └── test_bb_code_coverage_elf.py └── project_creation │ ├── __init__.py │ ├── test_cgc_project.py │ ├── test_linux_project.py │ ├── test_target.py │ └── test_windows_project.py ├── dat ├── CADET_00001 ├── __init__.py ├── cat ├── myputs.dll ├── scanner.inf ├── scanner.sys ├── scanuser.exe └── src │ ├── .clang-format │ └── myputs.c └── execution_trace └── test_modules.py /.github/FUNDING.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/.github/FUNDING.yml -------------------------------------------------------------------------------- /.github/workflows/test.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/.github/workflows/test.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/.gitignore -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/README.md -------------------------------------------------------------------------------- /pylint_rc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/pylint_rc -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/pyproject.toml -------------------------------------------------------------------------------- /run_pylint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/run_pylint.py -------------------------------------------------------------------------------- /s2e_env/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/__init__.py -------------------------------------------------------------------------------- /s2e_env/analysis/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /s2e_env/analysis/elf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/analysis/elf.py -------------------------------------------------------------------------------- /s2e_env/analysis/pe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/analysis/pe.py -------------------------------------------------------------------------------- /s2e_env/command.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/command.py -------------------------------------------------------------------------------- /s2e_env/commands/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /s2e_env/commands/build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/build.py -------------------------------------------------------------------------------- /s2e_env/commands/code_coverage/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/code_coverage/__init__.py -------------------------------------------------------------------------------- /s2e_env/commands/code_coverage/basic_block.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/code_coverage/basic_block.py -------------------------------------------------------------------------------- /s2e_env/commands/code_coverage/binaryninja_basic_block.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/code_coverage/binaryninja_basic_block.py -------------------------------------------------------------------------------- /s2e_env/commands/code_coverage/ida_basic_block.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/code_coverage/ida_basic_block.py -------------------------------------------------------------------------------- /s2e_env/commands/code_coverage/lcov.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/code_coverage/lcov.py -------------------------------------------------------------------------------- /s2e_env/commands/code_coverage/r2_basic_block.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/code_coverage/r2_basic_block.py -------------------------------------------------------------------------------- /s2e_env/commands/coverage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/coverage.py -------------------------------------------------------------------------------- /s2e_env/commands/deps.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/deps.py -------------------------------------------------------------------------------- /s2e_env/commands/execution_trace.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/execution_trace.py -------------------------------------------------------------------------------- /s2e_env/commands/export_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/export_project.py -------------------------------------------------------------------------------- /s2e_env/commands/forkprofile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/forkprofile.py -------------------------------------------------------------------------------- /s2e_env/commands/image_build.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/image_build.py -------------------------------------------------------------------------------- /s2e_env/commands/import_export/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/import_export/__init__.py -------------------------------------------------------------------------------- /s2e_env/commands/import_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/import_project.py -------------------------------------------------------------------------------- /s2e_env/commands/info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/info.py -------------------------------------------------------------------------------- /s2e_env/commands/init.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/init.py -------------------------------------------------------------------------------- /s2e_env/commands/new_plugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/new_plugin.py -------------------------------------------------------------------------------- /s2e_env/commands/new_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/new_project.py -------------------------------------------------------------------------------- /s2e_env/commands/project_creation/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/project_creation/__init__.py -------------------------------------------------------------------------------- /s2e_env/commands/project_creation/abstract_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/project_creation/abstract_project.py -------------------------------------------------------------------------------- /s2e_env/commands/project_creation/base_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/project_creation/base_project.py -------------------------------------------------------------------------------- /s2e_env/commands/project_creation/bios_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/project_creation/bios_project.py -------------------------------------------------------------------------------- /s2e_env/commands/project_creation/cgc_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/project_creation/cgc_project.py -------------------------------------------------------------------------------- /s2e_env/commands/project_creation/linux_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/project_creation/linux_project.py -------------------------------------------------------------------------------- /s2e_env/commands/project_creation/target.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/project_creation/target.py -------------------------------------------------------------------------------- /s2e_env/commands/project_creation/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/project_creation/utils.py -------------------------------------------------------------------------------- /s2e_env/commands/project_creation/windows_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/project_creation/windows_project.py -------------------------------------------------------------------------------- /s2e_env/commands/recipe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/recipe.py -------------------------------------------------------------------------------- /s2e_env/commands/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/run.py -------------------------------------------------------------------------------- /s2e_env/commands/testsuite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/testsuite.py -------------------------------------------------------------------------------- /s2e_env/commands/update.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/commands/update.py -------------------------------------------------------------------------------- /s2e_env/dat/VERSION: -------------------------------------------------------------------------------- 1 | 0.20 2 | -------------------------------------------------------------------------------- /s2e_env/dat/cgc.magic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/dat/cgc.magic -------------------------------------------------------------------------------- /s2e_env/dat/config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/dat/config.yaml -------------------------------------------------------------------------------- /s2e_env/dat/library.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/dat/library.lua -------------------------------------------------------------------------------- /s2e_env/execution_trace/TraceEntries_pb2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/execution_trace/TraceEntries_pb2.py -------------------------------------------------------------------------------- /s2e_env/execution_trace/TraceEntries_pb2.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/execution_trace/TraceEntries_pb2.pyi -------------------------------------------------------------------------------- /s2e_env/execution_trace/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/execution_trace/__init__.py -------------------------------------------------------------------------------- /s2e_env/execution_trace/analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/execution_trace/analyzer.py -------------------------------------------------------------------------------- /s2e_env/execution_trace/modules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/execution_trace/modules.py -------------------------------------------------------------------------------- /s2e_env/infparser/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/infparser/__init__.py -------------------------------------------------------------------------------- /s2e_env/infparser/case_insensitive_dict.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/infparser/case_insensitive_dict.py -------------------------------------------------------------------------------- /s2e_env/infparser/device.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/infparser/device.py -------------------------------------------------------------------------------- /s2e_env/infparser/driver.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/infparser/driver.py -------------------------------------------------------------------------------- /s2e_env/infparser/file.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/infparser/file.py -------------------------------------------------------------------------------- /s2e_env/infparser/parseinf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/infparser/parseinf.py -------------------------------------------------------------------------------- /s2e_env/infparser/parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/infparser/parser.py -------------------------------------------------------------------------------- /s2e_env/infparser/section.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/infparser/section.py -------------------------------------------------------------------------------- /s2e_env/infparser/version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/infparser/version.py -------------------------------------------------------------------------------- /s2e_env/manage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/manage.py -------------------------------------------------------------------------------- /s2e_env/server/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/server/__init__.py -------------------------------------------------------------------------------- /s2e_env/server/cgc_interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/server/cgc_interface.py -------------------------------------------------------------------------------- /s2e_env/server/collector_threads.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/server/collector_threads.py -------------------------------------------------------------------------------- /s2e_env/server/coverage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/server/coverage.py -------------------------------------------------------------------------------- /s2e_env/server/queueprocessor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/server/queueprocessor.py -------------------------------------------------------------------------------- /s2e_env/server/stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/server/stats.py -------------------------------------------------------------------------------- /s2e_env/server/threads.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/server/threads.py -------------------------------------------------------------------------------- /s2e_env/server/web_service_interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/server/web_service_interface.py -------------------------------------------------------------------------------- /s2e_env/symbols/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/symbols/__init__.py -------------------------------------------------------------------------------- /s2e_env/symbols/debuglink.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/symbols/debuglink.py -------------------------------------------------------------------------------- /s2e_env/symbols/functions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/symbols/functions.py -------------------------------------------------------------------------------- /s2e_env/symbols/lines.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/symbols/lines.py -------------------------------------------------------------------------------- /s2e_env/symbols/paths.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/symbols/paths.py -------------------------------------------------------------------------------- /s2e_env/templates/bootstrap.cgc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/bootstrap.cgc.sh -------------------------------------------------------------------------------- /s2e_env/templates/bootstrap.linux.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/bootstrap.linux.sh -------------------------------------------------------------------------------- /s2e_env/templates/bootstrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/bootstrap.sh -------------------------------------------------------------------------------- /s2e_env/templates/bootstrap.windows.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/bootstrap.windows.sh -------------------------------------------------------------------------------- /s2e_env/templates/bootstrap.windows_common.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/bootstrap.windows_common.sh -------------------------------------------------------------------------------- /s2e_env/templates/bootstrap.windows_dll.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/bootstrap.windows_dll.sh -------------------------------------------------------------------------------- /s2e_env/templates/bootstrap.windows_driver.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/bootstrap.windows_driver.sh -------------------------------------------------------------------------------- /s2e_env/templates/instructions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/instructions.txt -------------------------------------------------------------------------------- /s2e_env/templates/launch-s2e.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/launch-s2e.sh -------------------------------------------------------------------------------- /s2e_env/templates/models.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/models.lua -------------------------------------------------------------------------------- /s2e_env/templates/plugin_creation/plugin.cpp.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/plugin_creation/plugin.cpp.template -------------------------------------------------------------------------------- /s2e_env/templates/plugin_creation/plugin.h.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/plugin_creation/plugin.h.template -------------------------------------------------------------------------------- /s2e_env/templates/s2e-config.bios.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/s2e-config.bios.lua -------------------------------------------------------------------------------- /s2e_env/templates/s2e-config.cgc.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/s2e-config.cgc.lua -------------------------------------------------------------------------------- /s2e_env/templates/s2e-config.linux.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/s2e-config.linux.lua -------------------------------------------------------------------------------- /s2e_env/templates/s2e-config.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/s2e-config.lua -------------------------------------------------------------------------------- /s2e_env/templates/s2e-config.windows.lua: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/s2e-config.windows.lua -------------------------------------------------------------------------------- /s2e_env/templates/s2e.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/s2e.yaml -------------------------------------------------------------------------------- /s2e_env/templates/s2e_activate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/s2e_activate.sh -------------------------------------------------------------------------------- /s2e_env/templates/symranges.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/symranges.template -------------------------------------------------------------------------------- /s2e_env/templates/verify-pov.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/templates/verify-pov.sh -------------------------------------------------------------------------------- /s2e_env/tui/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /s2e_env/tui/tui.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/tui/tui.py -------------------------------------------------------------------------------- /s2e_env/utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /s2e_env/utils/google.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/utils/google.py -------------------------------------------------------------------------------- /s2e_env/utils/host.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/utils/host.py -------------------------------------------------------------------------------- /s2e_env/utils/images.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/utils/images.py -------------------------------------------------------------------------------- /s2e_env/utils/log.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/utils/log.py -------------------------------------------------------------------------------- /s2e_env/utils/memoize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/utils/memoize.py -------------------------------------------------------------------------------- /s2e_env/utils/repos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/utils/repos.py -------------------------------------------------------------------------------- /s2e_env/utils/tempdir.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/utils/tempdir.py -------------------------------------------------------------------------------- /s2e_env/utils/templates.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/s2e_env/utils/templates.py -------------------------------------------------------------------------------- /test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/test.sh -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/analysis/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/analysis/test_elf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/analysis/test_elf.py -------------------------------------------------------------------------------- /tests/analysis/test_pe.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/analysis/test_pe.py -------------------------------------------------------------------------------- /tests/commands/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/commands/code_coverage/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/commands/code_coverage/__init__.py -------------------------------------------------------------------------------- /tests/commands/code_coverage/mmount_bbs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/commands/code_coverage/mmount_bbs.json -------------------------------------------------------------------------------- /tests/commands/code_coverage/mmount_tb_coverage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/commands/code_coverage/mmount_tb_coverage.json -------------------------------------------------------------------------------- /tests/commands/code_coverage/test_bb_code_coverage_elf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/commands/code_coverage/test_bb_code_coverage_elf.py -------------------------------------------------------------------------------- /tests/commands/project_creation/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/commands/project_creation/__init__.py -------------------------------------------------------------------------------- /tests/commands/project_creation/test_cgc_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/commands/project_creation/test_cgc_project.py -------------------------------------------------------------------------------- /tests/commands/project_creation/test_linux_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/commands/project_creation/test_linux_project.py -------------------------------------------------------------------------------- /tests/commands/project_creation/test_target.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/commands/project_creation/test_target.py -------------------------------------------------------------------------------- /tests/commands/project_creation/test_windows_project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/commands/project_creation/test_windows_project.py -------------------------------------------------------------------------------- /tests/dat/CADET_00001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/dat/CADET_00001 -------------------------------------------------------------------------------- /tests/dat/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/dat/cat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/dat/cat -------------------------------------------------------------------------------- /tests/dat/myputs.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/dat/myputs.dll -------------------------------------------------------------------------------- /tests/dat/scanner.inf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/dat/scanner.inf -------------------------------------------------------------------------------- /tests/dat/scanner.sys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/dat/scanner.sys -------------------------------------------------------------------------------- /tests/dat/scanuser.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/dat/scanuser.exe -------------------------------------------------------------------------------- /tests/dat/src/.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/dat/src/.clang-format -------------------------------------------------------------------------------- /tests/dat/src/myputs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/dat/src/myputs.c -------------------------------------------------------------------------------- /tests/execution_trace/test_modules.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/S2E/s2e-env/HEAD/tests/execution_trace/test_modules.py --------------------------------------------------------------------------------