2023-12-01T21:08:03,909 Created temporary directory: /tmp/pip-build-tracker-qv_lmen9 2023-12-01T21:08:03,910 Initialized build tracking at /tmp/pip-build-tracker-qv_lmen9 2023-12-01T21:08:03,911 Created build tracker: /tmp/pip-build-tracker-qv_lmen9 2023-12-01T21:08:03,911 Entered build tracker: /tmp/pip-build-tracker-qv_lmen9 2023-12-01T21:08:03,912 Created temporary directory: /tmp/pip-wheel-m_j436tt 2023-12-01T21:08:03,916 Created temporary directory: /tmp/pip-ephem-wheel-cache-1n7gc5v6 2023-12-01T21:08:03,940 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-12-01T21:08:03,944 2 location(s) to search for versions of smartexecutorx: 2023-12-01T21:08:03,944 * https://pypi.org/simple/smartexecutorx/ 2023-12-01T21:08:03,944 * https://www.piwheels.org/simple/smartexecutorx/ 2023-12-01T21:08:03,945 Fetching project page and analyzing links: https://pypi.org/simple/smartexecutorx/ 2023-12-01T21:08:03,946 Getting page https://pypi.org/simple/smartexecutorx/ 2023-12-01T21:08:03,947 Found index url https://pypi.org/simple/ 2023-12-01T21:08:04,161 Fetched page https://pypi.org/simple/smartexecutorx/ as application/vnd.pypi.simple.v1+json 2023-12-01T21:08:04,163 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-12-01T21:08:04,164 Found link https://files.pythonhosted.org/packages/04/b1/f676db3d9473e604711953b5efecba112aacef0f164b01350e57fcef91eb/smartExecutorx-0.3.tar.gz (from https://pypi.org/simple/smartexecutorx/) (requires-python:>=3.8.0), version: 0.3 2023-12-01T21:08:04,165 Fetching project page and analyzing links: https://www.piwheels.org/simple/smartexecutorx/ 2023-12-01T21:08:04,166 Getting page https://www.piwheels.org/simple/smartexecutorx/ 2023-12-01T21:08:04,167 Found index url https://www.piwheels.org/simple/ 2023-12-01T21:08:04,325 Fetched page https://www.piwheels.org/simple/smartexecutorx/ as text/html 2023-12-01T21:08:04,327 Skipping link: No binaries permitted for smartexecutorx: https://www.piwheels.org/simple/smartexecutorx/smartExecutorx-0.2-py3-none-any.whl#sha256=059bda8e61971156b451ac578879d88b0c6321805e183ec1975b2a7d117db999 (from https://www.piwheels.org/simple/smartexecutorx/) (requires-python:>=3.6.0) 2023-12-01T21:08:04,328 Skipping link: not a file: https://www.piwheels.org/simple/smartexecutorx/ 2023-12-01T21:08:04,328 Skipping link: not a file: https://pypi.org/simple/smartexecutorx/ 2023-12-01T21:08:04,350 Given no hashes to check 1 links for project 'smartexecutorx': discarding no candidates 2023-12-01T21:08:04,371 Collecting smartexecutorx==0.3 2023-12-01T21:08:04,374 Created temporary directory: /tmp/pip-unpack-68g059ka 2023-12-01T21:08:04,594 Downloading smartExecutorx-0.3.tar.gz (4.9 MB) 2023-12-01T21:08:06,926 Added smartexecutorx==0.3 from https://files.pythonhosted.org/packages/04/b1/f676db3d9473e604711953b5efecba112aacef0f164b01350e57fcef91eb/smartExecutorx-0.3.tar.gz to build tracker '/tmp/pip-build-tracker-qv_lmen9' 2023-12-01T21:08:06,929 Running setup.py (path:/tmp/pip-wheel-m_j436tt/smartexecutorx_74102fe678c5417abe96815d5c6ee013/setup.py) egg_info for package smartexecutorx 2023-12-01T21:08:06,930 Created temporary directory: /tmp/pip-pip-egg-info-857v66j7 2023-12-01T21:08:06,930 Preparing metadata (setup.py): started 2023-12-01T21:08:06,932 Running command python setup.py egg_info 2023-12-01T21:08:07,504 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/dist.py:265: UserWarning: Unknown distribution option: 'author_mail' 2023-12-01T21:08:07,504 warnings.warn(msg) 2023-12-01T21:08:07,886 running egg_info 2023-12-01T21:08:07,887 creating /tmp/pip-pip-egg-info-857v66j7/smartExecutorx.egg-info 2023-12-01T21:08:07,915 writing /tmp/pip-pip-egg-info-857v66j7/smartExecutorx.egg-info/PKG-INFO 2023-12-01T21:08:07,920 writing dependency_links to /tmp/pip-pip-egg-info-857v66j7/smartExecutorx.egg-info/dependency_links.txt 2023-12-01T21:08:07,922 writing entry points to /tmp/pip-pip-egg-info-857v66j7/smartExecutorx.egg-info/entry_points.txt 2023-12-01T21:08:07,924 writing requirements to /tmp/pip-pip-egg-info-857v66j7/smartExecutorx.egg-info/requires.txt 2023-12-01T21:08:07,925 writing top-level names to /tmp/pip-pip-egg-info-857v66j7/smartExecutorx.egg-info/top_level.txt 2023-12-01T21:08:07,927 writing manifest file '/tmp/pip-pip-egg-info-857v66j7/smartExecutorx.egg-info/SOURCES.txt' 2023-12-01T21:08:08,048 reading manifest file '/tmp/pip-pip-egg-info-857v66j7/smartExecutorx.egg-info/SOURCES.txt' 2023-12-01T21:08:08,049 reading manifest template 'MANIFEST.in' 2023-12-01T21:08:08,052 adding license file 'LICENSE' 2023-12-01T21:08:08,059 writing manifest file '/tmp/pip-pip-egg-info-857v66j7/smartExecutorx.egg-info/SOURCES.txt' 2023-12-01T21:08:08,164 Preparing metadata (setup.py): finished with status 'done' 2023-12-01T21:08:08,169 Source in /tmp/pip-wheel-m_j436tt/smartexecutorx_74102fe678c5417abe96815d5c6ee013 has version 0.3, which satisfies requirement smartexecutorx==0.3 from https://files.pythonhosted.org/packages/04/b1/f676db3d9473e604711953b5efecba112aacef0f164b01350e57fcef91eb/smartExecutorx-0.3.tar.gz 2023-12-01T21:08:08,170 Removed smartexecutorx==0.3 from https://files.pythonhosted.org/packages/04/b1/f676db3d9473e604711953b5efecba112aacef0f164b01350e57fcef91eb/smartExecutorx-0.3.tar.gz from build tracker '/tmp/pip-build-tracker-qv_lmen9' 2023-12-01T21:08:08,178 Created temporary directory: /tmp/pip-unpack-08ocvvrz 2023-12-01T21:08:08,179 Created temporary directory: /tmp/pip-unpack-r7xjlbu_ 2023-12-01T21:08:08,231 Building wheels for collected packages: smartexecutorx 2023-12-01T21:08:08,236 Created temporary directory: /tmp/pip-wheel-cdg4flvk 2023-12-01T21:08:08,237 Building wheel for smartexecutorx (setup.py): started 2023-12-01T21:08:08,238 Destination directory: /tmp/pip-wheel-cdg4flvk 2023-12-01T21:08:08,239 Running command python setup.py bdist_wheel 2023-12-01T21:08:08,765 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/dist.py:265: UserWarning: Unknown distribution option: 'author_mail' 2023-12-01T21:08:08,766 warnings.warn(msg) 2023-12-01T21:08:09,124 running bdist_wheel 2023-12-01T21:08:09,275 running build 2023-12-01T21:08:09,276 running build_py 2023-12-01T21:08:09,306 creating build 2023-12-01T21:08:09,307 creating build/lib 2023-12-01T21:08:09,308 creating build/lib/fdg 2023-12-01T21:08:09,309 copying fdg/constraint_check_time.py -> build/lib/fdg 2023-12-01T21:08:09,311 copying fdg/constraint_check.py -> build/lib/fdg 2023-12-01T21:08:09,313 copying fdg/fdg_pruner.py -> build/lib/fdg 2023-12-01T21:08:09,316 copying fdg/__version__.py -> build/lib/fdg 2023-12-01T21:08:09,317 copying fdg/utils.py -> build/lib/fdg 2023-12-01T21:08:09,320 copying fdg/fwrg_manager.py -> build/lib/fdg 2023-12-01T21:08:09,323 copying fdg/expression_slot.py -> build/lib/fdg 2023-12-01T21:08:09,325 copying fdg/instruction_modification.py -> build/lib/fdg 2023-12-01T21:08:09,328 copying fdg/output_data.py -> build/lib/fdg 2023-12-01T21:08:09,330 copying fdg/function_coverage.py -> build/lib/fdg 2023-12-01T21:08:09,333 copying fdg/global_config.py -> build/lib/fdg 2023-12-01T21:08:09,335 copying fdg/__init__.py -> build/lib/fdg 2023-12-01T21:08:09,337 creating build/lib/mythril 2023-12-01T21:08:09,338 copying mythril/__version__.py -> build/lib/mythril 2023-12-01T21:08:09,340 copying mythril/__main__.py -> build/lib/mythril 2023-12-01T21:08:09,342 copying mythril/exceptions.py -> build/lib/mythril 2023-12-01T21:08:09,345 copying mythril/__init__.py -> build/lib/mythril 2023-12-01T21:08:09,347 creating build/lib/fdg/preprocessing 2023-12-01T21:08:09,348 copying fdg/preprocessing/instruction_coverage.py -> build/lib/fdg/preprocessing 2023-12-01T21:08:09,351 copying fdg/preprocessing/read_in_conditions.py -> build/lib/fdg/preprocessing 2023-12-01T21:08:09,353 copying fdg/preprocessing/write_read_info.py -> build/lib/fdg/preprocessing 2023-12-01T21:08:09,355 copying fdg/preprocessing/preprocess.py -> build/lib/fdg/preprocessing 2023-12-01T21:08:09,357 copying fdg/preprocessing/__init__.py -> build/lib/fdg/preprocessing 2023-12-01T21:08:09,359 copying fdg/preprocessing/slot_location.py -> build/lib/fdg/preprocessing 2023-12-01T21:08:09,362 copying fdg/preprocessing/address_collection.py -> build/lib/fdg/preprocessing 2023-12-01T21:08:09,365 creating build/lib/fdg/control 2023-12-01T21:08:09,366 copying fdg/control/mine.py -> build/lib/fdg/control 2023-12-01T21:08:09,370 copying fdg/control/weight_computation.py -> build/lib/fdg/control 2023-12-01T21:08:09,372 copying fdg/control/function_assignment.py -> build/lib/fdg/control 2023-12-01T21:08:09,374 copying fdg/control/ftn_search_strategy.py -> build/lib/fdg/control 2023-12-01T21:08:09,377 copying fdg/control/guider.py -> build/lib/fdg/control 2023-12-01T21:08:09,379 copying fdg/control/__init__.py -> build/lib/fdg/control 2023-12-01T21:08:09,381 creating build/lib/mythril/ethereum 2023-12-01T21:08:09,382 copying mythril/ethereum/util.py -> build/lib/mythril/ethereum 2023-12-01T21:08:09,385 copying mythril/ethereum/evmcontract.py -> build/lib/mythril/ethereum 2023-12-01T21:08:09,387 copying mythril/ethereum/__init__.py -> build/lib/mythril/ethereum 2023-12-01T21:08:09,389 creating build/lib/mythril/interfaces 2023-12-01T21:08:09,389 copying mythril/interfaces/cli.py -> build/lib/mythril/interfaces 2023-12-01T21:08:09,393 copying mythril/interfaces/epic.py -> build/lib/mythril/interfaces 2023-12-01T21:08:09,395 copying mythril/interfaces/__init__.py -> build/lib/mythril/interfaces 2023-12-01T21:08:09,397 creating build/lib/mythril/support 2023-12-01T21:08:09,398 copying mythril/support/source_support.py -> build/lib/mythril/support 2023-12-01T21:08:09,400 copying mythril/support/model.py -> build/lib/mythril/support 2023-12-01T21:08:09,402 copying mythril/support/signatures.py -> build/lib/mythril/support 2023-12-01T21:08:09,405 copying mythril/support/lock.py -> build/lib/mythril/support 2023-12-01T21:08:09,407 copying mythril/support/start_time.py -> build/lib/mythril/support 2023-12-01T21:08:09,409 copying mythril/support/opcodes.py -> build/lib/mythril/support 2023-12-01T21:08:09,411 copying mythril/support/loader.py -> build/lib/mythril/support 2023-12-01T21:08:09,413 copying mythril/support/support_utils.py -> build/lib/mythril/support 2023-12-01T21:08:09,415 copying mythril/support/support_args.py -> build/lib/mythril/support 2023-12-01T21:08:09,417 copying mythril/support/__init__.py -> build/lib/mythril/support 2023-12-01T21:08:09,419 creating build/lib/mythril/laser 2023-12-01T21:08:09,420 copying mythril/laser/execution_info.py -> build/lib/mythril/laser 2023-12-01T21:08:09,422 copying mythril/laser/__init__.py -> build/lib/mythril/laser 2023-12-01T21:08:09,424 creating build/lib/mythril/plugin 2023-12-01T21:08:09,425 copying mythril/plugin/discovery.py -> build/lib/mythril/plugin 2023-12-01T21:08:09,427 copying mythril/plugin/interface.py -> build/lib/mythril/plugin 2023-12-01T21:08:09,429 copying mythril/plugin/loader.py -> build/lib/mythril/plugin 2023-12-01T21:08:09,431 copying mythril/plugin/__init__.py -> build/lib/mythril/plugin 2023-12-01T21:08:09,434 creating build/lib/mythril/solidity 2023-12-01T21:08:09,435 copying mythril/solidity/soliditycontract.py -> build/lib/mythril/solidity 2023-12-01T21:08:09,438 copying mythril/solidity/__init__.py -> build/lib/mythril/solidity 2023-12-01T21:08:09,440 creating build/lib/mythril/mythril 2023-12-01T21:08:09,441 copying mythril/mythril/mythril_disassembler.py -> build/lib/mythril/mythril 2023-12-01T21:08:09,444 copying mythril/mythril/mythril_config.py -> build/lib/mythril/mythril 2023-12-01T21:08:09,446 copying mythril/mythril/__init__.py -> build/lib/mythril/mythril 2023-12-01T21:08:09,448 copying mythril/mythril/mythril_analyzer.py -> build/lib/mythril/mythril 2023-12-01T21:08:09,451 creating build/lib/mythril/disassembler 2023-12-01T21:08:09,455 copying mythril/disassembler/asm.py -> build/lib/mythril/disassembler 2023-12-01T21:08:09,457 copying mythril/disassembler/disassembly.py -> build/lib/mythril/disassembler 2023-12-01T21:08:09,460 copying mythril/disassembler/__init__.py -> build/lib/mythril/disassembler 2023-12-01T21:08:09,462 creating build/lib/mythril/analysis 2023-12-01T21:08:09,463 copying mythril/analysis/callgraph.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,465 copying mythril/analysis/call_helpers.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,467 copying mythril/analysis/swc_data.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,469 copying mythril/analysis/solver.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,471 copying mythril/analysis/symbolic.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,475 copying mythril/analysis/report.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,477 copying mythril/analysis/ops.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,479 copying mythril/analysis/potential_issues.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,481 copying mythril/analysis/traceexplore.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,483 copying mythril/analysis/issue_annotation.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,485 copying mythril/analysis/analysis_args.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,487 copying mythril/analysis/security.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,489 copying mythril/analysis/__init__.py -> build/lib/mythril/analysis 2023-12-01T21:08:09,491 creating build/lib/mythril/concolic 2023-12-01T21:08:09,492 copying mythril/concolic/find_trace.py -> build/lib/mythril/concolic 2023-12-01T21:08:09,494 copying mythril/concolic/concolic_execution.py -> build/lib/mythril/concolic 2023-12-01T21:08:09,496 copying mythril/concolic/concrete_data.py -> build/lib/mythril/concolic 2023-12-01T21:08:09,498 copying mythril/concolic/__init__.py -> build/lib/mythril/concolic 2023-12-01T21:08:09,500 creating build/lib/mythril/ethereum/interface 2023-12-01T21:08:09,501 copying mythril/ethereum/interface/__init__.py -> build/lib/mythril/ethereum/interface 2023-12-01T21:08:09,504 creating build/lib/mythril/ethereum/interface/rpc 2023-12-01T21:08:09,505 copying mythril/ethereum/interface/rpc/utils.py -> build/lib/mythril/ethereum/interface/rpc 2023-12-01T21:08:09,507 copying mythril/ethereum/interface/rpc/client.py -> build/lib/mythril/ethereum/interface/rpc 2023-12-01T21:08:09,509 copying mythril/ethereum/interface/rpc/base_client.py -> build/lib/mythril/ethereum/interface/rpc 2023-12-01T21:08:09,511 copying mythril/ethereum/interface/rpc/exceptions.py -> build/lib/mythril/ethereum/interface/rpc 2023-12-01T21:08:09,513 copying mythril/ethereum/interface/rpc/constants.py -> build/lib/mythril/ethereum/interface/rpc 2023-12-01T21:08:09,515 copying mythril/ethereum/interface/rpc/__init__.py -> build/lib/mythril/ethereum/interface/rpc 2023-12-01T21:08:09,518 creating build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,519 copying mythril/laser/ethereum/util.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,521 copying mythril/laser/ethereum/instructions.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,526 copying mythril/laser/ethereum/time_handler.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,528 copying mythril/laser/ethereum/svm.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,531 copying mythril/laser/ethereum/instruction_data.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,533 copying mythril/laser/ethereum/evm_exceptions.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,535 copying mythril/laser/ethereum/natives.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,537 copying mythril/laser/ethereum/cheat_code.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,539 copying mythril/laser/ethereum/cfg.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,542 copying mythril/laser/ethereum/__init__.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,543 copying mythril/laser/ethereum/call.py -> build/lib/mythril/laser/ethereum 2023-12-01T21:08:09,547 creating build/lib/mythril/laser/smt 2023-12-01T21:08:09,548 copying mythril/laser/smt/bool.py -> build/lib/mythril/laser/smt 2023-12-01T21:08:09,550 copying mythril/laser/smt/model.py -> build/lib/mythril/laser/smt 2023-12-01T21:08:09,552 copying mythril/laser/smt/expression.py -> build/lib/mythril/laser/smt 2023-12-01T21:08:09,554 copying mythril/laser/smt/bitvec_helper.py -> build/lib/mythril/laser/smt 2023-12-01T21:08:09,556 copying mythril/laser/smt/bitvec.py -> build/lib/mythril/laser/smt 2023-12-01T21:08:09,559 copying mythril/laser/smt/array.py -> build/lib/mythril/laser/smt 2023-12-01T21:08:09,561 copying mythril/laser/smt/__init__.py -> build/lib/mythril/laser/smt 2023-12-01T21:08:09,563 copying mythril/laser/smt/function.py -> build/lib/mythril/laser/smt 2023-12-01T21:08:09,566 creating build/lib/mythril/laser/plugin 2023-12-01T21:08:09,567 copying mythril/laser/plugin/interface.py -> build/lib/mythril/laser/plugin 2023-12-01T21:08:09,569 copying mythril/laser/plugin/builder.py -> build/lib/mythril/laser/plugin 2023-12-01T21:08:09,571 copying mythril/laser/plugin/signals.py -> build/lib/mythril/laser/plugin 2023-12-01T21:08:09,573 copying mythril/laser/plugin/loader.py -> build/lib/mythril/laser/plugin 2023-12-01T21:08:09,575 copying mythril/laser/plugin/__init__.py -> build/lib/mythril/laser/plugin 2023-12-01T21:08:09,578 creating build/lib/mythril/laser/ethereum/function_managers 2023-12-01T21:08:09,579 copying mythril/laser/ethereum/function_managers/keccak_function_manager.py -> build/lib/mythril/laser/ethereum/function_managers 2023-12-01T21:08:09,581 copying mythril/laser/ethereum/function_managers/exponent_function_manager.py -> build/lib/mythril/laser/ethereum/function_managers 2023-12-01T21:08:09,584 copying mythril/laser/ethereum/function_managers/__init__.py -> build/lib/mythril/laser/ethereum/function_managers 2023-12-01T21:08:09,586 creating build/lib/mythril/laser/ethereum/strategy 2023-12-01T21:08:09,587 copying mythril/laser/ethereum/strategy/beam.py -> build/lib/mythril/laser/ethereum/strategy 2023-12-01T21:08:09,589 copying mythril/laser/ethereum/strategy/concolic.py -> build/lib/mythril/laser/ethereum/strategy 2023-12-01T21:08:09,592 copying mythril/laser/ethereum/strategy/constraint_strategy.py -> build/lib/mythril/laser/ethereum/strategy 2023-12-01T21:08:09,594 copying mythril/laser/ethereum/strategy/basic.py -> build/lib/mythril/laser/ethereum/strategy 2023-12-01T21:08:09,596 copying mythril/laser/ethereum/strategy/__init__.py -> build/lib/mythril/laser/ethereum/strategy 2023-12-01T21:08:09,598 creating build/lib/mythril/laser/ethereum/transaction 2023-12-01T21:08:09,599 copying mythril/laser/ethereum/transaction/concolic.py -> build/lib/mythril/laser/ethereum/transaction 2023-12-01T21:08:09,602 copying mythril/laser/ethereum/transaction/symbolic.py -> build/lib/mythril/laser/ethereum/transaction 2023-12-01T21:08:09,604 copying mythril/laser/ethereum/transaction/transaction_models.py -> build/lib/mythril/laser/ethereum/transaction 2023-12-01T21:08:09,607 copying mythril/laser/ethereum/transaction/__init__.py -> build/lib/mythril/laser/ethereum/transaction 2023-12-01T21:08:09,610 creating build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,611 copying mythril/laser/ethereum/state/return_data.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,614 copying mythril/laser/ethereum/state/environment.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,616 copying mythril/laser/ethereum/state/machine_state.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,619 copying mythril/laser/ethereum/state/memory.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,622 copying mythril/laser/ethereum/state/world_state.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,625 copying mythril/laser/ethereum/state/constraints.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,627 copying mythril/laser/ethereum/state/global_state.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,630 copying mythril/laser/ethereum/state/calldata.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,632 copying mythril/laser/ethereum/state/annotation.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,634 copying mythril/laser/ethereum/state/account.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,636 copying mythril/laser/ethereum/state/__init__.py -> build/lib/mythril/laser/ethereum/state 2023-12-01T21:08:09,638 creating build/lib/mythril/laser/ethereum/strategy/extensions 2023-12-01T21:08:09,639 copying mythril/laser/ethereum/strategy/extensions/bounded_loops.py -> build/lib/mythril/laser/ethereum/strategy/extensions 2023-12-01T21:08:09,642 copying mythril/laser/ethereum/strategy/extensions/__init__.py -> build/lib/mythril/laser/ethereum/strategy/extensions 2023-12-01T21:08:09,644 creating build/lib/mythril/laser/smt/solver 2023-12-01T21:08:09,645 copying mythril/laser/smt/solver/solver.py -> build/lib/mythril/laser/smt/solver 2023-12-01T21:08:09,647 copying mythril/laser/smt/solver/independence_solver.py -> build/lib/mythril/laser/smt/solver 2023-12-01T21:08:09,649 copying mythril/laser/smt/solver/solver_statistics.py -> build/lib/mythril/laser/smt/solver 2023-12-01T21:08:09,651 copying mythril/laser/smt/solver/__init__.py -> build/lib/mythril/laser/smt/solver 2023-12-01T21:08:09,653 creating build/lib/mythril/laser/plugin/plugins 2023-12-01T21:08:09,654 copying mythril/laser/plugin/plugins/mutation_pruner.py -> build/lib/mythril/laser/plugin/plugins 2023-12-01T21:08:09,657 copying mythril/laser/plugin/plugins/dependency_pruner.py -> build/lib/mythril/laser/plugin/plugins 2023-12-01T21:08:09,659 copying mythril/laser/plugin/plugins/call_depth_limiter.py -> build/lib/mythril/laser/plugin/plugins 2023-12-01T21:08:09,661 copying mythril/laser/plugin/plugins/instruction_profiler.py -> build/lib/mythril/laser/plugin/plugins 2023-12-01T21:08:09,663 copying mythril/laser/plugin/plugins/plugin_annotations.py -> build/lib/mythril/laser/plugin/plugins 2023-12-01T21:08:09,665 copying mythril/laser/plugin/plugins/__init__.py -> build/lib/mythril/laser/plugin/plugins 2023-12-01T21:08:09,667 copying mythril/laser/plugin/plugins/benchmark.py -> build/lib/mythril/laser/plugin/plugins 2023-12-01T21:08:09,670 creating build/lib/mythril/laser/plugin/plugins/summary_backup 2023-12-01T21:08:09,671 copying mythril/laser/plugin/plugins/summary_backup/__init__.py -> build/lib/mythril/laser/plugin/plugins/summary_backup 2023-12-01T21:08:09,673 creating build/lib/mythril/laser/plugin/plugins/coverage 2023-12-01T21:08:09,674 copying mythril/laser/plugin/plugins/coverage/coverage_strategy.py -> build/lib/mythril/laser/plugin/plugins/coverage 2023-12-01T21:08:09,676 copying mythril/laser/plugin/plugins/coverage/__init__.py -> build/lib/mythril/laser/plugin/plugins/coverage 2023-12-01T21:08:09,678 copying mythril/laser/plugin/plugins/coverage/coverage_plugin.py -> build/lib/mythril/laser/plugin/plugins/coverage 2023-12-01T21:08:09,682 creating build/lib/mythril/analysis/module 2023-12-01T21:08:09,683 copying mythril/analysis/module/util.py -> build/lib/mythril/analysis/module 2023-12-01T21:08:09,685 copying mythril/analysis/module/base.py -> build/lib/mythril/analysis/module 2023-12-01T21:08:09,687 copying mythril/analysis/module/module_helpers.py -> build/lib/mythril/analysis/module 2023-12-01T21:08:09,689 copying mythril/analysis/module/loader.py -> build/lib/mythril/analysis/module 2023-12-01T21:08:09,692 copying mythril/analysis/module/__init__.py -> build/lib/mythril/analysis/module 2023-12-01T21:08:09,694 creating build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,696 copying mythril/analysis/module/modules/delegatecall.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,698 copying mythril/analysis/module/modules/arbitrary_jump.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,700 copying mythril/analysis/module/modules/dependence_on_predictable_vars.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,703 copying mythril/analysis/module/modules/multiple_sends.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,705 copying mythril/analysis/module/modules/suicide.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,708 copying mythril/analysis/module/modules/state_change_external_calls.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,710 copying mythril/analysis/module/modules/ether_thief.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,712 copying mythril/analysis/module/modules/arbitrary_write.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,714 copying mythril/analysis/module/modules/exceptions.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,717 copying mythril/analysis/module/modules/dependence_on_origin.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,719 copying mythril/analysis/module/modules/integer.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,721 copying mythril/analysis/module/modules/user_assertions.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,724 copying mythril/analysis/module/modules/external_calls.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,726 copying mythril/analysis/module/modules/unchecked_retval.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,728 copying mythril/analysis/module/modules/__init__.py -> build/lib/mythril/analysis/module/modules 2023-12-01T21:08:09,730 running egg_info 2023-12-01T21:08:09,758 writing smartExecutorx.egg-info/PKG-INFO 2023-12-01T21:08:09,763 writing dependency_links to smartExecutorx.egg-info/dependency_links.txt 2023-12-01T21:08:09,765 writing entry points to smartExecutorx.egg-info/entry_points.txt 2023-12-01T21:08:09,767 writing requirements to smartExecutorx.egg-info/requires.txt 2023-12-01T21:08:09,768 writing top-level names to smartExecutorx.egg-info/top_level.txt 2023-12-01T21:08:09,826 reading manifest file 'smartExecutorx.egg-info/SOURCES.txt' 2023-12-01T21:08:09,832 reading manifest template 'MANIFEST.in' 2023-12-01T21:08:09,834 adding license file 'LICENSE' 2023-12-01T21:08:09,844 writing manifest file 'smartExecutorx.egg-info/SOURCES.txt' 2023-12-01T21:08:09,848 /usr/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:207: _Warning: Package 'mythril.analysis.templates' is absent from the `packages` configuration. 2023-12-01T21:08:09,848 !! 2023-12-01T21:08:09,850 ******************************************************************************** 2023-12-01T21:08:09,850 ############################ 2023-12-01T21:08:09,851 # Package would be ignored # 2023-12-01T21:08:09,852 ############################ 2023-12-01T21:08:09,852 Python recognizes 'mythril.analysis.templates' as an importable package[^1], 2023-12-01T21:08:09,853 but it is absent from setuptools' `packages` configuration. 2023-12-01T21:08:09,854 This leads to an ambiguous overall configuration. If you want to distribute this 2023-12-01T21:08:09,855 package, please make sure that 'mythril.analysis.templates' is explicitly added 2023-12-01T21:08:09,855 to the `packages` configuration field. 2023-12-01T21:08:09,856 Alternatively, you can also rely on setuptools' discovery methods 2023-12-01T21:08:09,857 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2023-12-01T21:08:09,857 instead of `find_packages(...)`/`find:`). 2023-12-01T21:08:09,859 You can read more about "package discovery" on setuptools documentation page: 2023-12-01T21:08:09,860 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2023-12-01T21:08:09,862 If you don't want 'mythril.analysis.templates' to be distributed and are 2023-12-01T21:08:09,862 already explicitly excluding 'mythril.analysis.templates' via 2023-12-01T21:08:09,863 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2023-12-01T21:08:09,864 you can try to use `exclude_package_data`, or `include-package-data=False` in 2023-12-01T21:08:09,864 combination with a more fine grained `package-data` configuration. 2023-12-01T21:08:09,865 You can read more about "package data files" on setuptools documentation page: 2023-12-01T21:08:09,866 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2023-12-01T21:08:09,867 [^1]: For Python, any directory (with suitable naming) can be imported, 2023-12-01T21:08:09,868 even if it does not contain any `.py` files. 2023-12-01T21:08:09,869 On the other hand, currently there is no concept of package data 2023-12-01T21:08:09,869 directory, all directories are treated like packages. 2023-12-01T21:08:09,870 ******************************************************************************** 2023-12-01T21:08:09,871 !! 2023-12-01T21:08:09,871 check.warn(importable) 2023-12-01T21:08:09,872 /usr/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:207: _Warning: Package 'mythril.support.assets' is absent from the `packages` configuration. 2023-12-01T21:08:09,872 !! 2023-12-01T21:08:09,873 ******************************************************************************** 2023-12-01T21:08:09,874 ############################ 2023-12-01T21:08:09,875 # Package would be ignored # 2023-12-01T21:08:09,875 ############################ 2023-12-01T21:08:09,876 Python recognizes 'mythril.support.assets' as an importable package[^1], 2023-12-01T21:08:09,876 but it is absent from setuptools' `packages` configuration. 2023-12-01T21:08:09,878 This leads to an ambiguous overall configuration. If you want to distribute this 2023-12-01T21:08:09,879 package, please make sure that 'mythril.support.assets' is explicitly added 2023-12-01T21:08:09,879 to the `packages` configuration field. 2023-12-01T21:08:09,880 Alternatively, you can also rely on setuptools' discovery methods 2023-12-01T21:08:09,881 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2023-12-01T21:08:09,882 instead of `find_packages(...)`/`find:`). 2023-12-01T21:08:09,883 You can read more about "package discovery" on setuptools documentation page: 2023-12-01T21:08:09,884 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2023-12-01T21:08:09,886 If you don't want 'mythril.support.assets' to be distributed and are 2023-12-01T21:08:09,887 already explicitly excluding 'mythril.support.assets' via 2023-12-01T21:08:09,887 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2023-12-01T21:08:09,888 you can try to use `exclude_package_data`, or `include-package-data=False` in 2023-12-01T21:08:09,889 combination with a more fine grained `package-data` configuration. 2023-12-01T21:08:09,890 You can read more about "package data files" on setuptools documentation page: 2023-12-01T21:08:09,891 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2023-12-01T21:08:09,893 [^1]: For Python, any directory (with suitable naming) can be imported, 2023-12-01T21:08:09,894 even if it does not contain any `.py` files. 2023-12-01T21:08:09,895 On the other hand, currently there is no concept of package data 2023-12-01T21:08:09,895 directory, all directories are treated like packages. 2023-12-01T21:08:09,896 ******************************************************************************** 2023-12-01T21:08:09,898 !! 2023-12-01T21:08:09,899 check.warn(importable) 2023-12-01T21:08:09,899 creating build/lib/mythril/support/assets 2023-12-01T21:08:09,900 copying mythril/support/assets/signatures.db -> build/lib/mythril/support/assets 2023-12-01T21:08:10,062 creating build/lib/mythril/analysis/templates 2023-12-01T21:08:10,063 copying mythril/analysis/templates/callgraph.html -> build/lib/mythril/analysis/templates 2023-12-01T21:08:10,066 copying mythril/analysis/templates/report_as_markdown.jinja2 -> build/lib/mythril/analysis/templates 2023-12-01T21:08:10,068 copying mythril/analysis/templates/report_as_text.jinja2 -> build/lib/mythril/analysis/templates 2023-12-01T21:08:10,113 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-12-01T21:08:10,114 !! 2023-12-01T21:08:10,115 ******************************************************************************** 2023-12-01T21:08:10,115 Please avoid running ``setup.py`` directly. 2023-12-01T21:08:10,116 Instead, use pypa/build, pypa/installer or other 2023-12-01T21:08:10,116 standards-based tools. 2023-12-01T21:08:10,117 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-12-01T21:08:10,118 ******************************************************************************** 2023-12-01T21:08:10,119 !! 2023-12-01T21:08:10,120 self.initialize_options() 2023-12-01T21:08:10,142 installing to build/bdist.linux-aarch64/wheel 2023-12-01T21:08:10,143 running install 2023-12-01T21:08:10,167 running install_lib 2023-12-01T21:08:10,195 creating build/bdist.linux-aarch64 2023-12-01T21:08:10,195 creating build/bdist.linux-aarch64/wheel 2023-12-01T21:08:10,197 creating build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,199 copying build/lib/fdg/constraint_check_time.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,201 copying build/lib/fdg/constraint_check.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,203 copying build/lib/fdg/fdg_pruner.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,206 copying build/lib/fdg/__version__.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,208 creating build/bdist.linux-aarch64/wheel/fdg/preprocessing 2023-12-01T21:08:10,210 copying build/lib/fdg/preprocessing/instruction_coverage.py -> build/bdist.linux-aarch64/wheel/fdg/preprocessing 2023-12-01T21:08:10,212 copying build/lib/fdg/preprocessing/read_in_conditions.py -> build/bdist.linux-aarch64/wheel/fdg/preprocessing 2023-12-01T21:08:10,214 copying build/lib/fdg/preprocessing/write_read_info.py -> build/bdist.linux-aarch64/wheel/fdg/preprocessing 2023-12-01T21:08:10,217 copying build/lib/fdg/preprocessing/preprocess.py -> build/bdist.linux-aarch64/wheel/fdg/preprocessing 2023-12-01T21:08:10,219 copying build/lib/fdg/preprocessing/__init__.py -> build/bdist.linux-aarch64/wheel/fdg/preprocessing 2023-12-01T21:08:10,221 copying build/lib/fdg/preprocessing/slot_location.py -> build/bdist.linux-aarch64/wheel/fdg/preprocessing 2023-12-01T21:08:10,224 copying build/lib/fdg/preprocessing/address_collection.py -> build/bdist.linux-aarch64/wheel/fdg/preprocessing 2023-12-01T21:08:10,226 copying build/lib/fdg/utils.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,228 copying build/lib/fdg/fwrg_manager.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,232 creating build/bdist.linux-aarch64/wheel/fdg/control 2023-12-01T21:08:10,233 copying build/lib/fdg/control/mine.py -> build/bdist.linux-aarch64/wheel/fdg/control 2023-12-01T21:08:10,237 copying build/lib/fdg/control/weight_computation.py -> build/bdist.linux-aarch64/wheel/fdg/control 2023-12-01T21:08:10,239 copying build/lib/fdg/control/function_assignment.py -> build/bdist.linux-aarch64/wheel/fdg/control 2023-12-01T21:08:10,242 copying build/lib/fdg/control/ftn_search_strategy.py -> build/bdist.linux-aarch64/wheel/fdg/control 2023-12-01T21:08:10,245 copying build/lib/fdg/control/guider.py -> build/bdist.linux-aarch64/wheel/fdg/control 2023-12-01T21:08:10,247 copying build/lib/fdg/control/__init__.py -> build/bdist.linux-aarch64/wheel/fdg/control 2023-12-01T21:08:10,249 copying build/lib/fdg/expression_slot.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,252 copying build/lib/fdg/instruction_modification.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,254 copying build/lib/fdg/output_data.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,257 copying build/lib/fdg/function_coverage.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,259 copying build/lib/fdg/global_config.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,261 copying build/lib/fdg/__init__.py -> build/bdist.linux-aarch64/wheel/fdg 2023-12-01T21:08:10,264 creating build/bdist.linux-aarch64/wheel/mythril 2023-12-01T21:08:10,265 copying build/lib/mythril/__version__.py -> build/bdist.linux-aarch64/wheel/mythril 2023-12-01T21:08:10,266 copying build/lib/mythril/__main__.py -> build/bdist.linux-aarch64/wheel/mythril 2023-12-01T21:08:10,269 creating build/bdist.linux-aarch64/wheel/mythril/ethereum 2023-12-01T21:08:10,270 copying build/lib/mythril/ethereum/util.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum 2023-12-01T21:08:10,273 copying build/lib/mythril/ethereum/evmcontract.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum 2023-12-01T21:08:10,275 creating build/bdist.linux-aarch64/wheel/mythril/ethereum/interface 2023-12-01T21:08:10,277 creating build/bdist.linux-aarch64/wheel/mythril/ethereum/interface/rpc 2023-12-01T21:08:10,278 copying build/lib/mythril/ethereum/interface/rpc/utils.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum/interface/rpc 2023-12-01T21:08:10,280 copying build/lib/mythril/ethereum/interface/rpc/client.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum/interface/rpc 2023-12-01T21:08:10,282 copying build/lib/mythril/ethereum/interface/rpc/base_client.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum/interface/rpc 2023-12-01T21:08:10,284 copying build/lib/mythril/ethereum/interface/rpc/exceptions.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum/interface/rpc 2023-12-01T21:08:10,286 copying build/lib/mythril/ethereum/interface/rpc/constants.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum/interface/rpc 2023-12-01T21:08:10,288 copying build/lib/mythril/ethereum/interface/rpc/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum/interface/rpc 2023-12-01T21:08:10,290 copying build/lib/mythril/ethereum/interface/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum/interface 2023-12-01T21:08:10,292 copying build/lib/mythril/ethereum/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/ethereum 2023-12-01T21:08:10,294 creating build/bdist.linux-aarch64/wheel/mythril/interfaces 2023-12-01T21:08:10,295 copying build/lib/mythril/interfaces/cli.py -> build/bdist.linux-aarch64/wheel/mythril/interfaces 2023-12-01T21:08:10,298 copying build/lib/mythril/interfaces/epic.py -> build/bdist.linux-aarch64/wheel/mythril/interfaces 2023-12-01T21:08:10,301 copying build/lib/mythril/interfaces/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/interfaces 2023-12-01T21:08:10,303 creating build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,304 copying build/lib/mythril/support/source_support.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,306 copying build/lib/mythril/support/model.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,309 copying build/lib/mythril/support/signatures.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,311 copying build/lib/mythril/support/lock.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,313 copying build/lib/mythril/support/start_time.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,316 creating build/bdist.linux-aarch64/wheel/mythril/support/assets 2023-12-01T21:08:10,317 copying build/lib/mythril/support/assets/signatures.db -> build/bdist.linux-aarch64/wheel/mythril/support/assets 2023-12-01T21:08:10,520 copying build/lib/mythril/support/opcodes.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,522 copying build/lib/mythril/support/loader.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,524 copying build/lib/mythril/support/support_utils.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,526 copying build/lib/mythril/support/support_args.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,529 copying build/lib/mythril/support/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/support 2023-12-01T21:08:10,531 creating build/bdist.linux-aarch64/wheel/mythril/laser 2023-12-01T21:08:10,532 copying build/lib/mythril/laser/execution_info.py -> build/bdist.linux-aarch64/wheel/mythril/laser 2023-12-01T21:08:10,535 creating build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,536 copying build/lib/mythril/laser/ethereum/util.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,538 copying build/lib/mythril/laser/ethereum/instructions.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,542 copying build/lib/mythril/laser/ethereum/time_handler.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,544 copying build/lib/mythril/laser/ethereum/svm.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,547 copying build/lib/mythril/laser/ethereum/instruction_data.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,549 copying build/lib/mythril/laser/ethereum/evm_exceptions.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,552 creating build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/function_managers 2023-12-01T21:08:10,553 copying build/lib/mythril/laser/ethereum/function_managers/keccak_function_manager.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/function_managers 2023-12-01T21:08:10,555 copying build/lib/mythril/laser/ethereum/function_managers/exponent_function_manager.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/function_managers 2023-12-01T21:08:10,557 copying build/lib/mythril/laser/ethereum/function_managers/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/function_managers 2023-12-01T21:08:10,559 copying build/lib/mythril/laser/ethereum/natives.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,562 copying build/lib/mythril/laser/ethereum/cheat_code.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,564 copying build/lib/mythril/laser/ethereum/cfg.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,566 creating build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/strategy 2023-12-01T21:08:10,567 copying build/lib/mythril/laser/ethereum/strategy/beam.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/strategy 2023-12-01T21:08:10,569 copying build/lib/mythril/laser/ethereum/strategy/concolic.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/strategy 2023-12-01T21:08:10,572 copying build/lib/mythril/laser/ethereum/strategy/constraint_strategy.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/strategy 2023-12-01T21:08:10,574 copying build/lib/mythril/laser/ethereum/strategy/basic.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/strategy 2023-12-01T21:08:10,576 creating build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/strategy/extensions 2023-12-01T21:08:10,577 copying build/lib/mythril/laser/ethereum/strategy/extensions/bounded_loops.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/strategy/extensions 2023-12-01T21:08:10,580 copying build/lib/mythril/laser/ethereum/strategy/extensions/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/strategy/extensions 2023-12-01T21:08:10,582 copying build/lib/mythril/laser/ethereum/strategy/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/strategy 2023-12-01T21:08:10,584 creating build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/transaction 2023-12-01T21:08:10,585 copying build/lib/mythril/laser/ethereum/transaction/concolic.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/transaction 2023-12-01T21:08:10,588 copying build/lib/mythril/laser/ethereum/transaction/symbolic.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/transaction 2023-12-01T21:08:10,590 copying build/lib/mythril/laser/ethereum/transaction/transaction_models.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/transaction 2023-12-01T21:08:10,592 copying build/lib/mythril/laser/ethereum/transaction/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/transaction 2023-12-01T21:08:10,595 creating build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,596 copying build/lib/mythril/laser/ethereum/state/return_data.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,598 copying build/lib/mythril/laser/ethereum/state/environment.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,600 copying build/lib/mythril/laser/ethereum/state/machine_state.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,602 copying build/lib/mythril/laser/ethereum/state/memory.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,605 copying build/lib/mythril/laser/ethereum/state/world_state.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,607 copying build/lib/mythril/laser/ethereum/state/constraints.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,610 copying build/lib/mythril/laser/ethereum/state/global_state.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,612 copying build/lib/mythril/laser/ethereum/state/calldata.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,614 copying build/lib/mythril/laser/ethereum/state/annotation.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,616 copying build/lib/mythril/laser/ethereum/state/account.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,619 copying build/lib/mythril/laser/ethereum/state/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum/state 2023-12-01T21:08:10,621 copying build/lib/mythril/laser/ethereum/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,622 copying build/lib/mythril/laser/ethereum/call.py -> build/bdist.linux-aarch64/wheel/mythril/laser/ethereum 2023-12-01T21:08:10,625 creating build/bdist.linux-aarch64/wheel/mythril/laser/smt 2023-12-01T21:08:10,626 copying build/lib/mythril/laser/smt/bool.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt 2023-12-01T21:08:10,629 copying build/lib/mythril/laser/smt/model.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt 2023-12-01T21:08:10,631 copying build/lib/mythril/laser/smt/expression.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt 2023-12-01T21:08:10,633 copying build/lib/mythril/laser/smt/bitvec_helper.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt 2023-12-01T21:08:10,636 copying build/lib/mythril/laser/smt/bitvec.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt 2023-12-01T21:08:10,638 creating build/bdist.linux-aarch64/wheel/mythril/laser/smt/solver 2023-12-01T21:08:10,639 copying build/lib/mythril/laser/smt/solver/solver.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt/solver 2023-12-01T21:08:10,642 copying build/lib/mythril/laser/smt/solver/independence_solver.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt/solver 2023-12-01T21:08:10,644 copying build/lib/mythril/laser/smt/solver/solver_statistics.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt/solver 2023-12-01T21:08:10,646 copying build/lib/mythril/laser/smt/solver/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt/solver 2023-12-01T21:08:10,648 copying build/lib/mythril/laser/smt/array.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt 2023-12-01T21:08:10,650 copying build/lib/mythril/laser/smt/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt 2023-12-01T21:08:10,653 copying build/lib/mythril/laser/smt/function.py -> build/bdist.linux-aarch64/wheel/mythril/laser/smt 2023-12-01T21:08:10,655 creating build/bdist.linux-aarch64/wheel/mythril/laser/plugin 2023-12-01T21:08:10,656 copying build/lib/mythril/laser/plugin/interface.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin 2023-12-01T21:08:10,658 copying build/lib/mythril/laser/plugin/builder.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin 2023-12-01T21:08:10,660 creating build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins 2023-12-01T21:08:10,662 creating build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins/summary_backup 2023-12-01T21:08:10,663 copying build/lib/mythril/laser/plugin/plugins/summary_backup/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins/summary_backup 2023-12-01T21:08:10,665 copying build/lib/mythril/laser/plugin/plugins/mutation_pruner.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins 2023-12-01T21:08:10,667 copying build/lib/mythril/laser/plugin/plugins/dependency_pruner.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins 2023-12-01T21:08:10,669 copying build/lib/mythril/laser/plugin/plugins/call_depth_limiter.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins 2023-12-01T21:08:10,672 creating build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins/coverage 2023-12-01T21:08:10,673 copying build/lib/mythril/laser/plugin/plugins/coverage/coverage_strategy.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins/coverage 2023-12-01T21:08:10,675 copying build/lib/mythril/laser/plugin/plugins/coverage/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins/coverage 2023-12-01T21:08:10,677 copying build/lib/mythril/laser/plugin/plugins/coverage/coverage_plugin.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins/coverage 2023-12-01T21:08:10,679 copying build/lib/mythril/laser/plugin/plugins/instruction_profiler.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins 2023-12-01T21:08:10,681 copying build/lib/mythril/laser/plugin/plugins/plugin_annotations.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins 2023-12-01T21:08:10,683 copying build/lib/mythril/laser/plugin/plugins/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins 2023-12-01T21:08:10,685 copying build/lib/mythril/laser/plugin/plugins/benchmark.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin/plugins 2023-12-01T21:08:10,687 copying build/lib/mythril/laser/plugin/signals.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin 2023-12-01T21:08:10,689 copying build/lib/mythril/laser/plugin/loader.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin 2023-12-01T21:08:10,691 copying build/lib/mythril/laser/plugin/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser/plugin 2023-12-01T21:08:10,693 copying build/lib/mythril/laser/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/laser 2023-12-01T21:08:10,695 creating build/bdist.linux-aarch64/wheel/mythril/plugin 2023-12-01T21:08:10,696 copying build/lib/mythril/plugin/discovery.py -> build/bdist.linux-aarch64/wheel/mythril/plugin 2023-12-01T21:08:10,699 copying build/lib/mythril/plugin/interface.py -> build/bdist.linux-aarch64/wheel/mythril/plugin 2023-12-01T21:08:10,701 copying build/lib/mythril/plugin/loader.py -> build/bdist.linux-aarch64/wheel/mythril/plugin 2023-12-01T21:08:10,702 copying build/lib/mythril/plugin/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/plugin 2023-12-01T21:08:10,705 creating build/bdist.linux-aarch64/wheel/mythril/solidity 2023-12-01T21:08:10,706 copying build/lib/mythril/solidity/soliditycontract.py -> build/bdist.linux-aarch64/wheel/mythril/solidity 2023-12-01T21:08:10,709 copying build/lib/mythril/solidity/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/solidity 2023-12-01T21:08:10,710 copying build/lib/mythril/exceptions.py -> build/bdist.linux-aarch64/wheel/mythril 2023-12-01T21:08:10,713 creating build/bdist.linux-aarch64/wheel/mythril/mythril 2023-12-01T21:08:10,713 copying build/lib/mythril/mythril/mythril_disassembler.py -> build/bdist.linux-aarch64/wheel/mythril/mythril 2023-12-01T21:08:10,716 copying build/lib/mythril/mythril/mythril_config.py -> build/bdist.linux-aarch64/wheel/mythril/mythril 2023-12-01T21:08:10,718 copying build/lib/mythril/mythril/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/mythril 2023-12-01T21:08:10,720 copying build/lib/mythril/mythril/mythril_analyzer.py -> build/bdist.linux-aarch64/wheel/mythril/mythril 2023-12-01T21:08:10,723 creating build/bdist.linux-aarch64/wheel/mythril/disassembler 2023-12-01T21:08:10,724 copying build/lib/mythril/disassembler/asm.py -> build/bdist.linux-aarch64/wheel/mythril/disassembler 2023-12-01T21:08:10,726 copying build/lib/mythril/disassembler/disassembly.py -> build/bdist.linux-aarch64/wheel/mythril/disassembler 2023-12-01T21:08:10,729 copying build/lib/mythril/disassembler/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/disassembler 2023-12-01T21:08:10,731 creating build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,732 creating build/bdist.linux-aarch64/wheel/mythril/analysis/module 2023-12-01T21:08:10,733 copying build/lib/mythril/analysis/module/util.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module 2023-12-01T21:08:10,735 copying build/lib/mythril/analysis/module/base.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module 2023-12-01T21:08:10,738 copying build/lib/mythril/analysis/module/module_helpers.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module 2023-12-01T21:08:10,740 copying build/lib/mythril/analysis/module/loader.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module 2023-12-01T21:08:10,742 creating build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,744 copying build/lib/mythril/analysis/module/modules/delegatecall.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,746 copying build/lib/mythril/analysis/module/modules/arbitrary_jump.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,748 copying build/lib/mythril/analysis/module/modules/dependence_on_predictable_vars.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,750 copying build/lib/mythril/analysis/module/modules/multiple_sends.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,753 copying build/lib/mythril/analysis/module/modules/suicide.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,755 copying build/lib/mythril/analysis/module/modules/state_change_external_calls.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,758 copying build/lib/mythril/analysis/module/modules/ether_thief.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,760 copying build/lib/mythril/analysis/module/modules/arbitrary_write.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,762 copying build/lib/mythril/analysis/module/modules/exceptions.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,765 copying build/lib/mythril/analysis/module/modules/dependence_on_origin.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,767 copying build/lib/mythril/analysis/module/modules/integer.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,769 copying build/lib/mythril/analysis/module/modules/user_assertions.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,772 copying build/lib/mythril/analysis/module/modules/external_calls.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,774 copying build/lib/mythril/analysis/module/modules/unchecked_retval.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,776 copying build/lib/mythril/analysis/module/modules/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module/modules 2023-12-01T21:08:10,778 copying build/lib/mythril/analysis/module/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/analysis/module 2023-12-01T21:08:10,779 copying build/lib/mythril/analysis/callgraph.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,782 copying build/lib/mythril/analysis/call_helpers.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,784 copying build/lib/mythril/analysis/swc_data.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,786 copying build/lib/mythril/analysis/solver.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,789 creating build/bdist.linux-aarch64/wheel/mythril/analysis/templates 2023-12-01T21:08:10,789 copying build/lib/mythril/analysis/templates/report_as_text.jinja2 -> build/bdist.linux-aarch64/wheel/mythril/analysis/templates 2023-12-01T21:08:10,792 copying build/lib/mythril/analysis/templates/report_as_markdown.jinja2 -> build/bdist.linux-aarch64/wheel/mythril/analysis/templates 2023-12-01T21:08:10,793 copying build/lib/mythril/analysis/templates/callgraph.html -> build/bdist.linux-aarch64/wheel/mythril/analysis/templates 2023-12-01T21:08:10,795 copying build/lib/mythril/analysis/symbolic.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,798 copying build/lib/mythril/analysis/report.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,801 copying build/lib/mythril/analysis/ops.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,803 copying build/lib/mythril/analysis/potential_issues.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,805 copying build/lib/mythril/analysis/traceexplore.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,807 copying build/lib/mythril/analysis/issue_annotation.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,809 copying build/lib/mythril/analysis/analysis_args.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,811 copying build/lib/mythril/analysis/security.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,813 copying build/lib/mythril/analysis/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/analysis 2023-12-01T21:08:10,814 copying build/lib/mythril/__init__.py -> build/bdist.linux-aarch64/wheel/mythril 2023-12-01T21:08:10,817 creating build/bdist.linux-aarch64/wheel/mythril/concolic 2023-12-01T21:08:10,818 copying build/lib/mythril/concolic/find_trace.py -> build/bdist.linux-aarch64/wheel/mythril/concolic 2023-12-01T21:08:10,820 copying build/lib/mythril/concolic/concolic_execution.py -> build/bdist.linux-aarch64/wheel/mythril/concolic 2023-12-01T21:08:10,822 copying build/lib/mythril/concolic/concrete_data.py -> build/bdist.linux-aarch64/wheel/mythril/concolic 2023-12-01T21:08:10,824 copying build/lib/mythril/concolic/__init__.py -> build/bdist.linux-aarch64/wheel/mythril/concolic 2023-12-01T21:08:10,826 running install_egg_info 2023-12-01T21:08:10,861 Copying smartExecutorx.egg-info to build/bdist.linux-aarch64/wheel/smartExecutorx-0.3-py3.11.egg-info 2023-12-01T21:08:10,875 running install_scripts 2023-12-01T21:08:10,904 creating build/bdist.linux-aarch64/wheel/smartExecutorx-0.3.dist-info/WHEEL 2023-12-01T21:08:10,907 creating '/tmp/pip-wheel-cdg4flvk/smartExecutorx-0.3-py3-none-any.whl' and adding 'build/bdist.linux-aarch64/wheel' to it 2023-12-01T21:08:10,910 adding 'fdg/__init__.py' 2023-12-01T21:08:10,911 adding 'fdg/__version__.py' 2023-12-01T21:08:10,912 adding 'fdg/constraint_check.py' 2023-12-01T21:08:10,914 adding 'fdg/constraint_check_time.py' 2023-12-01T21:08:10,915 adding 'fdg/expression_slot.py' 2023-12-01T21:08:10,918 adding 'fdg/fdg_pruner.py' 2023-12-01T21:08:10,919 adding 'fdg/function_coverage.py' 2023-12-01T21:08:10,922 adding 'fdg/fwrg_manager.py' 2023-12-01T21:08:10,923 adding 'fdg/global_config.py' 2023-12-01T21:08:10,925 adding 'fdg/instruction_modification.py' 2023-12-01T21:08:10,927 adding 'fdg/output_data.py' 2023-12-01T21:08:10,929 adding 'fdg/utils.py' 2023-12-01T21:08:10,930 adding 'fdg/control/__init__.py' 2023-12-01T21:08:10,932 adding 'fdg/control/ftn_search_strategy.py' 2023-12-01T21:08:10,934 adding 'fdg/control/function_assignment.py' 2023-12-01T21:08:10,936 adding 'fdg/control/guider.py' 2023-12-01T21:08:10,942 adding 'fdg/control/mine.py' 2023-12-01T21:08:10,943 adding 'fdg/control/weight_computation.py' 2023-12-01T21:08:10,945 adding 'fdg/preprocessing/__init__.py' 2023-12-01T21:08:10,947 adding 'fdg/preprocessing/address_collection.py' 2023-12-01T21:08:10,949 adding 'fdg/preprocessing/instruction_coverage.py' 2023-12-01T21:08:10,950 adding 'fdg/preprocessing/preprocess.py' 2023-12-01T21:08:10,952 adding 'fdg/preprocessing/read_in_conditions.py' 2023-12-01T21:08:10,954 adding 'fdg/preprocessing/slot_location.py' 2023-12-01T21:08:10,955 adding 'fdg/preprocessing/write_read_info.py' 2023-12-01T21:08:10,957 adding 'mythril/__init__.py' 2023-12-01T21:08:10,958 adding 'mythril/__main__.py' 2023-12-01T21:08:10,960 adding 'mythril/__version__.py' 2023-12-01T21:08:10,961 adding 'mythril/exceptions.py' 2023-12-01T21:08:10,963 adding 'mythril/analysis/__init__.py' 2023-12-01T21:08:10,964 adding 'mythril/analysis/analysis_args.py' 2023-12-01T21:08:10,965 adding 'mythril/analysis/call_helpers.py' 2023-12-01T21:08:10,967 adding 'mythril/analysis/callgraph.py' 2023-12-01T21:08:10,969 adding 'mythril/analysis/issue_annotation.py' 2023-12-01T21:08:10,970 adding 'mythril/analysis/ops.py' 2023-12-01T21:08:10,972 adding 'mythril/analysis/potential_issues.py' 2023-12-01T21:08:10,974 adding 'mythril/analysis/report.py' 2023-12-01T21:08:10,975 adding 'mythril/analysis/security.py' 2023-12-01T21:08:10,977 adding 'mythril/analysis/solver.py' 2023-12-01T21:08:10,978 adding 'mythril/analysis/swc_data.py' 2023-12-01T21:08:10,980 adding 'mythril/analysis/symbolic.py' 2023-12-01T21:08:10,982 adding 'mythril/analysis/traceexplore.py' 2023-12-01T21:08:10,984 adding 'mythril/analysis/module/__init__.py' 2023-12-01T21:08:10,986 adding 'mythril/analysis/module/base.py' 2023-12-01T21:08:10,987 adding 'mythril/analysis/module/loader.py' 2023-12-01T21:08:10,988 adding 'mythril/analysis/module/module_helpers.py' 2023-12-01T21:08:10,990 adding 'mythril/analysis/module/util.py' 2023-12-01T21:08:10,992 adding 'mythril/analysis/module/modules/__init__.py' 2023-12-01T21:08:10,993 adding 'mythril/analysis/module/modules/arbitrary_jump.py' 2023-12-01T21:08:10,995 adding 'mythril/analysis/module/modules/arbitrary_write.py' 2023-12-01T21:08:10,996 adding 'mythril/analysis/module/modules/delegatecall.py' 2023-12-01T21:08:10,998 adding 'mythril/analysis/module/modules/dependence_on_origin.py' 2023-12-01T21:08:11,000 adding 'mythril/analysis/module/modules/dependence_on_predictable_vars.py' 2023-12-01T21:08:11,001 adding 'mythril/analysis/module/modules/ether_thief.py' 2023-12-01T21:08:11,003 adding 'mythril/analysis/module/modules/exceptions.py' 2023-12-01T21:08:11,004 adding 'mythril/analysis/module/modules/external_calls.py' 2023-12-01T21:08:11,006 adding 'mythril/analysis/module/modules/integer.py' 2023-12-01T21:08:11,008 adding 'mythril/analysis/module/modules/multiple_sends.py' 2023-12-01T21:08:11,010 adding 'mythril/analysis/module/modules/state_change_external_calls.py' 2023-12-01T21:08:11,012 adding 'mythril/analysis/module/modules/suicide.py' 2023-12-01T21:08:11,013 adding 'mythril/analysis/module/modules/unchecked_retval.py' 2023-12-01T21:08:11,015 adding 'mythril/analysis/module/modules/user_assertions.py' 2023-12-01T21:08:11,017 adding 'mythril/analysis/templates/callgraph.html' 2023-12-01T21:08:11,018 adding 'mythril/analysis/templates/report_as_markdown.jinja2' 2023-12-01T21:08:11,020 adding 'mythril/analysis/templates/report_as_text.jinja2' 2023-12-01T21:08:11,022 adding 'mythril/concolic/__init__.py' 2023-12-01T21:08:11,023 adding 'mythril/concolic/concolic_execution.py' 2023-12-01T21:08:11,024 adding 'mythril/concolic/concrete_data.py' 2023-12-01T21:08:11,026 adding 'mythril/concolic/find_trace.py' 2023-12-01T21:08:11,028 adding 'mythril/disassembler/__init__.py' 2023-12-01T21:08:11,029 adding 'mythril/disassembler/asm.py' 2023-12-01T21:08:11,031 adding 'mythril/disassembler/disassembly.py' 2023-12-01T21:08:11,033 adding 'mythril/ethereum/__init__.py' 2023-12-01T21:08:11,034 adding 'mythril/ethereum/evmcontract.py' 2023-12-01T21:08:11,036 adding 'mythril/ethereum/util.py' 2023-12-01T21:08:11,038 adding 'mythril/ethereum/interface/__init__.py' 2023-12-01T21:08:11,039 adding 'mythril/ethereum/interface/rpc/__init__.py' 2023-12-01T21:08:11,041 adding 'mythril/ethereum/interface/rpc/base_client.py' 2023-12-01T21:08:11,042 adding 'mythril/ethereum/interface/rpc/client.py' 2023-12-01T21:08:11,043 adding 'mythril/ethereum/interface/rpc/constants.py' 2023-12-01T21:08:11,045 adding 'mythril/ethereum/interface/rpc/exceptions.py' 2023-12-01T21:08:11,046 adding 'mythril/ethereum/interface/rpc/utils.py' 2023-12-01T21:08:11,048 adding 'mythril/interfaces/__init__.py' 2023-12-01T21:08:11,052 adding 'mythril/interfaces/cli.py' 2023-12-01T21:08:11,054 adding 'mythril/interfaces/epic.py' 2023-12-01T21:08:11,056 adding 'mythril/laser/__init__.py' 2023-12-01T21:08:11,057 adding 'mythril/laser/execution_info.py' 2023-12-01T21:08:11,059 adding 'mythril/laser/ethereum/__init__.py' 2023-12-01T21:08:11,061 adding 'mythril/laser/ethereum/call.py' 2023-12-01T21:08:11,062 adding 'mythril/laser/ethereum/cfg.py' 2023-12-01T21:08:11,064 adding 'mythril/laser/ethereum/cheat_code.py' 2023-12-01T21:08:11,065 adding 'mythril/laser/ethereum/evm_exceptions.py' 2023-12-01T21:08:11,066 adding 'mythril/laser/ethereum/instruction_data.py' 2023-12-01T21:08:11,073 adding 'mythril/laser/ethereum/instructions.py' 2023-12-01T21:08:11,076 adding 'mythril/laser/ethereum/natives.py' 2023-12-01T21:08:11,080 adding 'mythril/laser/ethereum/svm.py' 2023-12-01T21:08:11,082 adding 'mythril/laser/ethereum/time_handler.py' 2023-12-01T21:08:11,084 adding 'mythril/laser/ethereum/util.py' 2023-12-01T21:08:11,086 adding 'mythril/laser/ethereum/function_managers/__init__.py' 2023-12-01T21:08:11,087 adding 'mythril/laser/ethereum/function_managers/exponent_function_manager.py' 2023-12-01T21:08:11,089 adding 'mythril/laser/ethereum/function_managers/keccak_function_manager.py' 2023-12-01T21:08:11,091 adding 'mythril/laser/ethereum/state/__init__.py' 2023-12-01T21:08:11,093 adding 'mythril/laser/ethereum/state/account.py' 2023-12-01T21:08:11,094 adding 'mythril/laser/ethereum/state/annotation.py' 2023-12-01T21:08:11,096 adding 'mythril/laser/ethereum/state/calldata.py' 2023-12-01T21:08:11,098 adding 'mythril/laser/ethereum/state/constraints.py' 2023-12-01T21:08:11,100 adding 'mythril/laser/ethereum/state/environment.py' 2023-12-01T21:08:11,102 adding 'mythril/laser/ethereum/state/global_state.py' 2023-12-01T21:08:11,104 adding 'mythril/laser/ethereum/state/machine_state.py' 2023-12-01T21:08:11,106 adding 'mythril/laser/ethereum/state/memory.py' 2023-12-01T21:08:11,107 adding 'mythril/laser/ethereum/state/return_data.py' 2023-12-01T21:08:11,109 adding 'mythril/laser/ethereum/state/world_state.py' 2023-12-01T21:08:11,112 adding 'mythril/laser/ethereum/strategy/__init__.py' 2023-12-01T21:08:11,113 adding 'mythril/laser/ethereum/strategy/basic.py' 2023-12-01T21:08:11,114 adding 'mythril/laser/ethereum/strategy/beam.py' 2023-12-01T21:08:11,116 adding 'mythril/laser/ethereum/strategy/concolic.py' 2023-12-01T21:08:11,117 adding 'mythril/laser/ethereum/strategy/constraint_strategy.py' 2023-12-01T21:08:11,119 adding 'mythril/laser/ethereum/strategy/extensions/__init__.py' 2023-12-01T21:08:11,121 adding 'mythril/laser/ethereum/strategy/extensions/bounded_loops.py' 2023-12-01T21:08:11,122 adding 'mythril/laser/ethereum/transaction/__init__.py' 2023-12-01T21:08:11,124 adding 'mythril/laser/ethereum/transaction/concolic.py' 2023-12-01T21:08:11,126 adding 'mythril/laser/ethereum/transaction/symbolic.py' 2023-12-01T21:08:11,128 adding 'mythril/laser/ethereum/transaction/transaction_models.py' 2023-12-01T21:08:11,130 adding 'mythril/laser/plugin/__init__.py' 2023-12-01T21:08:11,131 adding 'mythril/laser/plugin/builder.py' 2023-12-01T21:08:11,133 adding 'mythril/laser/plugin/interface.py' 2023-12-01T21:08:11,134 adding 'mythril/laser/plugin/loader.py' 2023-12-01T21:08:11,136 adding 'mythril/laser/plugin/signals.py' 2023-12-01T21:08:11,138 adding 'mythril/laser/plugin/plugins/__init__.py' 2023-12-01T21:08:11,139 adding 'mythril/laser/plugin/plugins/benchmark.py' 2023-12-01T21:08:11,141 adding 'mythril/laser/plugin/plugins/call_depth_limiter.py' 2023-12-01T21:08:11,143 adding 'mythril/laser/plugin/plugins/dependency_pruner.py' 2023-12-01T21:08:11,144 adding 'mythril/laser/plugin/plugins/instruction_profiler.py' 2023-12-01T21:08:11,145 adding 'mythril/laser/plugin/plugins/mutation_pruner.py' 2023-12-01T21:08:11,147 adding 'mythril/laser/plugin/plugins/plugin_annotations.py' 2023-12-01T21:08:11,149 adding 'mythril/laser/plugin/plugins/coverage/__init__.py' 2023-12-01T21:08:11,151 adding 'mythril/laser/plugin/plugins/coverage/coverage_plugin.py' 2023-12-01T21:08:11,152 adding 'mythril/laser/plugin/plugins/coverage/coverage_strategy.py' 2023-12-01T21:08:11,154 adding 'mythril/laser/plugin/plugins/summary_backup/__init__.py' 2023-12-01T21:08:11,157 adding 'mythril/laser/smt/__init__.py' 2023-12-01T21:08:11,158 adding 'mythril/laser/smt/array.py' 2023-12-01T21:08:11,160 adding 'mythril/laser/smt/bitvec.py' 2023-12-01T21:08:11,161 adding 'mythril/laser/smt/bitvec_helper.py' 2023-12-01T21:08:11,163 adding 'mythril/laser/smt/bool.py' 2023-12-01T21:08:11,164 adding 'mythril/laser/smt/expression.py' 2023-12-01T21:08:11,166 adding 'mythril/laser/smt/function.py' 2023-12-01T21:08:11,167 adding 'mythril/laser/smt/model.py' 2023-12-01T21:08:11,169 adding 'mythril/laser/smt/solver/__init__.py' 2023-12-01T21:08:11,170 adding 'mythril/laser/smt/solver/independence_solver.py' 2023-12-01T21:08:11,172 adding 'mythril/laser/smt/solver/solver.py' 2023-12-01T21:08:11,173 adding 'mythril/laser/smt/solver/solver_statistics.py' 2023-12-01T21:08:11,175 adding 'mythril/mythril/__init__.py' 2023-12-01T21:08:11,177 adding 'mythril/mythril/mythril_analyzer.py' 2023-12-01T21:08:11,179 adding 'mythril/mythril/mythril_config.py' 2023-12-01T21:08:11,181 adding 'mythril/mythril/mythril_disassembler.py' 2023-12-01T21:08:11,183 adding 'mythril/plugin/__init__.py' 2023-12-01T21:08:11,185 adding 'mythril/plugin/discovery.py' 2023-12-01T21:08:11,186 adding 'mythril/plugin/interface.py' 2023-12-01T21:08:11,188 adding 'mythril/plugin/loader.py' 2023-12-01T21:08:11,190 adding 'mythril/solidity/__init__.py' 2023-12-01T21:08:11,192 adding 'mythril/solidity/soliditycontract.py' 2023-12-01T21:08:11,194 adding 'mythril/support/__init__.py' 2023-12-01T21:08:11,196 adding 'mythril/support/loader.py' 2023-12-01T21:08:11,197 adding 'mythril/support/lock.py' 2023-12-01T21:08:11,198 adding 'mythril/support/model.py' 2023-12-01T21:08:11,200 adding 'mythril/support/opcodes.py' 2023-12-01T21:08:11,202 adding 'mythril/support/signatures.py' 2023-12-01T21:08:11,204 adding 'mythril/support/source_support.py' 2023-12-01T21:08:11,205 adding 'mythril/support/start_time.py' 2023-12-01T21:08:11,206 adding 'mythril/support/support_args.py' 2023-12-01T21:08:11,208 adding 'mythril/support/support_utils.py' 2023-12-01T21:08:12,512 adding 'mythril/support/assets/signatures.db' 2023-12-01T21:08:12,592 adding 'smartExecutorx-0.3.dist-info/LICENSE' 2023-12-01T21:08:12,593 adding 'smartExecutorx-0.3.dist-info/METADATA' 2023-12-01T21:08:12,594 adding 'smartExecutorx-0.3.dist-info/WHEEL' 2023-12-01T21:08:12,595 adding 'smartExecutorx-0.3.dist-info/entry_points.txt' 2023-12-01T21:08:12,596 adding 'smartExecutorx-0.3.dist-info/top_level.txt' 2023-12-01T21:08:12,599 adding 'smartExecutorx-0.3.dist-info/RECORD' 2023-12-01T21:08:12,654 removing build/bdist.linux-aarch64/wheel 2023-12-01T21:08:12,820 Building wheel for smartexecutorx (setup.py): finished with status 'done' 2023-12-01T21:08:12,862 Created wheel for smartexecutorx: filename=smartExecutorx-0.3-py3-none-any.whl size=4651219 sha256=ced3f74cb9c595c6b09375c7ea3f144034a94cf9b898a0a46b5feb0e07f17bc8 2023-12-01T21:08:12,863 Stored in directory: /tmp/pip-ephem-wheel-cache-1n7gc5v6/wheels/5a/eb/ce/2e53b117ea9a0a59e7b9d25b0a8371df930949a4635a133261 2023-12-01T21:08:12,883 Successfully built smartexecutorx 2023-12-01T21:08:13,001 Removed build tracker: '/tmp/pip-build-tracker-qv_lmen9'