├── .git-blame-ignore-revs ├── .github ├── ISSUE_TEMPLATE │ ├── bug-report.yml │ ├── config.yml │ ├── feature-request.yml │ └── question.yml └── workflows │ ├── ci.yml │ ├── cifuzz.yml │ └── nightly-ci.yml ├── .gitignore ├── .gitmodules ├── .pre-commit-config.yaml ├── .readthedocs.yml ├── CMakeLists.txt ├── LICENSE ├── MANIFEST.in ├── README.md ├── docs ├── Makefile ├── api.rst ├── conf.py ├── index.rst ├── make.bat └── quickstart.rst ├── fuzzing ├── build.sh ├── enhanced_fdp.py └── irsb_fuzzer.py ├── make_ffi.py ├── pyproject.toml ├── pyvex ├── __init__.py ├── _register_info.py ├── arches.py ├── block.py ├── const.py ├── const_val.py ├── data_ref.py ├── enums.py ├── errors.py ├── expr.py ├── lifting │ ├── __init__.py │ ├── gym │ │ ├── README.md │ │ ├── __init__.py │ │ ├── aarch64_spotter.py │ │ ├── arm_spotter.py │ │ └── x86_spotter.py │ ├── libvex.py │ ├── lift_function.py │ ├── lifter.py │ ├── post_processor.py │ ├── util │ │ ├── __init__.py │ │ ├── instr_helper.py │ │ ├── lifter_helper.py │ │ ├── syntax_wrapper.py │ │ └── vex_helper.py │ └── zerodivision.py ├── native.py ├── py.typed ├── stmt.py ├── types.py └── utils.py ├── pyvex_c ├── LICENSE ├── README ├── analysis.c ├── e4c_lite.h ├── logging.c ├── logging.h ├── postprocess.c ├── pyvex.c ├── pyvex.def ├── pyvex.h └── pyvex_internal.h └── tests ├── test_arm_postprocess.py ├── test_gym.py ├── test_irsb_property_caching.py ├── test_lift.py ├── test_mips32_postprocess.py ├── test_pyvex.py ├── test_s390x_exrl.py ├── test_s390x_lochi.py ├── test_s390x_vl.py ├── test_spotter.py └── test_ud2.py /.git-blame-ignore-revs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.git-blame-ignore-revs -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug-report.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.github/ISSUE_TEMPLATE/bug-report.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.github/ISSUE_TEMPLATE/config.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature-request.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.github/ISSUE_TEMPLATE/feature-request.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/question.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.github/ISSUE_TEMPLATE/question.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/cifuzz.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.github/workflows/cifuzz.yml -------------------------------------------------------------------------------- /.github/workflows/nightly-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.github/workflows/nightly-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.gitmodules -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /.readthedocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/.readthedocs.yml -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/MANIFEST.in -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/README.md -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/api.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/docs/api.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/quickstart.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/docs/quickstart.rst -------------------------------------------------------------------------------- /fuzzing/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/fuzzing/build.sh -------------------------------------------------------------------------------- /fuzzing/enhanced_fdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/fuzzing/enhanced_fdp.py -------------------------------------------------------------------------------- /fuzzing/irsb_fuzzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/fuzzing/irsb_fuzzer.py -------------------------------------------------------------------------------- /make_ffi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/make_ffi.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyproject.toml -------------------------------------------------------------------------------- /pyvex/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/__init__.py -------------------------------------------------------------------------------- /pyvex/_register_info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/_register_info.py -------------------------------------------------------------------------------- /pyvex/arches.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/arches.py -------------------------------------------------------------------------------- /pyvex/block.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/block.py -------------------------------------------------------------------------------- /pyvex/const.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/const.py -------------------------------------------------------------------------------- /pyvex/const_val.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/const_val.py -------------------------------------------------------------------------------- /pyvex/data_ref.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/data_ref.py -------------------------------------------------------------------------------- /pyvex/enums.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/enums.py -------------------------------------------------------------------------------- /pyvex/errors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/errors.py -------------------------------------------------------------------------------- /pyvex/expr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/expr.py -------------------------------------------------------------------------------- /pyvex/lifting/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/__init__.py -------------------------------------------------------------------------------- /pyvex/lifting/gym/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/gym/README.md -------------------------------------------------------------------------------- /pyvex/lifting/gym/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/gym/__init__.py -------------------------------------------------------------------------------- /pyvex/lifting/gym/aarch64_spotter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/gym/aarch64_spotter.py -------------------------------------------------------------------------------- /pyvex/lifting/gym/arm_spotter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/gym/arm_spotter.py -------------------------------------------------------------------------------- /pyvex/lifting/gym/x86_spotter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/gym/x86_spotter.py -------------------------------------------------------------------------------- /pyvex/lifting/libvex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/libvex.py -------------------------------------------------------------------------------- /pyvex/lifting/lift_function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/lift_function.py -------------------------------------------------------------------------------- /pyvex/lifting/lifter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/lifter.py -------------------------------------------------------------------------------- /pyvex/lifting/post_processor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/post_processor.py -------------------------------------------------------------------------------- /pyvex/lifting/util/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/util/__init__.py -------------------------------------------------------------------------------- /pyvex/lifting/util/instr_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/util/instr_helper.py -------------------------------------------------------------------------------- /pyvex/lifting/util/lifter_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/util/lifter_helper.py -------------------------------------------------------------------------------- /pyvex/lifting/util/syntax_wrapper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/util/syntax_wrapper.py -------------------------------------------------------------------------------- /pyvex/lifting/util/vex_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/util/vex_helper.py -------------------------------------------------------------------------------- /pyvex/lifting/zerodivision.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/lifting/zerodivision.py -------------------------------------------------------------------------------- /pyvex/native.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/native.py -------------------------------------------------------------------------------- /pyvex/py.typed: -------------------------------------------------------------------------------- 1 | partial 2 | -------------------------------------------------------------------------------- /pyvex/stmt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/stmt.py -------------------------------------------------------------------------------- /pyvex/types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/types.py -------------------------------------------------------------------------------- /pyvex/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex/utils.py -------------------------------------------------------------------------------- /pyvex_c/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/LICENSE -------------------------------------------------------------------------------- /pyvex_c/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/README -------------------------------------------------------------------------------- /pyvex_c/analysis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/analysis.c -------------------------------------------------------------------------------- /pyvex_c/e4c_lite.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/e4c_lite.h -------------------------------------------------------------------------------- /pyvex_c/logging.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/logging.c -------------------------------------------------------------------------------- /pyvex_c/logging.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/logging.h -------------------------------------------------------------------------------- /pyvex_c/postprocess.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/postprocess.c -------------------------------------------------------------------------------- /pyvex_c/pyvex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/pyvex.c -------------------------------------------------------------------------------- /pyvex_c/pyvex.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/pyvex.def -------------------------------------------------------------------------------- /pyvex_c/pyvex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/pyvex.h -------------------------------------------------------------------------------- /pyvex_c/pyvex_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/pyvex_c/pyvex_internal.h -------------------------------------------------------------------------------- /tests/test_arm_postprocess.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_arm_postprocess.py -------------------------------------------------------------------------------- /tests/test_gym.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_gym.py -------------------------------------------------------------------------------- /tests/test_irsb_property_caching.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_irsb_property_caching.py -------------------------------------------------------------------------------- /tests/test_lift.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_lift.py -------------------------------------------------------------------------------- /tests/test_mips32_postprocess.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_mips32_postprocess.py -------------------------------------------------------------------------------- /tests/test_pyvex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_pyvex.py -------------------------------------------------------------------------------- /tests/test_s390x_exrl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_s390x_exrl.py -------------------------------------------------------------------------------- /tests/test_s390x_lochi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_s390x_lochi.py -------------------------------------------------------------------------------- /tests/test_s390x_vl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_s390x_vl.py -------------------------------------------------------------------------------- /tests/test_spotter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_spotter.py -------------------------------------------------------------------------------- /tests/test_ud2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/pyvex/HEAD/tests/test_ud2.py --------------------------------------------------------------------------------