├── .git-blame-ignore-revs ├── .github ├── ISSUE_TEMPLATE │ ├── bug-report.yml │ ├── config.yml │ ├── feature-request.yml │ └── question.yml └── workflows │ ├── ci.yml │ ├── macos.yml │ ├── nightly-ci.yml │ └── windows.yml ├── .gitignore ├── .pre-commit-config.yaml ├── .readthedocs.yml ├── LICENSE ├── README.md ├── ailment ├── __init__.py ├── block.py ├── block_walker.py ├── constant.py ├── converter_common.py ├── converter_pcode.py ├── converter_vex.py ├── expression.py ├── manager.py ├── py.typed ├── statement.py ├── tagged_object.py └── utils.py ├── docs ├── Makefile ├── api.rst ├── conf.py ├── index.rst ├── make.bat └── readme.rst ├── pyproject.toml └── tests ├── test_expression.py └── test_irsb.py /.git-blame-ignore-revs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.git-blame-ignore-revs -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug-report.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.github/ISSUE_TEMPLATE/bug-report.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.github/ISSUE_TEMPLATE/config.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature-request.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.github/ISSUE_TEMPLATE/feature-request.yml -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/question.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.github/ISSUE_TEMPLATE/question.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/macos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.github/workflows/macos.yml -------------------------------------------------------------------------------- /.github/workflows/nightly-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.github/workflows/nightly-ci.yml -------------------------------------------------------------------------------- /.github/workflows/windows.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.github/workflows/windows.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.gitignore -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /.readthedocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/.readthedocs.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/README.md -------------------------------------------------------------------------------- /ailment/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/__init__.py -------------------------------------------------------------------------------- /ailment/block.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/block.py -------------------------------------------------------------------------------- /ailment/block_walker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/block_walker.py -------------------------------------------------------------------------------- /ailment/constant.py: -------------------------------------------------------------------------------- 1 | UNDETERMINED_SIZE = -0xC0DE 2 | -------------------------------------------------------------------------------- /ailment/converter_common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/converter_common.py -------------------------------------------------------------------------------- /ailment/converter_pcode.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/converter_pcode.py -------------------------------------------------------------------------------- /ailment/converter_vex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/converter_vex.py -------------------------------------------------------------------------------- /ailment/expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/expression.py -------------------------------------------------------------------------------- /ailment/manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/manager.py -------------------------------------------------------------------------------- /ailment/py.typed: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ailment/statement.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/statement.py -------------------------------------------------------------------------------- /ailment/tagged_object.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/tagged_object.py -------------------------------------------------------------------------------- /ailment/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/ailment/utils.py -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/api.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/docs/api.rst -------------------------------------------------------------------------------- /docs/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/docs/conf.py -------------------------------------------------------------------------------- /docs/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/docs/index.rst -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/readme.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/docs/readme.rst -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/pyproject.toml -------------------------------------------------------------------------------- /tests/test_expression.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/tests/test_expression.py -------------------------------------------------------------------------------- /tests/test_irsb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/angr/ailment/HEAD/tests/test_irsb.py --------------------------------------------------------------------------------