2023-10-09T04:58:07,285 Created temporary directory: /tmp/pip-build-tracker-6hkqc_tm 2023-10-09T04:58:07,287 Initialized build tracking at /tmp/pip-build-tracker-6hkqc_tm 2023-10-09T04:58:07,287 Created build tracker: /tmp/pip-build-tracker-6hkqc_tm 2023-10-09T04:58:07,287 Entered build tracker: /tmp/pip-build-tracker-6hkqc_tm 2023-10-09T04:58:07,288 Created temporary directory: /tmp/pip-wheel-indbvvs6 2023-10-09T04:58:07,291 Created temporary directory: /tmp/pip-ephem-wheel-cache-7wc26vgy 2023-10-09T04:58:07,313 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-10-09T04:58:07,317 2 location(s) to search for versions of smartexecutorx: 2023-10-09T04:58:07,317 * https://pypi.org/simple/smartexecutorx/ 2023-10-09T04:58:07,317 * https://www.piwheels.org/simple/smartexecutorx/ 2023-10-09T04:58:07,318 Fetching project page and analyzing links: https://pypi.org/simple/smartexecutorx/ 2023-10-09T04:58:07,318 Getting page https://pypi.org/simple/smartexecutorx/ 2023-10-09T04:58:07,320 Found index url https://pypi.org/simple/ 2023-10-09T04:58:07,539 Fetched page https://pypi.org/simple/smartexecutorx/ as application/vnd.pypi.simple.v1+json 2023-10-09T04:58:07,540 Found link https://files.pythonhosted.org/packages/8e/4c/e3f03674f795a5d352f5e1253c75b707b2eca3be0050341b96bb9edd5139/smartExecutorx-0.2.tar.gz (from https://pypi.org/simple/smartexecutorx/) (requires-python:>=3.6.0), version: 0.2 2023-10-09T04:58:07,541 Fetching project page and analyzing links: https://www.piwheels.org/simple/smartexecutorx/ 2023-10-09T04:58:07,542 Getting page https://www.piwheels.org/simple/smartexecutorx/ 2023-10-09T04:58:07,543 Found index url https://www.piwheels.org/simple/ 2023-10-09T04:58:07,711 Fetched page https://www.piwheels.org/simple/smartexecutorx/ as text/html 2023-10-09T04:58:07,712 Skipping link: not a file: https://www.piwheels.org/simple/smartexecutorx/ 2023-10-09T04:58:07,713 Skipping link: not a file: https://pypi.org/simple/smartexecutorx/ 2023-10-09T04:58:07,731 Given no hashes to check 1 links for project 'smartexecutorx': discarding no candidates 2023-10-09T04:58:07,749 Collecting smartexecutorx==0.2 2023-10-09T04:58:07,751 Created temporary directory: /tmp/pip-unpack-4aaozru8 2023-10-09T04:58:07,987 Downloading smartExecutorx-0.2.tar.gz (4.6 MB) 2023-10-09T04:58:09,520 Added smartexecutorx==0.2 from https://files.pythonhosted.org/packages/8e/4c/e3f03674f795a5d352f5e1253c75b707b2eca3be0050341b96bb9edd5139/smartExecutorx-0.2.tar.gz to build tracker '/tmp/pip-build-tracker-6hkqc_tm' 2023-10-09T04:58:09,522 Running setup.py (path:/tmp/pip-wheel-indbvvs6/smartexecutorx_c4b62410808b453eacfe4625bff03dd2/setup.py) egg_info for package smartexecutorx 2023-10-09T04:58:09,523 Created temporary directory: /tmp/pip-pip-egg-info-p7ax8evt 2023-10-09T04:58:09,524 Preparing metadata (setup.py): started 2023-10-09T04:58:09,525 Running command python setup.py egg_info 2023-10-09T04:58:10,012 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/dist.py:265: UserWarning: Unknown distribution option: 'author_mail' 2023-10-09T04:58:10,012 warnings.warn(msg) 2023-10-09T04:58:10,548 running egg_info 2023-10-09T04:58:10,550 creating /tmp/pip-pip-egg-info-p7ax8evt/smartExecutorx.egg-info 2023-10-09T04:58:10,573 writing /tmp/pip-pip-egg-info-p7ax8evt/smartExecutorx.egg-info/PKG-INFO 2023-10-09T04:58:10,577 writing dependency_links to /tmp/pip-pip-egg-info-p7ax8evt/smartExecutorx.egg-info/dependency_links.txt 2023-10-09T04:58:10,579 writing entry points to /tmp/pip-pip-egg-info-p7ax8evt/smartExecutorx.egg-info/entry_points.txt 2023-10-09T04:58:10,581 writing requirements to /tmp/pip-pip-egg-info-p7ax8evt/smartExecutorx.egg-info/requires.txt 2023-10-09T04:58:10,583 writing top-level names to /tmp/pip-pip-egg-info-p7ax8evt/smartExecutorx.egg-info/top_level.txt 2023-10-09T04:58:10,584 writing manifest file '/tmp/pip-pip-egg-info-p7ax8evt/smartExecutorx.egg-info/SOURCES.txt' 2023-10-09T04:58:10,676 reading manifest file '/tmp/pip-pip-egg-info-p7ax8evt/smartExecutorx.egg-info/SOURCES.txt' 2023-10-09T04:58:10,678 reading manifest template 'MANIFEST.in' 2023-10-09T04:58:10,680 adding license file 'LICENSE' 2023-10-09T04:58:10,686 writing manifest file '/tmp/pip-pip-egg-info-p7ax8evt/smartExecutorx.egg-info/SOURCES.txt' 2023-10-09T04:58:10,796 Preparing metadata (setup.py): finished with status 'done' 2023-10-09T04:58:10,800 Source in /tmp/pip-wheel-indbvvs6/smartexecutorx_c4b62410808b453eacfe4625bff03dd2 has version 0.2, which satisfies requirement smartexecutorx==0.2 from https://files.pythonhosted.org/packages/8e/4c/e3f03674f795a5d352f5e1253c75b707b2eca3be0050341b96bb9edd5139/smartExecutorx-0.2.tar.gz 2023-10-09T04:58:10,801 Removed smartexecutorx==0.2 from https://files.pythonhosted.org/packages/8e/4c/e3f03674f795a5d352f5e1253c75b707b2eca3be0050341b96bb9edd5139/smartExecutorx-0.2.tar.gz from build tracker '/tmp/pip-build-tracker-6hkqc_tm' 2023-10-09T04:58:10,808 Created temporary directory: /tmp/pip-unpack-_pq0b0hk 2023-10-09T04:58:10,809 Created temporary directory: /tmp/pip-unpack-nstsr8tv 2023-10-09T04:58:10,861 Building wheels for collected packages: smartexecutorx 2023-10-09T04:58:10,865 Created temporary directory: /tmp/pip-wheel-cqq56i4q 2023-10-09T04:58:10,865 Building wheel for smartexecutorx (setup.py): started 2023-10-09T04:58:10,866 Destination directory: /tmp/pip-wheel-cqq56i4q 2023-10-09T04:58:10,867 Running command python setup.py bdist_wheel 2023-10-09T04:58:11,338 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/dist.py:265: UserWarning: Unknown distribution option: 'author_mail' 2023-10-09T04:58:11,338 warnings.warn(msg) 2023-10-09T04:58:11,860 running bdist_wheel 2023-10-09T04:58:11,954 running build 2023-10-09T04:58:11,954 running build_py 2023-10-09T04:58:11,982 creating build 2023-10-09T04:58:11,982 creating build/lib 2023-10-09T04:58:11,983 creating build/lib/mythril 2023-10-09T04:58:11,985 copying mythril/__version__.py -> build/lib/mythril 2023-10-09T04:58:11,987 copying mythril/__init__.py -> build/lib/mythril 2023-10-09T04:58:11,989 copying mythril/exceptions.py -> build/lib/mythril 2023-10-09T04:58:11,991 copying mythril/__main__.py -> build/lib/mythril 2023-10-09T04:58:11,993 creating build/lib/fdg 2023-10-09T04:58:11,994 copying fdg/utils.py -> build/lib/fdg 2023-10-09T04:58:11,997 copying fdg/fdg_pruner.py -> build/lib/fdg 2023-10-09T04:58:11,999 copying fdg/__version__.py -> build/lib/fdg 2023-10-09T04:58:12,001 copying fdg/output_data.py -> build/lib/fdg 2023-10-09T04:58:12,003 copying fdg/global_config.py -> build/lib/fdg 2023-10-09T04:58:12,005 copying fdg/constraint_check.py -> build/lib/fdg 2023-10-09T04:58:12,007 copying fdg/__init__.py -> build/lib/fdg 2023-10-09T04:58:12,009 copying fdg/constraint_check_time.py -> build/lib/fdg 2023-10-09T04:58:12,010 copying fdg/fwrg_manager.py -> build/lib/fdg 2023-10-09T04:58:12,013 copying fdg/instruction_modification.py -> build/lib/fdg 2023-10-09T04:58:12,015 copying fdg/function_coverage.py -> build/lib/fdg 2023-10-09T04:58:12,017 copying fdg/informal_tests.py -> build/lib/fdg 2023-10-09T04:58:12,020 creating build/lib/mythril/solidity 2023-10-09T04:58:12,021 copying mythril/solidity/__init__.py -> build/lib/mythril/solidity 2023-10-09T04:58:12,023 copying mythril/solidity/soliditycontract.py -> build/lib/mythril/solidity 2023-10-09T04:58:12,025 creating build/lib/mythril/disassembler 2023-10-09T04:58:12,026 copying mythril/disassembler/asm.py -> build/lib/mythril/disassembler 2023-10-09T04:58:12,029 copying mythril/disassembler/disassembly.py -> build/lib/mythril/disassembler 2023-10-09T04:58:12,031 copying mythril/disassembler/__init__.py -> build/lib/mythril/disassembler 2023-10-09T04:58:12,033 creating build/lib/mythril/analysis 2023-10-09T04:58:12,034 copying mythril/analysis/analysis_args.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,036 copying mythril/analysis/symbolic.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,038 copying mythril/analysis/report.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,040 copying mythril/analysis/call_helpers.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,042 copying mythril/analysis/callgraph.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,044 copying mythril/analysis/solver.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,047 copying mythril/analysis/issue_annotation.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,048 copying mythril/analysis/__init__.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,049 copying mythril/analysis/traceexplore.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,052 copying mythril/analysis/ops.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,053 copying mythril/analysis/security.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,055 copying mythril/analysis/potential_issues.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,057 copying mythril/analysis/swc_data.py -> build/lib/mythril/analysis 2023-10-09T04:58:12,059 creating build/lib/mythril/laser 2023-10-09T04:58:12,060 copying mythril/laser/execution_info.py -> build/lib/mythril/laser 2023-10-09T04:58:12,062 copying mythril/laser/__init__.py -> build/lib/mythril/laser 2023-10-09T04:58:12,064 creating build/lib/mythril/mythril 2023-10-09T04:58:12,065 copying mythril/mythril/mythril_disassembler.py -> build/lib/mythril/mythril 2023-10-09T04:58:12,067 copying mythril/mythril/__init__.py -> build/lib/mythril/mythril 2023-10-09T04:58:12,069 copying mythril/mythril/mythril_config.py -> build/lib/mythril/mythril 2023-10-09T04:58:12,071 copying mythril/mythril/mythril_analyzer.py -> build/lib/mythril/mythril 2023-10-09T04:58:12,074 creating build/lib/mythril/interfaces 2023-10-09T04:58:12,075 copying mythril/interfaces/epic.py -> build/lib/mythril/interfaces 2023-10-09T04:58:12,077 copying mythril/interfaces/__init__.py -> build/lib/mythril/interfaces 2023-10-09T04:58:12,078 copying mythril/interfaces/cli.py -> build/lib/mythril/interfaces 2023-10-09T04:58:12,082 creating build/lib/mythril/ethereum 2023-10-09T04:58:12,082 copying mythril/ethereum/evmcontract.py -> build/lib/mythril/ethereum 2023-10-09T04:58:12,084 copying mythril/ethereum/__init__.py -> build/lib/mythril/ethereum 2023-10-09T04:58:12,086 copying mythril/ethereum/util.py -> build/lib/mythril/ethereum 2023-10-09T04:58:12,089 creating build/lib/mythril/plugin 2023-10-09T04:58:12,089 copying mythril/plugin/loader.py -> build/lib/mythril/plugin 2023-10-09T04:58:12,091 copying mythril/plugin/discovery.py -> build/lib/mythril/plugin 2023-10-09T04:58:12,093 copying mythril/plugin/__init__.py -> build/lib/mythril/plugin 2023-10-09T04:58:12,095 copying mythril/plugin/interface.py -> build/lib/mythril/plugin 2023-10-09T04:58:12,097 creating build/lib/mythril/concolic 2023-10-09T04:58:12,098 copying mythril/concolic/concolic_execution.py -> build/lib/mythril/concolic 2023-10-09T04:58:12,100 copying mythril/concolic/find_trace.py -> build/lib/mythril/concolic 2023-10-09T04:58:12,102 copying mythril/concolic/__init__.py -> build/lib/mythril/concolic 2023-10-09T04:58:12,104 copying mythril/concolic/concrete_data.py -> build/lib/mythril/concolic 2023-10-09T04:58:12,106 creating build/lib/mythril/support 2023-10-09T04:58:12,107 copying mythril/support/model.py -> build/lib/mythril/support 2023-10-09T04:58:12,109 copying mythril/support/opcodes.py -> build/lib/mythril/support 2023-10-09T04:58:12,111 copying mythril/support/start_time.py -> build/lib/mythril/support 2023-10-09T04:58:12,113 copying mythril/support/support_utils.py -> build/lib/mythril/support 2023-10-09T04:58:12,115 copying mythril/support/support_args.py -> build/lib/mythril/support 2023-10-09T04:58:12,117 copying mythril/support/loader.py -> build/lib/mythril/support 2023-10-09T04:58:12,119 copying mythril/support/lock.py -> build/lib/mythril/support 2023-10-09T04:58:12,120 copying mythril/support/source_support.py -> build/lib/mythril/support 2023-10-09T04:58:12,122 copying mythril/support/__init__.py -> build/lib/mythril/support 2023-10-09T04:58:12,124 copying mythril/support/signatures.py -> build/lib/mythril/support 2023-10-09T04:58:12,126 creating build/lib/mythril/analysis/module 2023-10-09T04:58:12,127 copying mythril/analysis/module/loader.py -> build/lib/mythril/analysis/module 2023-10-09T04:58:12,129 copying mythril/analysis/module/module_helpers.py -> build/lib/mythril/analysis/module 2023-10-09T04:58:12,131 copying mythril/analysis/module/base.py -> build/lib/mythril/analysis/module 2023-10-09T04:58:12,133 copying mythril/analysis/module/__init__.py -> build/lib/mythril/analysis/module 2023-10-09T04:58:12,135 copying mythril/analysis/module/util.py -> build/lib/mythril/analysis/module 2023-10-09T04:58:12,137 creating build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,138 copying mythril/analysis/module/modules/state_change_external_calls.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,140 copying mythril/analysis/module/modules/arbitrary_jump.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,142 copying mythril/analysis/module/modules/integer.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,144 copying mythril/analysis/module/modules/user_assertions.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,146 copying mythril/analysis/module/modules/arbitrary_write.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,148 copying mythril/analysis/module/modules/dependence_on_predictable_vars.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,150 copying mythril/analysis/module/modules/external_calls.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,152 copying mythril/analysis/module/modules/dependence_on_origin.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,154 copying mythril/analysis/module/modules/unchecked_retval.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,156 copying mythril/analysis/module/modules/__init__.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,157 copying mythril/analysis/module/modules/suicide.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,159 copying mythril/analysis/module/modules/exceptions.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,162 copying mythril/analysis/module/modules/multiple_sends.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,164 copying mythril/analysis/module/modules/delegatecall.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,165 copying mythril/analysis/module/modules/ether_thief.py -> build/lib/mythril/analysis/module/modules 2023-10-09T04:58:12,168 creating build/lib/mythril/laser/smt 2023-10-09T04:58:12,169 copying mythril/laser/smt/model.py -> build/lib/mythril/laser/smt 2023-10-09T04:58:12,170 copying mythril/laser/smt/function.py -> build/lib/mythril/laser/smt 2023-10-09T04:58:12,172 copying mythril/laser/smt/expression.py -> build/lib/mythril/laser/smt 2023-10-09T04:58:12,174 copying mythril/laser/smt/__init__.py -> build/lib/mythril/laser/smt 2023-10-09T04:58:12,176 copying mythril/laser/smt/bitvec.py -> build/lib/mythril/laser/smt 2023-10-09T04:58:12,178 copying mythril/laser/smt/bool.py -> build/lib/mythril/laser/smt 2023-10-09T04:58:12,180 copying mythril/laser/smt/array.py -> build/lib/mythril/laser/smt 2023-10-09T04:58:12,182 copying mythril/laser/smt/bitvec_helper.py -> build/lib/mythril/laser/smt 2023-10-09T04:58:12,185 creating build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,186 copying mythril/laser/ethereum/cheat_code.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,188 copying mythril/laser/ethereum/call.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,190 copying mythril/laser/ethereum/svm.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,193 copying mythril/laser/ethereum/cfg.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,195 copying mythril/laser/ethereum/time_handler.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,197 copying mythril/laser/ethereum/instructions.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,200 copying mythril/laser/ethereum/evm_exceptions.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,202 copying mythril/laser/ethereum/__init__.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,203 copying mythril/laser/ethereum/instruction_data.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,205 copying mythril/laser/ethereum/util.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,207 copying mythril/laser/ethereum/natives.py -> build/lib/mythril/laser/ethereum 2023-10-09T04:58:12,210 creating build/lib/mythril/laser/plugin 2023-10-09T04:58:12,210 copying mythril/laser/plugin/builder.py -> build/lib/mythril/laser/plugin 2023-10-09T04:58:12,212 copying mythril/laser/plugin/loader.py -> build/lib/mythril/laser/plugin 2023-10-09T04:58:12,214 copying mythril/laser/plugin/signals.py -> build/lib/mythril/laser/plugin 2023-10-09T04:58:12,216 copying mythril/laser/plugin/__init__.py -> build/lib/mythril/laser/plugin 2023-10-09T04:58:12,217 copying mythril/laser/plugin/interface.py -> build/lib/mythril/laser/plugin 2023-10-09T04:58:12,219 creating build/lib/mythril/laser/smt/solver 2023-10-09T04:58:12,220 copying mythril/laser/smt/solver/solver_statistics.py -> build/lib/mythril/laser/smt/solver 2023-10-09T04:58:12,222 copying mythril/laser/smt/solver/solver.py -> build/lib/mythril/laser/smt/solver 2023-10-09T04:58:12,224 copying mythril/laser/smt/solver/independence_solver.py -> build/lib/mythril/laser/smt/solver 2023-10-09T04:58:12,226 copying mythril/laser/smt/solver/__init__.py -> build/lib/mythril/laser/smt/solver 2023-10-09T04:58:12,228 creating build/lib/mythril/laser/ethereum/function_managers 2023-10-09T04:58:12,229 copying mythril/laser/ethereum/function_managers/__init__.py -> build/lib/mythril/laser/ethereum/function_managers 2023-10-09T04:58:12,231 copying mythril/laser/ethereum/function_managers/exponent_function_manager.py -> build/lib/mythril/laser/ethereum/function_managers 2023-10-09T04:58:12,233 copying mythril/laser/ethereum/function_managers/keccak_function_manager.py -> build/lib/mythril/laser/ethereum/function_managers 2023-10-09T04:58:12,236 creating build/lib/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,237 copying mythril/laser/ethereum/strategy/constraint_strategy.py -> build/lib/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,239 copying mythril/laser/ethereum/strategy/concolic.py -> build/lib/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,241 copying mythril/laser/ethereum/strategy/beam.py -> build/lib/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,243 copying mythril/laser/ethereum/strategy/__init__.py -> build/lib/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,245 copying mythril/laser/ethereum/strategy/basic.py -> build/lib/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,247 creating build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,248 copying mythril/laser/ethereum/state/memory.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,251 copying mythril/laser/ethereum/state/global_state.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,253 copying mythril/laser/ethereum/state/annotation.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,255 copying mythril/laser/ethereum/state/world_state.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,257 copying mythril/laser/ethereum/state/environment.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,259 copying mythril/laser/ethereum/state/machine_state.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,261 copying mythril/laser/ethereum/state/constraints.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,263 copying mythril/laser/ethereum/state/return_data.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,265 copying mythril/laser/ethereum/state/__init__.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,267 copying mythril/laser/ethereum/state/calldata.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,269 copying mythril/laser/ethereum/state/account.py -> build/lib/mythril/laser/ethereum/state 2023-10-09T04:58:12,272 creating build/lib/mythril/laser/ethereum/transaction 2023-10-09T04:58:12,273 copying mythril/laser/ethereum/transaction/transaction_models.py -> build/lib/mythril/laser/ethereum/transaction 2023-10-09T04:58:12,275 copying mythril/laser/ethereum/transaction/concolic.py -> build/lib/mythril/laser/ethereum/transaction 2023-10-09T04:58:12,277 copying mythril/laser/ethereum/transaction/symbolic.py -> build/lib/mythril/laser/ethereum/transaction 2023-10-09T04:58:12,280 copying mythril/laser/ethereum/transaction/__init__.py -> build/lib/mythril/laser/ethereum/transaction 2023-10-09T04:58:12,282 creating build/lib/mythril/laser/ethereum/strategy/extensions 2023-10-09T04:58:12,283 copying mythril/laser/ethereum/strategy/extensions/bounded_loops.py -> build/lib/mythril/laser/ethereum/strategy/extensions 2023-10-09T04:58:12,285 copying mythril/laser/ethereum/strategy/extensions/__init__.py -> build/lib/mythril/laser/ethereum/strategy/extensions 2023-10-09T04:58:12,287 creating build/lib/mythril/laser/plugin/plugins 2023-10-09T04:58:12,288 copying mythril/laser/plugin/plugins/mutation_pruner.py -> build/lib/mythril/laser/plugin/plugins 2023-10-09T04:58:12,290 copying mythril/laser/plugin/plugins/instruction_profiler.py -> build/lib/mythril/laser/plugin/plugins 2023-10-09T04:58:12,292 copying mythril/laser/plugin/plugins/dependency_pruner.py -> build/lib/mythril/laser/plugin/plugins 2023-10-09T04:58:12,294 copying mythril/laser/plugin/plugins/plugin_annotations.py -> build/lib/mythril/laser/plugin/plugins 2023-10-09T04:58:12,296 copying mythril/laser/plugin/plugins/call_depth_limiter.py -> build/lib/mythril/laser/plugin/plugins 2023-10-09T04:58:12,299 copying mythril/laser/plugin/plugins/__init__.py -> build/lib/mythril/laser/plugin/plugins 2023-10-09T04:58:12,301 copying mythril/laser/plugin/plugins/benchmark.py -> build/lib/mythril/laser/plugin/plugins 2023-10-09T04:58:12,303 creating build/lib/mythril/laser/plugin/plugins/coverage 2023-10-09T04:58:12,304 copying mythril/laser/plugin/plugins/coverage/coverage_strategy.py -> build/lib/mythril/laser/plugin/plugins/coverage 2023-10-09T04:58:12,306 copying mythril/laser/plugin/plugins/coverage/__init__.py -> build/lib/mythril/laser/plugin/plugins/coverage 2023-10-09T04:58:12,308 copying mythril/laser/plugin/plugins/coverage/coverage_plugin.py -> build/lib/mythril/laser/plugin/plugins/coverage 2023-10-09T04:58:12,310 creating build/lib/mythril/laser/plugin/plugins/summary_backup 2023-10-09T04:58:12,311 copying mythril/laser/plugin/plugins/summary_backup/__init__.py -> build/lib/mythril/laser/plugin/plugins/summary_backup 2023-10-09T04:58:12,313 creating build/lib/mythril/ethereum/interface 2023-10-09T04:58:12,314 copying mythril/ethereum/interface/__init__.py -> build/lib/mythril/ethereum/interface 2023-10-09T04:58:12,316 creating build/lib/mythril/ethereum/interface/rpc 2023-10-09T04:58:12,317 copying mythril/ethereum/interface/rpc/utils.py -> build/lib/mythril/ethereum/interface/rpc 2023-10-09T04:58:12,319 copying mythril/ethereum/interface/rpc/constants.py -> build/lib/mythril/ethereum/interface/rpc 2023-10-09T04:58:12,321 copying mythril/ethereum/interface/rpc/client.py -> build/lib/mythril/ethereum/interface/rpc 2023-10-09T04:58:12,322 copying mythril/ethereum/interface/rpc/base_client.py -> build/lib/mythril/ethereum/interface/rpc 2023-10-09T04:58:12,324 copying mythril/ethereum/interface/rpc/__init__.py -> build/lib/mythril/ethereum/interface/rpc 2023-10-09T04:58:12,326 copying mythril/ethereum/interface/rpc/exceptions.py -> build/lib/mythril/ethereum/interface/rpc 2023-10-09T04:58:12,328 creating build/lib/fdg/control 2023-10-09T04:58:12,329 copying fdg/control/ftn_search_strategy.py -> build/lib/fdg/control 2023-10-09T04:58:12,332 copying fdg/control/guider.py -> build/lib/fdg/control 2023-10-09T04:58:12,335 copying fdg/control/function_assignment.py -> build/lib/fdg/control 2023-10-09T04:58:12,337 copying fdg/control/__init__.py -> build/lib/fdg/control 2023-10-09T04:58:12,339 creating build/lib/fdg/preprocessing 2023-10-09T04:58:12,340 copying fdg/preprocessing/write_read_info.py -> build/lib/fdg/preprocessing 2023-10-09T04:58:12,342 copying fdg/preprocessing/preprocess.py -> build/lib/fdg/preprocessing 2023-10-09T04:58:12,343 copying fdg/preprocessing/address_collection.py -> build/lib/fdg/preprocessing 2023-10-09T04:58:12,345 copying fdg/preprocessing/slot_location.py -> build/lib/fdg/preprocessing 2023-10-09T04:58:12,347 copying fdg/preprocessing/read_in_conditions.py -> build/lib/fdg/preprocessing 2023-10-09T04:58:12,349 copying fdg/preprocessing/instruction_coverage.py -> build/lib/fdg/preprocessing 2023-10-09T04:58:12,352 copying fdg/preprocessing/__init__.py -> build/lib/fdg/preprocessing 2023-10-09T04:58:12,353 running egg_info 2023-10-09T04:58:12,408 writing smartExecutorx.egg-info/PKG-INFO 2023-10-09T04:58:12,412 writing dependency_links to smartExecutorx.egg-info/dependency_links.txt 2023-10-09T04:58:12,414 writing entry points to smartExecutorx.egg-info/entry_points.txt 2023-10-09T04:58:12,416 writing requirements to smartExecutorx.egg-info/requires.txt 2023-10-09T04:58:12,417 writing top-level names to smartExecutorx.egg-info/top_level.txt 2023-10-09T04:58:12,459 reading manifest file 'smartExecutorx.egg-info/SOURCES.txt' 2023-10-09T04:58:12,465 reading manifest template 'MANIFEST.in' 2023-10-09T04:58:12,467 adding license file 'LICENSE' 2023-10-09T04:58:12,477 writing manifest file 'smartExecutorx.egg-info/SOURCES.txt' 2023-10-09T04:58:12,480 /usr/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:204: _Warning: Package 'mythril.analysis.templates' is absent from the `packages` configuration. 2023-10-09T04:58:12,480 !! 2023-10-09T04:58:12,482 ******************************************************************************** 2023-10-09T04:58:12,482 ############################ 2023-10-09T04:58:12,483 # Package would be ignored # 2023-10-09T04:58:12,483 ############################ 2023-10-09T04:58:12,484 Python recognizes 'mythril.analysis.templates' as an importable package[^1], 2023-10-09T04:58:12,484 but it is absent from setuptools' `packages` configuration. 2023-10-09T04:58:12,485 This leads to an ambiguous overall configuration. If you want to distribute this 2023-10-09T04:58:12,486 package, please make sure that 'mythril.analysis.templates' is explicitly added 2023-10-09T04:58:12,486 to the `packages` configuration field. 2023-10-09T04:58:12,487 Alternatively, you can also rely on setuptools' discovery methods 2023-10-09T04:58:12,488 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2023-10-09T04:58:12,488 instead of `find_packages(...)`/`find:`). 2023-10-09T04:58:12,489 You can read more about "package discovery" on setuptools documentation page: 2023-10-09T04:58:12,490 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2023-10-09T04:58:12,491 If you don't want 'mythril.analysis.templates' to be distributed and are 2023-10-09T04:58:12,492 already explicitly excluding 'mythril.analysis.templates' via 2023-10-09T04:58:12,492 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2023-10-09T04:58:12,493 you can try to use `exclude_package_data`, or `include-package-data=False` in 2023-10-09T04:58:12,493 combination with a more fine grained `package-data` configuration. 2023-10-09T04:58:12,494 You can read more about "package data files" on setuptools documentation page: 2023-10-09T04:58:12,496 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2023-10-09T04:58:12,497 [^1]: For Python, any directory (with suitable naming) can be imported, 2023-10-09T04:58:12,498 even if it does not contain any `.py` files. 2023-10-09T04:58:12,499 On the other hand, currently there is no concept of package data 2023-10-09T04:58:12,499 directory, all directories are treated like packages. 2023-10-09T04:58:12,500 ******************************************************************************** 2023-10-09T04:58:12,501 !! 2023-10-09T04:58:12,501 check.warn(importable) 2023-10-09T04:58:12,502 /usr/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:204: _Warning: Package 'mythril.support.assets' is absent from the `packages` configuration. 2023-10-09T04:58:12,502 !! 2023-10-09T04:58:12,503 ******************************************************************************** 2023-10-09T04:58:12,504 ############################ 2023-10-09T04:58:12,504 # Package would be ignored # 2023-10-09T04:58:12,505 ############################ 2023-10-09T04:58:12,505 Python recognizes 'mythril.support.assets' as an importable package[^1], 2023-10-09T04:58:12,505 but it is absent from setuptools' `packages` configuration. 2023-10-09T04:58:12,506 This leads to an ambiguous overall configuration. If you want to distribute this 2023-10-09T04:58:12,507 package, please make sure that 'mythril.support.assets' is explicitly added 2023-10-09T04:58:12,507 to the `packages` configuration field. 2023-10-09T04:58:12,508 Alternatively, you can also rely on setuptools' discovery methods 2023-10-09T04:58:12,509 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2023-10-09T04:58:12,509 instead of `find_packages(...)`/`find:`). 2023-10-09T04:58:12,510 You can read more about "package discovery" on setuptools documentation page: 2023-10-09T04:58:12,512 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2023-10-09T04:58:12,513 If you don't want 'mythril.support.assets' to be distributed and are 2023-10-09T04:58:12,514 already explicitly excluding 'mythril.support.assets' via 2023-10-09T04:58:12,514 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2023-10-09T04:58:12,515 you can try to use `exclude_package_data`, or `include-package-data=False` in 2023-10-09T04:58:12,516 combination with a more fine grained `package-data` configuration. 2023-10-09T04:58:12,517 You can read more about "package data files" on setuptools documentation page: 2023-10-09T04:58:12,519 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2023-10-09T04:58:12,521 [^1]: For Python, any directory (with suitable naming) can be imported, 2023-10-09T04:58:12,521 even if it does not contain any `.py` files. 2023-10-09T04:58:12,522 On the other hand, currently there is no concept of package data 2023-10-09T04:58:12,522 directory, all directories are treated like packages. 2023-10-09T04:58:12,523 ******************************************************************************** 2023-10-09T04:58:12,524 !! 2023-10-09T04:58:12,525 check.warn(importable) 2023-10-09T04:58:12,525 creating build/lib/mythril/analysis/templates 2023-10-09T04:58:12,526 copying mythril/analysis/templates/callgraph.html -> build/lib/mythril/analysis/templates 2023-10-09T04:58:12,526 copying mythril/analysis/templates/report_as_markdown.jinja2 -> build/lib/mythril/analysis/templates 2023-10-09T04:58:12,527 copying mythril/analysis/templates/report_as_text.jinja2 -> build/lib/mythril/analysis/templates 2023-10-09T04:58:12,528 creating build/lib/mythril/support/assets 2023-10-09T04:58:12,528 copying mythril/support/assets/signatures.db -> build/lib/mythril/support/assets 2023-10-09T04:58:12,716 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-10-09T04:58:12,716 !! 2023-10-09T04:58:12,717 ******************************************************************************** 2023-10-09T04:58:12,718 Please avoid running ``setup.py`` directly. 2023-10-09T04:58:12,718 Instead, use pypa/build, pypa/installer or other 2023-10-09T04:58:12,719 standards-based tools. 2023-10-09T04:58:12,720 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-10-09T04:58:12,720 ******************************************************************************** 2023-10-09T04:58:12,721 !! 2023-10-09T04:58:12,722 self.initialize_options() 2023-10-09T04:58:12,742 installing to build/bdist.linux-armv7l/wheel 2023-10-09T04:58:12,743 running install 2023-10-09T04:58:12,767 running install_lib 2023-10-09T04:58:12,793 creating build/bdist.linux-armv7l 2023-10-09T04:58:12,794 creating build/bdist.linux-armv7l/wheel 2023-10-09T04:58:12,795 creating build/bdist.linux-armv7l/wheel/mythril 2023-10-09T04:58:12,797 creating build/bdist.linux-armv7l/wheel/mythril/solidity 2023-10-09T04:58:12,798 copying build/lib/mythril/solidity/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/solidity 2023-10-09T04:58:12,799 copying build/lib/mythril/solidity/soliditycontract.py -> build/bdist.linux-armv7l/wheel/mythril/solidity 2023-10-09T04:58:12,803 creating build/bdist.linux-armv7l/wheel/mythril/disassembler 2023-10-09T04:58:12,804 copying build/lib/mythril/disassembler/asm.py -> build/bdist.linux-armv7l/wheel/mythril/disassembler 2023-10-09T04:58:12,806 copying build/lib/mythril/disassembler/disassembly.py -> build/bdist.linux-armv7l/wheel/mythril/disassembler 2023-10-09T04:58:12,808 copying build/lib/mythril/disassembler/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/disassembler 2023-10-09T04:58:12,810 creating build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,812 creating build/bdist.linux-armv7l/wheel/mythril/analysis/templates 2023-10-09T04:58:12,813 copying build/lib/mythril/analysis/templates/report_as_text.jinja2 -> build/bdist.linux-armv7l/wheel/mythril/analysis/templates 2023-10-09T04:58:12,815 copying build/lib/mythril/analysis/templates/callgraph.html -> build/bdist.linux-armv7l/wheel/mythril/analysis/templates 2023-10-09T04:58:12,817 copying build/lib/mythril/analysis/templates/report_as_markdown.jinja2 -> build/bdist.linux-armv7l/wheel/mythril/analysis/templates 2023-10-09T04:58:12,819 copying build/lib/mythril/analysis/analysis_args.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,821 copying build/lib/mythril/analysis/symbolic.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,823 copying build/lib/mythril/analysis/report.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,826 copying build/lib/mythril/analysis/call_helpers.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,828 copying build/lib/mythril/analysis/callgraph.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,830 copying build/lib/mythril/analysis/solver.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,832 copying build/lib/mythril/analysis/issue_annotation.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,834 copying build/lib/mythril/analysis/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,835 copying build/lib/mythril/analysis/traceexplore.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,838 creating build/bdist.linux-armv7l/wheel/mythril/analysis/module 2023-10-09T04:58:12,839 copying build/lib/mythril/analysis/module/loader.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2023-10-09T04:58:12,842 creating build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,843 copying build/lib/mythril/analysis/module/modules/state_change_external_calls.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,846 copying build/lib/mythril/analysis/module/modules/arbitrary_jump.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,848 copying build/lib/mythril/analysis/module/modules/integer.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,851 copying build/lib/mythril/analysis/module/modules/user_assertions.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,853 copying build/lib/mythril/analysis/module/modules/arbitrary_write.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,855 copying build/lib/mythril/analysis/module/modules/dependence_on_predictable_vars.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,858 copying build/lib/mythril/analysis/module/modules/external_calls.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,860 copying build/lib/mythril/analysis/module/modules/dependence_on_origin.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,862 copying build/lib/mythril/analysis/module/modules/unchecked_retval.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,864 copying build/lib/mythril/analysis/module/modules/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,865 copying build/lib/mythril/analysis/module/modules/suicide.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,868 copying build/lib/mythril/analysis/module/modules/exceptions.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,870 copying build/lib/mythril/analysis/module/modules/multiple_sends.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,872 copying build/lib/mythril/analysis/module/modules/delegatecall.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,874 copying build/lib/mythril/analysis/module/modules/ether_thief.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2023-10-09T04:58:12,876 copying build/lib/mythril/analysis/module/module_helpers.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2023-10-09T04:58:12,878 copying build/lib/mythril/analysis/module/base.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2023-10-09T04:58:12,880 copying build/lib/mythril/analysis/module/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2023-10-09T04:58:12,881 copying build/lib/mythril/analysis/module/util.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2023-10-09T04:58:12,883 copying build/lib/mythril/analysis/ops.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,885 copying build/lib/mythril/analysis/security.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,887 copying build/lib/mythril/analysis/potential_issues.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,889 copying build/lib/mythril/analysis/swc_data.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2023-10-09T04:58:12,891 creating build/bdist.linux-armv7l/wheel/mythril/laser 2023-10-09T04:58:12,893 creating build/bdist.linux-armv7l/wheel/mythril/laser/smt 2023-10-09T04:58:12,894 copying build/lib/mythril/laser/smt/model.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2023-10-09T04:58:12,896 copying build/lib/mythril/laser/smt/function.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2023-10-09T04:58:12,897 copying build/lib/mythril/laser/smt/expression.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2023-10-09T04:58:12,899 copying build/lib/mythril/laser/smt/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2023-10-09T04:58:12,902 copying build/lib/mythril/laser/smt/bitvec.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2023-10-09T04:58:12,904 copying build/lib/mythril/laser/smt/bool.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2023-10-09T04:58:12,906 copying build/lib/mythril/laser/smt/array.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2023-10-09T04:58:12,908 copying build/lib/mythril/laser/smt/bitvec_helper.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2023-10-09T04:58:12,911 creating build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2023-10-09T04:58:12,911 copying build/lib/mythril/laser/smt/solver/solver_statistics.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2023-10-09T04:58:12,913 copying build/lib/mythril/laser/smt/solver/solver.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2023-10-09T04:58:12,915 copying build/lib/mythril/laser/smt/solver/independence_solver.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2023-10-09T04:58:12,917 copying build/lib/mythril/laser/smt/solver/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2023-10-09T04:58:12,919 copying build/lib/mythril/laser/execution_info.py -> build/bdist.linux-armv7l/wheel/mythril/laser 2023-10-09T04:58:12,920 copying build/lib/mythril/laser/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser 2023-10-09T04:58:12,922 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,923 copying build/lib/mythril/laser/ethereum/cheat_code.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,925 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers 2023-10-09T04:58:12,926 copying build/lib/mythril/laser/ethereum/function_managers/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers 2023-10-09T04:58:12,928 copying build/lib/mythril/laser/ethereum/function_managers/exponent_function_manager.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers 2023-10-09T04:58:12,930 copying build/lib/mythril/laser/ethereum/function_managers/keccak_function_manager.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers 2023-10-09T04:58:12,932 copying build/lib/mythril/laser/ethereum/call.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,935 copying build/lib/mythril/laser/ethereum/svm.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,938 copying build/lib/mythril/laser/ethereum/cfg.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,940 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,941 copying build/lib/mythril/laser/ethereum/strategy/constraint_strategy.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,943 copying build/lib/mythril/laser/ethereum/strategy/concolic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,945 copying build/lib/mythril/laser/ethereum/strategy/beam.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,947 copying build/lib/mythril/laser/ethereum/strategy/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,949 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy/extensions 2023-10-09T04:58:12,950 copying build/lib/mythril/laser/ethereum/strategy/extensions/bounded_loops.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy/extensions 2023-10-09T04:58:12,953 copying build/lib/mythril/laser/ethereum/strategy/extensions/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy/extensions 2023-10-09T04:58:12,954 copying build/lib/mythril/laser/ethereum/strategy/basic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2023-10-09T04:58:12,956 copying build/lib/mythril/laser/ethereum/time_handler.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,958 copying build/lib/mythril/laser/ethereum/instructions.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,963 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,963 copying build/lib/mythril/laser/ethereum/state/memory.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,966 copying build/lib/mythril/laser/ethereum/state/global_state.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,968 copying build/lib/mythril/laser/ethereum/state/annotation.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,970 copying build/lib/mythril/laser/ethereum/state/world_state.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,972 copying build/lib/mythril/laser/ethereum/state/environment.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,974 copying build/lib/mythril/laser/ethereum/state/machine_state.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,976 copying build/lib/mythril/laser/ethereum/state/constraints.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,979 copying build/lib/mythril/laser/ethereum/state/return_data.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,980 copying build/lib/mythril/laser/ethereum/state/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,982 copying build/lib/mythril/laser/ethereum/state/calldata.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,985 copying build/lib/mythril/laser/ethereum/state/account.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2023-10-09T04:58:12,987 copying build/lib/mythril/laser/ethereum/evm_exceptions.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,989 copying build/lib/mythril/laser/ethereum/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,990 copying build/lib/mythril/laser/ethereum/instruction_data.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,992 copying build/lib/mythril/laser/ethereum/util.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,995 copying build/lib/mythril/laser/ethereum/natives.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2023-10-09T04:58:12,997 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2023-10-09T04:58:12,998 copying build/lib/mythril/laser/ethereum/transaction/transaction_models.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2023-10-09T04:58:13,001 copying build/lib/mythril/laser/ethereum/transaction/concolic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2023-10-09T04:58:13,003 copying build/lib/mythril/laser/ethereum/transaction/symbolic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2023-10-09T04:58:13,005 copying build/lib/mythril/laser/ethereum/transaction/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2023-10-09T04:58:13,008 creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2023-10-09T04:58:13,009 copying build/lib/mythril/laser/plugin/builder.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2023-10-09T04:58:13,011 copying build/lib/mythril/laser/plugin/loader.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2023-10-09T04:58:13,013 copying build/lib/mythril/laser/plugin/signals.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2023-10-09T04:58:13,015 copying build/lib/mythril/laser/plugin/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2023-10-09T04:58:13,016 copying build/lib/mythril/laser/plugin/interface.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2023-10-09T04:58:13,019 creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2023-10-09T04:58:13,020 copying build/lib/mythril/laser/plugin/plugins/mutation_pruner.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2023-10-09T04:58:13,022 copying build/lib/mythril/laser/plugin/plugins/instruction_profiler.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2023-10-09T04:58:13,024 copying build/lib/mythril/laser/plugin/plugins/dependency_pruner.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2023-10-09T04:58:13,027 creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage 2023-10-09T04:58:13,028 copying build/lib/mythril/laser/plugin/plugins/coverage/coverage_strategy.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage 2023-10-09T04:58:13,029 copying build/lib/mythril/laser/plugin/plugins/coverage/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage 2023-10-09T04:58:13,031 copying build/lib/mythril/laser/plugin/plugins/coverage/coverage_plugin.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage 2023-10-09T04:58:13,034 creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/summary_backup 2023-10-09T04:58:13,035 copying build/lib/mythril/laser/plugin/plugins/summary_backup/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/summary_backup 2023-10-09T04:58:13,036 copying build/lib/mythril/laser/plugin/plugins/plugin_annotations.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2023-10-09T04:58:13,039 copying build/lib/mythril/laser/plugin/plugins/call_depth_limiter.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2023-10-09T04:58:13,041 copying build/lib/mythril/laser/plugin/plugins/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2023-10-09T04:58:13,042 copying build/lib/mythril/laser/plugin/plugins/benchmark.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2023-10-09T04:58:13,044 copying build/lib/mythril/__version__.py -> build/bdist.linux-armv7l/wheel/mythril 2023-10-09T04:58:13,047 creating build/bdist.linux-armv7l/wheel/mythril/mythril 2023-10-09T04:58:13,048 copying build/lib/mythril/mythril/mythril_disassembler.py -> build/bdist.linux-armv7l/wheel/mythril/mythril 2023-10-09T04:58:13,050 copying build/lib/mythril/mythril/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/mythril 2023-10-09T04:58:13,052 copying build/lib/mythril/mythril/mythril_config.py -> build/bdist.linux-armv7l/wheel/mythril/mythril 2023-10-09T04:58:13,055 copying build/lib/mythril/mythril/mythril_analyzer.py -> build/bdist.linux-armv7l/wheel/mythril/mythril 2023-10-09T04:58:13,057 creating build/bdist.linux-armv7l/wheel/mythril/interfaces 2023-10-09T04:58:13,058 copying build/lib/mythril/interfaces/epic.py -> build/bdist.linux-armv7l/wheel/mythril/interfaces 2023-10-09T04:58:13,061 copying build/lib/mythril/interfaces/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/interfaces 2023-10-09T04:58:13,062 copying build/lib/mythril/interfaces/cli.py -> build/bdist.linux-armv7l/wheel/mythril/interfaces 2023-10-09T04:58:13,066 copying build/lib/mythril/__init__.py -> build/bdist.linux-armv7l/wheel/mythril 2023-10-09T04:58:13,068 creating build/bdist.linux-armv7l/wheel/mythril/ethereum 2023-10-09T04:58:13,069 copying build/lib/mythril/ethereum/evmcontract.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum 2023-10-09T04:58:13,071 creating build/bdist.linux-armv7l/wheel/mythril/ethereum/interface 2023-10-09T04:58:13,073 creating build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2023-10-09T04:58:13,074 copying build/lib/mythril/ethereum/interface/rpc/utils.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2023-10-09T04:58:13,076 copying build/lib/mythril/ethereum/interface/rpc/constants.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2023-10-09T04:58:13,078 copying build/lib/mythril/ethereum/interface/rpc/client.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2023-10-09T04:58:13,080 copying build/lib/mythril/ethereum/interface/rpc/base_client.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2023-10-09T04:58:13,082 copying build/lib/mythril/ethereum/interface/rpc/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2023-10-09T04:58:13,083 copying build/lib/mythril/ethereum/interface/rpc/exceptions.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2023-10-09T04:58:13,085 copying build/lib/mythril/ethereum/interface/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface 2023-10-09T04:58:13,087 copying build/lib/mythril/ethereum/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum 2023-10-09T04:58:13,088 copying build/lib/mythril/ethereum/util.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum 2023-10-09T04:58:13,091 creating build/bdist.linux-armv7l/wheel/mythril/plugin 2023-10-09T04:58:13,092 copying build/lib/mythril/plugin/loader.py -> build/bdist.linux-armv7l/wheel/mythril/plugin 2023-10-09T04:58:13,094 copying build/lib/mythril/plugin/discovery.py -> build/bdist.linux-armv7l/wheel/mythril/plugin 2023-10-09T04:58:13,096 copying build/lib/mythril/plugin/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/plugin 2023-10-09T04:58:13,098 copying build/lib/mythril/plugin/interface.py -> build/bdist.linux-armv7l/wheel/mythril/plugin 2023-10-09T04:58:13,100 copying build/lib/mythril/exceptions.py -> build/bdist.linux-armv7l/wheel/mythril 2023-10-09T04:58:13,101 copying build/lib/mythril/__main__.py -> build/bdist.linux-armv7l/wheel/mythril 2023-10-09T04:58:13,104 creating build/bdist.linux-armv7l/wheel/mythril/concolic 2023-10-09T04:58:13,104 copying build/lib/mythril/concolic/concolic_execution.py -> build/bdist.linux-armv7l/wheel/mythril/concolic 2023-10-09T04:58:13,107 copying build/lib/mythril/concolic/find_trace.py -> build/bdist.linux-armv7l/wheel/mythril/concolic 2023-10-09T04:58:13,109 copying build/lib/mythril/concolic/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/concolic 2023-10-09T04:58:13,110 copying build/lib/mythril/concolic/concrete_data.py -> build/bdist.linux-armv7l/wheel/mythril/concolic 2023-10-09T04:58:13,113 creating build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,114 copying build/lib/mythril/support/model.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,116 copying build/lib/mythril/support/opcodes.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,118 copying build/lib/mythril/support/start_time.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,120 copying build/lib/mythril/support/support_utils.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,122 copying build/lib/mythril/support/support_args.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,124 copying build/lib/mythril/support/loader.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,126 copying build/lib/mythril/support/lock.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,128 creating build/bdist.linux-armv7l/wheel/mythril/support/assets 2023-10-09T04:58:13,129 copying build/lib/mythril/support/assets/signatures.db -> build/bdist.linux-armv7l/wheel/mythril/support/assets 2023-10-09T04:58:13,319 copying build/lib/mythril/support/source_support.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,320 copying build/lib/mythril/support/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,322 copying build/lib/mythril/support/signatures.py -> build/bdist.linux-armv7l/wheel/mythril/support 2023-10-09T04:58:13,325 creating build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,326 copying build/lib/fdg/utils.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,328 copying build/lib/fdg/fdg_pruner.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,331 copying build/lib/fdg/__version__.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,333 copying build/lib/fdg/output_data.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,336 creating build/bdist.linux-armv7l/wheel/fdg/control 2023-10-09T04:58:13,336 copying build/lib/fdg/control/ftn_search_strategy.py -> build/bdist.linux-armv7l/wheel/fdg/control 2023-10-09T04:58:13,339 copying build/lib/fdg/control/guider.py -> build/bdist.linux-armv7l/wheel/fdg/control 2023-10-09T04:58:13,342 copying build/lib/fdg/control/function_assignment.py -> build/bdist.linux-armv7l/wheel/fdg/control 2023-10-09T04:58:13,344 copying build/lib/fdg/control/__init__.py -> build/bdist.linux-armv7l/wheel/fdg/control 2023-10-09T04:58:13,345 copying build/lib/fdg/global_config.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,347 creating build/bdist.linux-armv7l/wheel/fdg/preprocessing 2023-10-09T04:58:13,348 copying build/lib/fdg/preprocessing/write_read_info.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2023-10-09T04:58:13,350 copying build/lib/fdg/preprocessing/preprocess.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2023-10-09T04:58:13,352 copying build/lib/fdg/preprocessing/address_collection.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2023-10-09T04:58:13,354 copying build/lib/fdg/preprocessing/slot_location.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2023-10-09T04:58:13,356 copying build/lib/fdg/preprocessing/read_in_conditions.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2023-10-09T04:58:13,358 copying build/lib/fdg/preprocessing/instruction_coverage.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2023-10-09T04:58:13,360 copying build/lib/fdg/preprocessing/__init__.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2023-10-09T04:58:13,362 copying build/lib/fdg/constraint_check.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,364 copying build/lib/fdg/__init__.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,365 copying build/lib/fdg/constraint_check_time.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,367 copying build/lib/fdg/fwrg_manager.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,369 copying build/lib/fdg/instruction_modification.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,372 copying build/lib/fdg/function_coverage.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,374 copying build/lib/fdg/informal_tests.py -> build/bdist.linux-armv7l/wheel/fdg 2023-10-09T04:58:13,376 running install_egg_info 2023-10-09T04:58:13,406 Copying smartExecutorx.egg-info to build/bdist.linux-armv7l/wheel/smartExecutorx-0.2-py3.11.egg-info 2023-10-09T04:58:13,418 running install_scripts 2023-10-09T04:58:13,449 creating build/bdist.linux-armv7l/wheel/smartExecutorx-0.2.dist-info/WHEEL 2023-10-09T04:58:13,451 creating '/tmp/pip-wheel-cqq56i4q/smartExecutorx-0.2-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-10-09T04:58:13,453 adding 'fdg/__init__.py' 2023-10-09T04:58:13,455 adding 'fdg/__version__.py' 2023-10-09T04:58:13,456 adding 'fdg/constraint_check.py' 2023-10-09T04:58:13,457 adding 'fdg/constraint_check_time.py' 2023-10-09T04:58:13,460 adding 'fdg/fdg_pruner.py' 2023-10-09T04:58:13,461 adding 'fdg/function_coverage.py' 2023-10-09T04:58:13,464 adding 'fdg/fwrg_manager.py' 2023-10-09T04:58:13,465 adding 'fdg/global_config.py' 2023-10-09T04:58:13,467 adding 'fdg/informal_tests.py' 2023-10-09T04:58:13,469 adding 'fdg/instruction_modification.py' 2023-10-09T04:58:13,471 adding 'fdg/output_data.py' 2023-10-09T04:58:13,473 adding 'fdg/utils.py' 2023-10-09T04:58:13,475 adding 'fdg/control/__init__.py' 2023-10-09T04:58:13,478 adding 'fdg/control/ftn_search_strategy.py' 2023-10-09T04:58:13,480 adding 'fdg/control/function_assignment.py' 2023-10-09T04:58:13,482 adding 'fdg/control/guider.py' 2023-10-09T04:58:13,484 adding 'fdg/preprocessing/__init__.py' 2023-10-09T04:58:13,485 adding 'fdg/preprocessing/address_collection.py' 2023-10-09T04:58:13,487 adding 'fdg/preprocessing/instruction_coverage.py' 2023-10-09T04:58:13,488 adding 'fdg/preprocessing/preprocess.py' 2023-10-09T04:58:13,490 adding 'fdg/preprocessing/read_in_conditions.py' 2023-10-09T04:58:13,491 adding 'fdg/preprocessing/slot_location.py' 2023-10-09T04:58:13,492 adding 'fdg/preprocessing/write_read_info.py' 2023-10-09T04:58:13,494 adding 'mythril/__init__.py' 2023-10-09T04:58:13,495 adding 'mythril/__main__.py' 2023-10-09T04:58:13,496 adding 'mythril/__version__.py' 2023-10-09T04:58:13,497 adding 'mythril/exceptions.py' 2023-10-09T04:58:13,499 adding 'mythril/analysis/__init__.py' 2023-10-09T04:58:13,500 adding 'mythril/analysis/analysis_args.py' 2023-10-09T04:58:13,501 adding 'mythril/analysis/call_helpers.py' 2023-10-09T04:58:13,503 adding 'mythril/analysis/callgraph.py' 2023-10-09T04:58:13,504 adding 'mythril/analysis/issue_annotation.py' 2023-10-09T04:58:13,505 adding 'mythril/analysis/ops.py' 2023-10-09T04:58:13,507 adding 'mythril/analysis/potential_issues.py' 2023-10-09T04:58:13,509 adding 'mythril/analysis/report.py' 2023-10-09T04:58:13,510 adding 'mythril/analysis/security.py' 2023-10-09T04:58:13,512 adding 'mythril/analysis/solver.py' 2023-10-09T04:58:13,514 adding 'mythril/analysis/swc_data.py' 2023-10-09T04:58:13,515 adding 'mythril/analysis/symbolic.py' 2023-10-09T04:58:13,517 adding 'mythril/analysis/traceexplore.py' 2023-10-09T04:58:13,519 adding 'mythril/analysis/module/__init__.py' 2023-10-09T04:58:13,520 adding 'mythril/analysis/module/base.py' 2023-10-09T04:58:13,522 adding 'mythril/analysis/module/loader.py' 2023-10-09T04:58:13,523 adding 'mythril/analysis/module/module_helpers.py' 2023-10-09T04:58:13,524 adding 'mythril/analysis/module/util.py' 2023-10-09T04:58:13,526 adding 'mythril/analysis/module/modules/__init__.py' 2023-10-09T04:58:13,527 adding 'mythril/analysis/module/modules/arbitrary_jump.py' 2023-10-09T04:58:13,529 adding 'mythril/analysis/module/modules/arbitrary_write.py' 2023-10-09T04:58:13,530 adding 'mythril/analysis/module/modules/delegatecall.py' 2023-10-09T04:58:13,531 adding 'mythril/analysis/module/modules/dependence_on_origin.py' 2023-10-09T04:58:13,533 adding 'mythril/analysis/module/modules/dependence_on_predictable_vars.py' 2023-10-09T04:58:13,534 adding 'mythril/analysis/module/modules/ether_thief.py' 2023-10-09T04:58:13,536 adding 'mythril/analysis/module/modules/exceptions.py' 2023-10-09T04:58:13,537 adding 'mythril/analysis/module/modules/external_calls.py' 2023-10-09T04:58:13,539 adding 'mythril/analysis/module/modules/integer.py' 2023-10-09T04:58:13,541 adding 'mythril/analysis/module/modules/multiple_sends.py' 2023-10-09T04:58:13,542 adding 'mythril/analysis/module/modules/state_change_external_calls.py' 2023-10-09T04:58:13,544 adding 'mythril/analysis/module/modules/suicide.py' 2023-10-09T04:58:13,545 adding 'mythril/analysis/module/modules/unchecked_retval.py' 2023-10-09T04:58:13,547 adding 'mythril/analysis/module/modules/user_assertions.py' 2023-10-09T04:58:13,549 adding 'mythril/analysis/templates/callgraph.html' 2023-10-09T04:58:13,550 adding 'mythril/analysis/templates/report_as_markdown.jinja2' 2023-10-09T04:58:13,551 adding 'mythril/analysis/templates/report_as_text.jinja2' 2023-10-09T04:58:13,553 adding 'mythril/concolic/__init__.py' 2023-10-09T04:58:13,554 adding 'mythril/concolic/concolic_execution.py' 2023-10-09T04:58:13,555 adding 'mythril/concolic/concrete_data.py' 2023-10-09T04:58:13,557 adding 'mythril/concolic/find_trace.py' 2023-10-09T04:58:13,559 adding 'mythril/disassembler/__init__.py' 2023-10-09T04:58:13,560 adding 'mythril/disassembler/asm.py' 2023-10-09T04:58:13,562 adding 'mythril/disassembler/disassembly.py' 2023-10-09T04:58:13,563 adding 'mythril/ethereum/__init__.py' 2023-10-09T04:58:13,565 adding 'mythril/ethereum/evmcontract.py' 2023-10-09T04:58:13,566 adding 'mythril/ethereum/util.py' 2023-10-09T04:58:13,568 adding 'mythril/ethereum/interface/__init__.py' 2023-10-09T04:58:13,570 adding 'mythril/ethereum/interface/rpc/__init__.py' 2023-10-09T04:58:13,571 adding 'mythril/ethereum/interface/rpc/base_client.py' 2023-10-09T04:58:13,572 adding 'mythril/ethereum/interface/rpc/client.py' 2023-10-09T04:58:13,573 adding 'mythril/ethereum/interface/rpc/constants.py' 2023-10-09T04:58:13,574 adding 'mythril/ethereum/interface/rpc/exceptions.py' 2023-10-09T04:58:13,575 adding 'mythril/ethereum/interface/rpc/utils.py' 2023-10-09T04:58:13,577 adding 'mythril/interfaces/__init__.py' 2023-10-09T04:58:13,581 adding 'mythril/interfaces/cli.py' 2023-10-09T04:58:13,582 adding 'mythril/interfaces/epic.py' 2023-10-09T04:58:13,584 adding 'mythril/laser/__init__.py' 2023-10-09T04:58:13,585 adding 'mythril/laser/execution_info.py' 2023-10-09T04:58:13,587 adding 'mythril/laser/ethereum/__init__.py' 2023-10-09T04:58:13,588 adding 'mythril/laser/ethereum/call.py' 2023-10-09T04:58:13,590 adding 'mythril/laser/ethereum/cfg.py' 2023-10-09T04:58:13,591 adding 'mythril/laser/ethereum/cheat_code.py' 2023-10-09T04:58:13,592 adding 'mythril/laser/ethereum/evm_exceptions.py' 2023-10-09T04:58:13,593 adding 'mythril/laser/ethereum/instruction_data.py' 2023-10-09T04:58:13,600 adding 'mythril/laser/ethereum/instructions.py' 2023-10-09T04:58:13,602 adding 'mythril/laser/ethereum/natives.py' 2023-10-09T04:58:13,606 adding 'mythril/laser/ethereum/svm.py' 2023-10-09T04:58:13,608 adding 'mythril/laser/ethereum/time_handler.py' 2023-10-09T04:58:13,609 adding 'mythril/laser/ethereum/util.py' 2023-10-09T04:58:13,610 adding 'mythril/laser/ethereum/function_managers/__init__.py' 2023-10-09T04:58:13,612 adding 'mythril/laser/ethereum/function_managers/exponent_function_manager.py' 2023-10-09T04:58:13,613 adding 'mythril/laser/ethereum/function_managers/keccak_function_manager.py' 2023-10-09T04:58:13,615 adding 'mythril/laser/ethereum/state/__init__.py' 2023-10-09T04:58:13,617 adding 'mythril/laser/ethereum/state/account.py' 2023-10-09T04:58:13,618 adding 'mythril/laser/ethereum/state/annotation.py' 2023-10-09T04:58:13,620 adding 'mythril/laser/ethereum/state/calldata.py' 2023-10-09T04:58:13,621 adding 'mythril/laser/ethereum/state/constraints.py' 2023-10-09T04:58:13,622 adding 'mythril/laser/ethereum/state/environment.py' 2023-10-09T04:58:13,624 adding 'mythril/laser/ethereum/state/global_state.py' 2023-10-09T04:58:13,625 adding 'mythril/laser/ethereum/state/machine_state.py' 2023-10-09T04:58:13,627 adding 'mythril/laser/ethereum/state/memory.py' 2023-10-09T04:58:13,628 adding 'mythril/laser/ethereum/state/return_data.py' 2023-10-09T04:58:13,630 adding 'mythril/laser/ethereum/state/world_state.py' 2023-10-09T04:58:13,632 adding 'mythril/laser/ethereum/strategy/__init__.py' 2023-10-09T04:58:13,633 adding 'mythril/laser/ethereum/strategy/basic.py' 2023-10-09T04:58:13,634 adding 'mythril/laser/ethereum/strategy/beam.py' 2023-10-09T04:58:13,636 adding 'mythril/laser/ethereum/strategy/concolic.py' 2023-10-09T04:58:13,637 adding 'mythril/laser/ethereum/strategy/constraint_strategy.py' 2023-10-09T04:58:13,639 adding 'mythril/laser/ethereum/strategy/extensions/__init__.py' 2023-10-09T04:58:13,640 adding 'mythril/laser/ethereum/strategy/extensions/bounded_loops.py' 2023-10-09T04:58:13,642 adding 'mythril/laser/ethereum/transaction/__init__.py' 2023-10-09T04:58:13,643 adding 'mythril/laser/ethereum/transaction/concolic.py' 2023-10-09T04:58:13,645 adding 'mythril/laser/ethereum/transaction/symbolic.py' 2023-10-09T04:58:13,647 adding 'mythril/laser/ethereum/transaction/transaction_models.py' 2023-10-09T04:58:13,649 adding 'mythril/laser/plugin/__init__.py' 2023-10-09T04:58:13,650 adding 'mythril/laser/plugin/builder.py' 2023-10-09T04:58:13,651 adding 'mythril/laser/plugin/interface.py' 2023-10-09T04:58:13,652 adding 'mythril/laser/plugin/loader.py' 2023-10-09T04:58:13,654 adding 'mythril/laser/plugin/signals.py' 2023-10-09T04:58:13,655 adding 'mythril/laser/plugin/plugins/__init__.py' 2023-10-09T04:58:13,657 adding 'mythril/laser/plugin/plugins/benchmark.py' 2023-10-09T04:58:13,658 adding 'mythril/laser/plugin/plugins/call_depth_limiter.py' 2023-10-09T04:58:13,660 adding 'mythril/laser/plugin/plugins/dependency_pruner.py' 2023-10-09T04:58:13,661 adding 'mythril/laser/plugin/plugins/instruction_profiler.py' 2023-10-09T04:58:13,663 adding 'mythril/laser/plugin/plugins/mutation_pruner.py' 2023-10-09T04:58:13,664 adding 'mythril/laser/plugin/plugins/plugin_annotations.py' 2023-10-09T04:58:13,665 adding 'mythril/laser/plugin/plugins/coverage/__init__.py' 2023-10-09T04:58:13,667 adding 'mythril/laser/plugin/plugins/coverage/coverage_plugin.py' 2023-10-09T04:58:13,668 adding 'mythril/laser/plugin/plugins/coverage/coverage_strategy.py' 2023-10-09T04:58:13,669 adding 'mythril/laser/plugin/plugins/summary_backup/__init__.py' 2023-10-09T04:58:13,671 adding 'mythril/laser/smt/__init__.py' 2023-10-09T04:58:13,673 adding 'mythril/laser/smt/array.py' 2023-10-09T04:58:13,674 adding 'mythril/laser/smt/bitvec.py' 2023-10-09T04:58:13,676 adding 'mythril/laser/smt/bitvec_helper.py' 2023-10-09T04:58:13,677 adding 'mythril/laser/smt/bool.py' 2023-10-09T04:58:13,678 adding 'mythril/laser/smt/expression.py' 2023-10-09T04:58:13,680 adding 'mythril/laser/smt/function.py' 2023-10-09T04:58:13,681 adding 'mythril/laser/smt/model.py' 2023-10-09T04:58:13,683 adding 'mythril/laser/smt/solver/__init__.py' 2023-10-09T04:58:13,684 adding 'mythril/laser/smt/solver/independence_solver.py' 2023-10-09T04:58:13,685 adding 'mythril/laser/smt/solver/solver.py' 2023-10-09T04:58:13,687 adding 'mythril/laser/smt/solver/solver_statistics.py' 2023-10-09T04:58:13,688 adding 'mythril/mythril/__init__.py' 2023-10-09T04:58:13,690 adding 'mythril/mythril/mythril_analyzer.py' 2023-10-09T04:58:13,691 adding 'mythril/mythril/mythril_config.py' 2023-10-09T04:58:13,694 adding 'mythril/mythril/mythril_disassembler.py' 2023-10-09T04:58:13,695 adding 'mythril/plugin/__init__.py' 2023-10-09T04:58:13,697 adding 'mythril/plugin/discovery.py' 2023-10-09T04:58:13,698 adding 'mythril/plugin/interface.py' 2023-10-09T04:58:13,699 adding 'mythril/plugin/loader.py' 2023-10-09T04:58:13,701 adding 'mythril/solidity/__init__.py' 2023-10-09T04:58:13,703 adding 'mythril/solidity/soliditycontract.py' 2023-10-09T04:58:13,705 adding 'mythril/support/__init__.py' 2023-10-09T04:58:13,706 adding 'mythril/support/loader.py' 2023-10-09T04:58:13,707 adding 'mythril/support/lock.py' 2023-10-09T04:58:13,709 adding 'mythril/support/model.py' 2023-10-09T04:58:13,710 adding 'mythril/support/opcodes.py' 2023-10-09T04:58:13,712 adding 'mythril/support/signatures.py' 2023-10-09T04:58:13,713 adding 'mythril/support/source_support.py' 2023-10-09T04:58:13,715 adding 'mythril/support/start_time.py' 2023-10-09T04:58:13,716 adding 'mythril/support/support_args.py' 2023-10-09T04:58:13,717 adding 'mythril/support/support_utils.py' 2023-10-09T04:58:15,034 adding 'mythril/support/assets/signatures.db' 2023-10-09T04:58:15,136 adding 'smartExecutorx-0.2.dist-info/LICENSE' 2023-10-09T04:58:15,137 adding 'smartExecutorx-0.2.dist-info/METADATA' 2023-10-09T04:58:15,139 adding 'smartExecutorx-0.2.dist-info/WHEEL' 2023-10-09T04:58:15,139 adding 'smartExecutorx-0.2.dist-info/entry_points.txt' 2023-10-09T04:58:15,140 adding 'smartExecutorx-0.2.dist-info/top_level.txt' 2023-10-09T04:58:15,143 adding 'smartExecutorx-0.2.dist-info/RECORD' 2023-10-09T04:58:15,199 removing build/bdist.linux-armv7l/wheel 2023-10-09T04:58:15,370 Building wheel for smartexecutorx (setup.py): finished with status 'done' 2023-10-09T04:58:15,427 Created wheel for smartexecutorx: filename=smartExecutorx-0.2-py3-none-any.whl size=4643558 sha256=059bda8e61971156b451ac578879d88b0c6321805e183ec1975b2a7d117db999 2023-10-09T04:58:15,428 Stored in directory: /tmp/pip-ephem-wheel-cache-7wc26vgy/wheels/b5/89/5c/c0fabcfbc8acd7706511b3524bae6408c27603ed33aadda771 2023-10-09T04:58:15,447 Successfully built smartexecutorx 2023-10-09T04:58:15,581 Removed build tracker: '/tmp/pip-build-tracker-6hkqc_tm'