├── CVE-2021-34273.code ├── LICENSE ├── README.md ├── bin └── achecker.py ├── requirements.txt ├── setup.py └── src ├── __init__.py ├── cfg ├── __init__.py ├── bb.py ├── cfg.py ├── disassembly.py ├── instruction.py ├── opcodes.py └── rattle │ ├── LICENSE │ ├── __init__.py │ ├── analyze.py │ ├── evmasm.py │ ├── hashes.py │ ├── recover.py │ └── ssa.py ├── constraints.py ├── evm ├── __init__.py ├── evm.py ├── exceptions.py ├── results.py └── state.py ├── exploit.py ├── explorer ├── __init__.py ├── backward.py └── forward.py ├── flow ├── FSignatures.txt ├── __init__.py ├── analysis_results.py ├── code_info.py ├── symbolic.py └── tainting.py ├── memory.py ├── project.py ├── slicing.py ├── storage.py ├── teEther_LICENSE └── util ├── __init__.py ├── frontierset.py ├── intrange.py ├── utils.py └── z3_extra_util.py /CVE-2021-34273.code: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/CVE-2021-34273.code -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/README.md -------------------------------------------------------------------------------- /bin/achecker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/bin/achecker.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/requirements.txt -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/setup.py -------------------------------------------------------------------------------- /src/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/__init__.py -------------------------------------------------------------------------------- /src/cfg/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/__init__.py -------------------------------------------------------------------------------- /src/cfg/bb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/bb.py -------------------------------------------------------------------------------- /src/cfg/cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/cfg.py -------------------------------------------------------------------------------- /src/cfg/disassembly.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/disassembly.py -------------------------------------------------------------------------------- /src/cfg/instruction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/instruction.py -------------------------------------------------------------------------------- /src/cfg/opcodes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/opcodes.py -------------------------------------------------------------------------------- /src/cfg/rattle/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/rattle/LICENSE -------------------------------------------------------------------------------- /src/cfg/rattle/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/rattle/__init__.py -------------------------------------------------------------------------------- /src/cfg/rattle/analyze.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/rattle/analyze.py -------------------------------------------------------------------------------- /src/cfg/rattle/evmasm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/rattle/evmasm.py -------------------------------------------------------------------------------- /src/cfg/rattle/hashes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/rattle/hashes.py -------------------------------------------------------------------------------- /src/cfg/rattle/recover.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/rattle/recover.py -------------------------------------------------------------------------------- /src/cfg/rattle/ssa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/cfg/rattle/ssa.py -------------------------------------------------------------------------------- /src/constraints.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/constraints.py -------------------------------------------------------------------------------- /src/evm/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/evm/__init__.py -------------------------------------------------------------------------------- /src/evm/evm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/evm/evm.py -------------------------------------------------------------------------------- /src/evm/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/evm/exceptions.py -------------------------------------------------------------------------------- /src/evm/results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/evm/results.py -------------------------------------------------------------------------------- /src/evm/state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/evm/state.py -------------------------------------------------------------------------------- /src/exploit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/exploit.py -------------------------------------------------------------------------------- /src/explorer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/explorer/__init__.py -------------------------------------------------------------------------------- /src/explorer/backward.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/explorer/backward.py -------------------------------------------------------------------------------- /src/explorer/forward.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/explorer/forward.py -------------------------------------------------------------------------------- /src/flow/FSignatures.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/flow/FSignatures.txt -------------------------------------------------------------------------------- /src/flow/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/flow/__init__.py -------------------------------------------------------------------------------- /src/flow/analysis_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/flow/analysis_results.py -------------------------------------------------------------------------------- /src/flow/code_info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/flow/code_info.py -------------------------------------------------------------------------------- /src/flow/symbolic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/flow/symbolic.py -------------------------------------------------------------------------------- /src/flow/tainting.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/flow/tainting.py -------------------------------------------------------------------------------- /src/memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/memory.py -------------------------------------------------------------------------------- /src/project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/project.py -------------------------------------------------------------------------------- /src/slicing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/slicing.py -------------------------------------------------------------------------------- /src/storage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/storage.py -------------------------------------------------------------------------------- /src/teEther_LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/teEther_LICENSE -------------------------------------------------------------------------------- /src/util/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/util/__init__.py -------------------------------------------------------------------------------- /src/util/frontierset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/util/frontierset.py -------------------------------------------------------------------------------- /src/util/intrange.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/util/intrange.py -------------------------------------------------------------------------------- /src/util/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/util/utils.py -------------------------------------------------------------------------------- /src/util/z3_extra_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/DependableSystemsLab/AChecker/HEAD/src/util/z3_extra_util.py --------------------------------------------------------------------------------