2024-05-01T18:31:42,029 Created temporary directory: /tmp/pip-build-tracker-1p4imczm 2024-05-01T18:31:42,030 Initialized build tracking at /tmp/pip-build-tracker-1p4imczm 2024-05-01T18:31:42,031 Created build tracker: /tmp/pip-build-tracker-1p4imczm 2024-05-01T18:31:42,031 Entered build tracker: /tmp/pip-build-tracker-1p4imczm 2024-05-01T18:31:42,032 Created temporary directory: /tmp/pip-wheel-4jx9acen 2024-05-01T18:31:42,035 Created temporary directory: /tmp/pip-ephem-wheel-cache-cn3oznv1 2024-05-01T18:31:42,057 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2024-05-01T18:31:42,061 2 location(s) to search for versions of smartexecutorx: 2024-05-01T18:31:42,061 * https://pypi.org/simple/smartexecutorx/ 2024-05-01T18:31:42,061 * https://www.piwheels.org/simple/smartexecutorx/ 2024-05-01T18:31:42,061 Fetching project page and analyzing links: https://pypi.org/simple/smartexecutorx/ 2024-05-01T18:31:42,062 Getting page https://pypi.org/simple/smartexecutorx/ 2024-05-01T18:31:42,064 Found index url https://pypi.org/simple/ 2024-05-01T18:31:42,321 Fetched page https://pypi.org/simple/smartexecutorx/ as application/vnd.pypi.simple.v1+json 2024-05-01T18:31:42,323 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 2024-05-01T18:31:42,324 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 2024-05-01T18:31:42,325 Found link https://files.pythonhosted.org/packages/76/c2/e5ac47d097f6176c081c9badacf5cd0853aad0faa91c5a9624ded161f3b0/smartExecutorx-4.0.0.tar.gz (from https://pypi.org/simple/smartexecutorx/) (requires-python:>=3.8.0), version: 4.0.0 2024-05-01T18:31:42,326 Fetching project page and analyzing links: https://www.piwheels.org/simple/smartexecutorx/ 2024-05-01T18:31:42,327 Getting page https://www.piwheels.org/simple/smartexecutorx/ 2024-05-01T18:31:42,328 Found index url https://www.piwheels.org/simple/ 2024-05-01T18:31:42,572 Fetched page https://www.piwheels.org/simple/smartexecutorx/ as text/html 2024-05-01T18:31:42,574 Skipping link: No binaries permitted for smartexecutorx: https://www.piwheels.org/simple/smartexecutorx/smartExecutorx-0.3-py3-none-any.whl#sha256=ced3f74cb9c595c6b09375c7ea3f144034a94cf9b898a0a46b5feb0e07f17bc8 (from https://www.piwheels.org/simple/smartexecutorx/) (requires-python:>=3.8.0) 2024-05-01T18:31:42,575 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) 2024-05-01T18:31:42,575 Skipping link: not a file: https://www.piwheels.org/simple/smartexecutorx/ 2024-05-01T18:31:42,576 Skipping link: not a file: https://pypi.org/simple/smartexecutorx/ 2024-05-01T18:31:42,602 Given no hashes to check 1 links for project 'smartexecutorx': discarding no candidates 2024-05-01T18:31:42,628 Collecting smartexecutorx==4.0.0 2024-05-01T18:31:42,631 Created temporary directory: /tmp/pip-unpack-wssg_72g 2024-05-01T18:31:42,860 Downloading smartExecutorx-4.0.0.tar.gz (4.6 MB) 2024-05-01T18:31:44,685 Added smartexecutorx==4.0.0 from https://files.pythonhosted.org/packages/76/c2/e5ac47d097f6176c081c9badacf5cd0853aad0faa91c5a9624ded161f3b0/smartExecutorx-4.0.0.tar.gz to build tracker '/tmp/pip-build-tracker-1p4imczm' 2024-05-01T18:31:44,687 Running setup.py (path:/tmp/pip-wheel-4jx9acen/smartexecutorx_dbfabdacdcf64cf8b195b7da5130b660/setup.py) egg_info for package smartexecutorx 2024-05-01T18:31:44,688 Created temporary directory: /tmp/pip-pip-egg-info-cmvwuecx 2024-05-01T18:31:44,689 Preparing metadata (setup.py): started 2024-05-01T18:31:44,690 Running command python setup.py egg_info 2024-05-01T18:31:45,841 running egg_info 2024-05-01T18:31:45,842 creating /tmp/pip-pip-egg-info-cmvwuecx/smartExecutorx.egg-info 2024-05-01T18:31:45,867 writing /tmp/pip-pip-egg-info-cmvwuecx/smartExecutorx.egg-info/PKG-INFO 2024-05-01T18:31:45,871 writing dependency_links to /tmp/pip-pip-egg-info-cmvwuecx/smartExecutorx.egg-info/dependency_links.txt 2024-05-01T18:31:45,873 writing entry points to /tmp/pip-pip-egg-info-cmvwuecx/smartExecutorx.egg-info/entry_points.txt 2024-05-01T18:31:45,875 writing requirements to /tmp/pip-pip-egg-info-cmvwuecx/smartExecutorx.egg-info/requires.txt 2024-05-01T18:31:45,876 writing top-level names to /tmp/pip-pip-egg-info-cmvwuecx/smartExecutorx.egg-info/top_level.txt 2024-05-01T18:31:45,877 writing manifest file '/tmp/pip-pip-egg-info-cmvwuecx/smartExecutorx.egg-info/SOURCES.txt' 2024-05-01T18:31:45,992 reading manifest file '/tmp/pip-pip-egg-info-cmvwuecx/smartExecutorx.egg-info/SOURCES.txt' 2024-05-01T18:31:45,993 reading manifest template 'MANIFEST.in' 2024-05-01T18:31:45,995 warning: no files found matching 'images/*' 2024-05-01T18:31:45,996 adding license file 'LICENSE' 2024-05-01T18:31:46,002 writing manifest file '/tmp/pip-pip-egg-info-cmvwuecx/smartExecutorx.egg-info/SOURCES.txt' 2024-05-01T18:31:46,121 Preparing metadata (setup.py): finished with status 'done' 2024-05-01T18:31:46,126 Source in /tmp/pip-wheel-4jx9acen/smartexecutorx_dbfabdacdcf64cf8b195b7da5130b660 has version 4.0.0, which satisfies requirement smartexecutorx==4.0.0 from https://files.pythonhosted.org/packages/76/c2/e5ac47d097f6176c081c9badacf5cd0853aad0faa91c5a9624ded161f3b0/smartExecutorx-4.0.0.tar.gz 2024-05-01T18:31:46,127 Removed smartexecutorx==4.0.0 from https://files.pythonhosted.org/packages/76/c2/e5ac47d097f6176c081c9badacf5cd0853aad0faa91c5a9624ded161f3b0/smartExecutorx-4.0.0.tar.gz from build tracker '/tmp/pip-build-tracker-1p4imczm' 2024-05-01T18:31:46,134 Created temporary directory: /tmp/pip-unpack-7ox3s6_4 2024-05-01T18:31:46,135 Created temporary directory: /tmp/pip-unpack-gf9np487 2024-05-01T18:31:46,186 Building wheels for collected packages: smartexecutorx 2024-05-01T18:31:46,191 Created temporary directory: /tmp/pip-wheel-dyvxrjzo 2024-05-01T18:31:46,191 Building wheel for smartexecutorx (setup.py): started 2024-05-01T18:31:46,193 Destination directory: /tmp/pip-wheel-dyvxrjzo 2024-05-01T18:31:46,193 Running command python setup.py bdist_wheel 2024-05-01T18:31:47,279 running bdist_wheel 2024-05-01T18:31:47,375 running build 2024-05-01T18:31:47,376 running build_py 2024-05-01T18:31:47,404 creating build 2024-05-01T18:31:47,405 creating build/lib 2024-05-01T18:31:47,406 creating build/lib/fdg 2024-05-01T18:31:47,407 copying fdg/function_coverage.py -> build/lib/fdg 2024-05-01T18:31:47,410 copying fdg/output_data.py -> build/lib/fdg 2024-05-01T18:31:47,413 copying fdg/fdg_pruner.py -> build/lib/fdg 2024-05-01T18:31:47,415 copying fdg/__version__.py -> build/lib/fdg 2024-05-01T18:31:47,417 copying fdg/instruction_modification.py -> build/lib/fdg 2024-05-01T18:31:47,421 copying fdg/global_config.py -> build/lib/fdg 2024-05-01T18:31:47,423 copying fdg/utils.py -> build/lib/fdg 2024-05-01T18:31:47,425 copying fdg/expression_slot.py -> build/lib/fdg 2024-05-01T18:31:47,427 copying fdg/__init__.py -> build/lib/fdg 2024-05-01T18:31:47,429 copying fdg/fwrg_manager.py -> build/lib/fdg 2024-05-01T18:31:47,433 creating build/lib/mythril 2024-05-01T18:31:47,434 copying mythril/__main__.py -> build/lib/mythril 2024-05-01T18:31:47,436 copying mythril/exceptions.py -> build/lib/mythril 2024-05-01T18:31:47,438 copying mythril/__version__.py -> build/lib/mythril 2024-05-01T18:31:47,440 copying mythril/__init__.py -> build/lib/mythril 2024-05-01T18:31:47,443 creating build/lib/fdg/control 2024-05-01T18:31:47,444 copying fdg/control/function_assignment.py -> build/lib/fdg/control 2024-05-01T18:31:47,447 copying fdg/control/mine.py -> build/lib/fdg/control 2024-05-01T18:31:47,450 copying fdg/control/weight_computation.py -> build/lib/fdg/control 2024-05-01T18:31:47,452 copying fdg/control/__init__.py -> build/lib/fdg/control 2024-05-01T18:31:47,454 copying fdg/control/ftn_search_strategy.py -> build/lib/fdg/control 2024-05-01T18:31:47,457 copying fdg/control/guider.py -> build/lib/fdg/control 2024-05-01T18:31:47,460 creating build/lib/fdg/preprocessing 2024-05-01T18:31:47,461 copying fdg/preprocessing/slot_location.py -> build/lib/fdg/preprocessing 2024-05-01T18:31:47,463 copying fdg/preprocessing/address_collection.py -> build/lib/fdg/preprocessing 2024-05-01T18:31:47,465 copying fdg/preprocessing/write_read_info.py -> build/lib/fdg/preprocessing 2024-05-01T18:31:47,468 copying fdg/preprocessing/instruction_coverage.py -> build/lib/fdg/preprocessing 2024-05-01T18:31:47,470 copying fdg/preprocessing/preprocess.py -> build/lib/fdg/preprocessing 2024-05-01T18:31:47,473 copying fdg/preprocessing/read_in_conditions.py -> build/lib/fdg/preprocessing 2024-05-01T18:31:47,475 copying fdg/preprocessing/__init__.py -> build/lib/fdg/preprocessing 2024-05-01T18:31:47,477 creating build/lib/mythril/support 2024-05-01T18:31:47,478 copying mythril/support/loader.py -> build/lib/mythril/support 2024-05-01T18:31:47,480 copying mythril/support/model.py -> build/lib/mythril/support 2024-05-01T18:31:47,482 copying mythril/support/signatures.py -> build/lib/mythril/support 2024-05-01T18:31:47,485 copying mythril/support/lock.py -> build/lib/mythril/support 2024-05-01T18:31:47,487 copying mythril/support/support_args.py -> build/lib/mythril/support 2024-05-01T18:31:47,489 copying mythril/support/opcodes.py -> build/lib/mythril/support 2024-05-01T18:31:47,491 copying mythril/support/support_utils.py -> build/lib/mythril/support 2024-05-01T18:31:47,494 copying mythril/support/__init__.py -> build/lib/mythril/support 2024-05-01T18:31:47,496 copying mythril/support/start_time.py -> build/lib/mythril/support 2024-05-01T18:31:47,498 copying mythril/support/source_support.py -> build/lib/mythril/support 2024-05-01T18:31:47,500 creating build/lib/mythril/ethereum 2024-05-01T18:31:47,501 copying mythril/ethereum/evmcontract.py -> build/lib/mythril/ethereum 2024-05-01T18:31:47,504 copying mythril/ethereum/util.py -> build/lib/mythril/ethereum 2024-05-01T18:31:47,506 copying mythril/ethereum/__init__.py -> build/lib/mythril/ethereum 2024-05-01T18:31:47,509 creating build/lib/mythril/plugin 2024-05-01T18:31:47,510 copying mythril/plugin/loader.py -> build/lib/mythril/plugin 2024-05-01T18:31:47,512 copying mythril/plugin/discovery.py -> build/lib/mythril/plugin 2024-05-01T18:31:47,514 copying mythril/plugin/interface.py -> build/lib/mythril/plugin 2024-05-01T18:31:47,516 copying mythril/plugin/__init__.py -> build/lib/mythril/plugin 2024-05-01T18:31:47,520 creating build/lib/mythril/solidity 2024-05-01T18:31:47,521 copying mythril/solidity/soliditycontract.py -> build/lib/mythril/solidity 2024-05-01T18:31:47,524 copying mythril/solidity/__init__.py -> build/lib/mythril/solidity 2024-05-01T18:31:47,526 creating build/lib/mythril/interfaces 2024-05-01T18:31:47,527 copying mythril/interfaces/cli.py -> build/lib/mythril/interfaces 2024-05-01T18:31:47,531 copying mythril/interfaces/epic.py -> build/lib/mythril/interfaces 2024-05-01T18:31:47,533 copying mythril/interfaces/__init__.py -> build/lib/mythril/interfaces 2024-05-01T18:31:47,535 creating build/lib/mythril/laser 2024-05-01T18:31:47,537 copying mythril/laser/execution_info.py -> build/lib/mythril/laser 2024-05-01T18:31:47,539 copying mythril/laser/__init__.py -> build/lib/mythril/laser 2024-05-01T18:31:47,541 creating build/lib/mythril/disassembler 2024-05-01T18:31:47,542 copying mythril/disassembler/disassembly.py -> build/lib/mythril/disassembler 2024-05-01T18:31:47,545 copying mythril/disassembler/__init__.py -> build/lib/mythril/disassembler 2024-05-01T18:31:47,547 copying mythril/disassembler/asm.py -> build/lib/mythril/disassembler 2024-05-01T18:31:47,550 creating build/lib/mythril/concolic 2024-05-01T18:31:47,551 copying mythril/concolic/concrete_data.py -> build/lib/mythril/concolic 2024-05-01T18:31:47,553 copying mythril/concolic/find_trace.py -> build/lib/mythril/concolic 2024-05-01T18:31:47,556 copying mythril/concolic/__init__.py -> build/lib/mythril/concolic 2024-05-01T18:31:47,557 copying mythril/concolic/concolic_execution.py -> build/lib/mythril/concolic 2024-05-01T18:31:47,560 creating build/lib/mythril/mythril 2024-05-01T18:31:47,561 copying mythril/mythril/mythril_analyzer.py -> build/lib/mythril/mythril 2024-05-01T18:31:47,564 copying mythril/mythril/mythril_disassembler.py -> build/lib/mythril/mythril 2024-05-01T18:31:47,566 copying mythril/mythril/mythril_config.py -> build/lib/mythril/mythril 2024-05-01T18:31:47,569 copying mythril/mythril/__init__.py -> build/lib/mythril/mythril 2024-05-01T18:31:47,571 creating build/lib/mythril/analysis 2024-05-01T18:31:47,573 copying mythril/analysis/security.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,575 copying mythril/analysis/ops.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,577 copying mythril/analysis/swc_data.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,579 copying mythril/analysis/symbolic.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,581 copying mythril/analysis/issue_annotation.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,583 copying mythril/analysis/call_helpers.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,585 copying mythril/analysis/traceexplore.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,588 copying mythril/analysis/solver.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,590 copying mythril/analysis/analysis_args.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,592 copying mythril/analysis/report.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,595 copying mythril/analysis/__init__.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,596 copying mythril/analysis/callgraph.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,599 copying mythril/analysis/potential_issues.py -> build/lib/mythril/analysis 2024-05-01T18:31:47,601 creating build/lib/mythril/ethereum/interface 2024-05-01T18:31:47,603 copying mythril/ethereum/interface/__init__.py -> build/lib/mythril/ethereum/interface 2024-05-01T18:31:47,605 creating build/lib/mythril/ethereum/interface/rpc 2024-05-01T18:31:47,606 copying mythril/ethereum/interface/rpc/exceptions.py -> build/lib/mythril/ethereum/interface/rpc 2024-05-01T18:31:47,609 copying mythril/ethereum/interface/rpc/constants.py -> build/lib/mythril/ethereum/interface/rpc 2024-05-01T18:31:47,611 copying mythril/ethereum/interface/rpc/base_client.py -> build/lib/mythril/ethereum/interface/rpc 2024-05-01T18:31:47,613 copying mythril/ethereum/interface/rpc/client.py -> build/lib/mythril/ethereum/interface/rpc 2024-05-01T18:31:47,615 copying mythril/ethereum/interface/rpc/utils.py -> build/lib/mythril/ethereum/interface/rpc 2024-05-01T18:31:47,617 copying mythril/ethereum/interface/rpc/__init__.py -> build/lib/mythril/ethereum/interface/rpc 2024-05-01T18:31:47,619 creating build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,621 copying mythril/laser/ethereum/call.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,623 copying mythril/laser/ethereum/util.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,626 copying mythril/laser/ethereum/instructions.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,630 copying mythril/laser/ethereum/instruction_data.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,632 copying mythril/laser/ethereum/evm_exceptions.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,634 copying mythril/laser/ethereum/svm.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,638 copying mythril/laser/ethereum/time_handler.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,640 copying mythril/laser/ethereum/cheat_code.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,642 copying mythril/laser/ethereum/__init__.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,644 copying mythril/laser/ethereum/natives.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,647 copying mythril/laser/ethereum/cfg.py -> build/lib/mythril/laser/ethereum 2024-05-01T18:31:47,649 creating build/lib/mythril/laser/plugin 2024-05-01T18:31:47,650 copying mythril/laser/plugin/loader.py -> build/lib/mythril/laser/plugin 2024-05-01T18:31:47,653 copying mythril/laser/plugin/signals.py -> build/lib/mythril/laser/plugin 2024-05-01T18:31:47,654 copying mythril/laser/plugin/interface.py -> build/lib/mythril/laser/plugin 2024-05-01T18:31:47,657 copying mythril/laser/plugin/builder.py -> build/lib/mythril/laser/plugin 2024-05-01T18:31:47,659 copying mythril/laser/plugin/__init__.py -> build/lib/mythril/laser/plugin 2024-05-01T18:31:47,661 creating build/lib/mythril/laser/smt 2024-05-01T18:31:47,663 copying mythril/laser/smt/model.py -> build/lib/mythril/laser/smt 2024-05-01T18:31:47,665 copying mythril/laser/smt/function.py -> build/lib/mythril/laser/smt 2024-05-01T18:31:47,667 copying mythril/laser/smt/expression.py -> build/lib/mythril/laser/smt 2024-05-01T18:31:47,669 copying mythril/laser/smt/bitvec_helper.py -> build/lib/mythril/laser/smt 2024-05-01T18:31:47,671 copying mythril/laser/smt/bool.py -> build/lib/mythril/laser/smt 2024-05-01T18:31:47,674 copying mythril/laser/smt/array.py -> build/lib/mythril/laser/smt 2024-05-01T18:31:47,676 copying mythril/laser/smt/bitvec.py -> build/lib/mythril/laser/smt 2024-05-01T18:31:47,678 copying mythril/laser/smt/__init__.py -> build/lib/mythril/laser/smt 2024-05-01T18:31:47,682 creating build/lib/mythril/laser/ethereum/strategy 2024-05-01T18:31:47,683 copying mythril/laser/ethereum/strategy/basic.py -> build/lib/mythril/laser/ethereum/strategy 2024-05-01T18:31:47,685 copying mythril/laser/ethereum/strategy/concolic.py -> build/lib/mythril/laser/ethereum/strategy 2024-05-01T18:31:47,687 copying mythril/laser/ethereum/strategy/constraint_strategy.py -> build/lib/mythril/laser/ethereum/strategy 2024-05-01T18:31:47,690 copying mythril/laser/ethereum/strategy/__init__.py -> build/lib/mythril/laser/ethereum/strategy 2024-05-01T18:31:47,692 copying mythril/laser/ethereum/strategy/beam.py -> build/lib/mythril/laser/ethereum/strategy 2024-05-01T18:31:47,694 creating build/lib/mythril/laser/ethereum/transaction 2024-05-01T18:31:47,696 copying mythril/laser/ethereum/transaction/concolic.py -> build/lib/mythril/laser/ethereum/transaction 2024-05-01T18:31:47,698 copying mythril/laser/ethereum/transaction/symbolic.py -> build/lib/mythril/laser/ethereum/transaction 2024-05-01T18:31:47,701 copying mythril/laser/ethereum/transaction/__init__.py -> build/lib/mythril/laser/ethereum/transaction 2024-05-01T18:31:47,703 copying mythril/laser/ethereum/transaction/transaction_models.py -> build/lib/mythril/laser/ethereum/transaction 2024-05-01T18:31:47,706 creating build/lib/mythril/laser/ethereum/function_managers 2024-05-01T18:31:47,707 copying mythril/laser/ethereum/function_managers/keccak_function_manager.py -> build/lib/mythril/laser/ethereum/function_managers 2024-05-01T18:31:47,710 copying mythril/laser/ethereum/function_managers/exponent_function_manager.py -> build/lib/mythril/laser/ethereum/function_managers 2024-05-01T18:31:47,712 copying mythril/laser/ethereum/function_managers/__init__.py -> build/lib/mythril/laser/ethereum/function_managers 2024-05-01T18:31:47,715 creating build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,716 copying mythril/laser/ethereum/state/annotation.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,718 copying mythril/laser/ethereum/state/machine_state.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,721 copying mythril/laser/ethereum/state/environment.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,723 copying mythril/laser/ethereum/state/constraints.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,725 copying mythril/laser/ethereum/state/return_data.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,727 copying mythril/laser/ethereum/state/global_state.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,729 copying mythril/laser/ethereum/state/calldata.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,731 copying mythril/laser/ethereum/state/__init__.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,733 copying mythril/laser/ethereum/state/account.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,735 copying mythril/laser/ethereum/state/world_state.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,737 copying mythril/laser/ethereum/state/memory.py -> build/lib/mythril/laser/ethereum/state 2024-05-01T18:31:47,739 creating build/lib/mythril/laser/ethereum/strategy/extensions 2024-05-01T18:31:47,740 copying mythril/laser/ethereum/strategy/extensions/bounded_loops.py -> build/lib/mythril/laser/ethereum/strategy/extensions 2024-05-01T18:31:47,742 copying mythril/laser/ethereum/strategy/extensions/__init__.py -> build/lib/mythril/laser/ethereum/strategy/extensions 2024-05-01T18:31:47,744 creating build/lib/mythril/laser/plugin/plugins 2024-05-01T18:31:47,745 copying mythril/laser/plugin/plugins/mutation_pruner.py -> build/lib/mythril/laser/plugin/plugins 2024-05-01T18:31:47,747 copying mythril/laser/plugin/plugins/call_depth_limiter.py -> build/lib/mythril/laser/plugin/plugins 2024-05-01T18:31:47,749 copying mythril/laser/plugin/plugins/instruction_profiler.py -> build/lib/mythril/laser/plugin/plugins 2024-05-01T18:31:47,751 copying mythril/laser/plugin/plugins/plugin_annotations.py -> build/lib/mythril/laser/plugin/plugins 2024-05-01T18:31:47,753 copying mythril/laser/plugin/plugins/__init__.py -> build/lib/mythril/laser/plugin/plugins 2024-05-01T18:31:47,754 copying mythril/laser/plugin/plugins/dependency_pruner.py -> build/lib/mythril/laser/plugin/plugins 2024-05-01T18:31:47,757 copying mythril/laser/plugin/plugins/benchmark.py -> build/lib/mythril/laser/plugin/plugins 2024-05-01T18:31:47,759 creating build/lib/mythril/laser/plugin/plugins/summary_backup 2024-05-01T18:31:47,760 copying mythril/laser/plugin/plugins/summary_backup/__init__.py -> build/lib/mythril/laser/plugin/plugins/summary_backup 2024-05-01T18:31:47,761 creating build/lib/mythril/laser/plugin/plugins/coverage 2024-05-01T18:31:47,762 copying mythril/laser/plugin/plugins/coverage/coverage_strategy.py -> build/lib/mythril/laser/plugin/plugins/coverage 2024-05-01T18:31:47,764 copying mythril/laser/plugin/plugins/coverage/coverage_plugin.py -> build/lib/mythril/laser/plugin/plugins/coverage 2024-05-01T18:31:47,766 copying mythril/laser/plugin/plugins/coverage/__init__.py -> build/lib/mythril/laser/plugin/plugins/coverage 2024-05-01T18:31:47,768 creating build/lib/mythril/laser/smt/solver 2024-05-01T18:31:47,769 copying mythril/laser/smt/solver/solver_statistics.py -> build/lib/mythril/laser/smt/solver 2024-05-01T18:31:47,771 copying mythril/laser/smt/solver/solver.py -> build/lib/mythril/laser/smt/solver 2024-05-01T18:31:47,773 copying mythril/laser/smt/solver/independence_solver.py -> build/lib/mythril/laser/smt/solver 2024-05-01T18:31:47,775 copying mythril/laser/smt/solver/__init__.py -> build/lib/mythril/laser/smt/solver 2024-05-01T18:31:47,778 creating build/lib/mythril/analysis/module 2024-05-01T18:31:47,779 copying mythril/analysis/module/loader.py -> build/lib/mythril/analysis/module 2024-05-01T18:31:47,781 copying mythril/analysis/module/base.py -> build/lib/mythril/analysis/module 2024-05-01T18:31:47,783 copying mythril/analysis/module/util.py -> build/lib/mythril/analysis/module 2024-05-01T18:31:47,785 copying mythril/analysis/module/module_helpers.py -> build/lib/mythril/analysis/module 2024-05-01T18:31:47,786 copying mythril/analysis/module/__init__.py -> build/lib/mythril/analysis/module 2024-05-01T18:31:47,789 creating build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,790 copying mythril/analysis/module/modules/state_change_external_calls.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,792 copying mythril/analysis/module/modules/multiple_sends.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,794 copying mythril/analysis/module/modules/ether_thief.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,796 copying mythril/analysis/module/modules/user_assertions.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,798 copying mythril/analysis/module/modules/external_calls.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,800 copying mythril/analysis/module/modules/unchecked_retval.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,802 copying mythril/analysis/module/modules/exceptions.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,804 copying mythril/analysis/module/modules/dependence_on_predictable_vars.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,806 copying mythril/analysis/module/modules/delegatecall.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,808 copying mythril/analysis/module/modules/__init__.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,809 copying mythril/analysis/module/modules/integer.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,812 copying mythril/analysis/module/modules/arbitrary_write.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,813 copying mythril/analysis/module/modules/dependence_on_origin.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,816 copying mythril/analysis/module/modules/suicide.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,818 copying mythril/analysis/module/modules/arbitrary_jump.py -> build/lib/mythril/analysis/module/modules 2024-05-01T18:31:47,820 running egg_info 2024-05-01T18:31:47,877 writing smartExecutorx.egg-info/PKG-INFO 2024-05-01T18:31:47,881 writing dependency_links to smartExecutorx.egg-info/dependency_links.txt 2024-05-01T18:31:47,883 writing entry points to smartExecutorx.egg-info/entry_points.txt 2024-05-01T18:31:47,884 writing requirements to smartExecutorx.egg-info/requires.txt 2024-05-01T18:31:47,886 writing top-level names to smartExecutorx.egg-info/top_level.txt 2024-05-01T18:31:47,938 reading manifest file 'smartExecutorx.egg-info/SOURCES.txt' 2024-05-01T18:31:47,948 reading manifest template 'MANIFEST.in' 2024-05-01T18:31:47,950 warning: no files found matching 'images/*' 2024-05-01T18:31:47,950 adding license file 'LICENSE' 2024-05-01T18:31:47,960 writing manifest file 'smartExecutorx.egg-info/SOURCES.txt' 2024-05-01T18:31:47,963 /usr/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:207: _Warning: Package 'mythril.analysis.templates' is absent from the `packages` configuration. 2024-05-01T18:31:47,963 !! 2024-05-01T18:31:47,964 ******************************************************************************** 2024-05-01T18:31:47,965 ############################ 2024-05-01T18:31:47,965 # Package would be ignored # 2024-05-01T18:31:47,966 ############################ 2024-05-01T18:31:47,966 Python recognizes 'mythril.analysis.templates' as an importable package[^1], 2024-05-01T18:31:47,967 but it is absent from setuptools' `packages` configuration. 2024-05-01T18:31:47,968 This leads to an ambiguous overall configuration. If you want to distribute this 2024-05-01T18:31:47,968 package, please make sure that 'mythril.analysis.templates' is explicitly added 2024-05-01T18:31:47,969 to the `packages` configuration field. 2024-05-01T18:31:47,970 Alternatively, you can also rely on setuptools' discovery methods 2024-05-01T18:31:47,970 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2024-05-01T18:31:47,971 instead of `find_packages(...)`/`find:`). 2024-05-01T18:31:47,972 You can read more about "package discovery" on setuptools documentation page: 2024-05-01T18:31:47,973 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2024-05-01T18:31:47,974 If you don't want 'mythril.analysis.templates' to be distributed and are 2024-05-01T18:31:47,975 already explicitly excluding 'mythril.analysis.templates' via 2024-05-01T18:31:47,975 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2024-05-01T18:31:47,975 you can try to use `exclude_package_data`, or `include-package-data=False` in 2024-05-01T18:31:47,976 combination with a more fine grained `package-data` configuration. 2024-05-01T18:31:47,977 You can read more about "package data files" on setuptools documentation page: 2024-05-01T18:31:47,978 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2024-05-01T18:31:47,979 [^1]: For Python, any directory (with suitable naming) can be imported, 2024-05-01T18:31:47,980 even if it does not contain any `.py` files. 2024-05-01T18:31:47,980 On the other hand, currently there is no concept of package data 2024-05-01T18:31:47,980 directory, all directories are treated like packages. 2024-05-01T18:31:47,981 ******************************************************************************** 2024-05-01T18:31:47,982 !! 2024-05-01T18:31:47,982 check.warn(importable) 2024-05-01T18:31:47,983 /usr/local/lib/python3.11/dist-packages/setuptools/command/build_py.py:207: _Warning: Package 'mythril.support.assets' is absent from the `packages` configuration. 2024-05-01T18:31:47,983 !! 2024-05-01T18:31:47,984 ******************************************************************************** 2024-05-01T18:31:47,985 ############################ 2024-05-01T18:31:47,985 # Package would be ignored # 2024-05-01T18:31:47,986 ############################ 2024-05-01T18:31:47,986 Python recognizes 'mythril.support.assets' as an importable package[^1], 2024-05-01T18:31:47,987 but it is absent from setuptools' `packages` configuration. 2024-05-01T18:31:47,988 This leads to an ambiguous overall configuration. If you want to distribute this 2024-05-01T18:31:47,988 package, please make sure that 'mythril.support.assets' is explicitly added 2024-05-01T18:31:47,989 to the `packages` configuration field. 2024-05-01T18:31:47,990 Alternatively, you can also rely on setuptools' discovery methods 2024-05-01T18:31:47,990 (for example by using `find_namespace_packages(...)`/`find_namespace:` 2024-05-01T18:31:47,991 instead of `find_packages(...)`/`find:`). 2024-05-01T18:31:47,992 You can read more about "package discovery" on setuptools documentation page: 2024-05-01T18:31:47,993 - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html 2024-05-01T18:31:47,994 If you don't want 'mythril.support.assets' to be distributed and are 2024-05-01T18:31:47,995 already explicitly excluding 'mythril.support.assets' via 2024-05-01T18:31:47,995 `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, 2024-05-01T18:31:47,996 you can try to use `exclude_package_data`, or `include-package-data=False` in 2024-05-01T18:31:47,996 combination with a more fine grained `package-data` configuration. 2024-05-01T18:31:47,997 You can read more about "package data files" on setuptools documentation page: 2024-05-01T18:31:47,999 - https://setuptools.pypa.io/en/latest/userguide/datafiles.html 2024-05-01T18:31:48,000 [^1]: For Python, any directory (with suitable naming) can be imported, 2024-05-01T18:31:48,001 even if it does not contain any `.py` files. 2024-05-01T18:31:48,001 On the other hand, currently there is no concept of package data 2024-05-01T18:31:48,002 directory, all directories are treated like packages. 2024-05-01T18:31:48,002 ******************************************************************************** 2024-05-01T18:31:48,003 !! 2024-05-01T18:31:48,004 check.warn(importable) 2024-05-01T18:31:48,005 creating build/lib/mythril/support/assets 2024-05-01T18:31:48,005 copying mythril/support/assets/signatures.db -> build/lib/mythril/support/assets 2024-05-01T18:31:48,162 creating build/lib/mythril/analysis/templates 2024-05-01T18:31:48,163 copying mythril/analysis/templates/callgraph.html -> build/lib/mythril/analysis/templates 2024-05-01T18:31:48,165 copying mythril/analysis/templates/report_as_markdown.jinja2 -> build/lib/mythril/analysis/templates 2024-05-01T18:31:48,167 copying mythril/analysis/templates/report_as_text.jinja2 -> build/lib/mythril/analysis/templates 2024-05-01T18:31:48,209 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2024-05-01T18:31:48,209 !! 2024-05-01T18:31:48,210 ******************************************************************************** 2024-05-01T18:31:48,211 Please avoid running ``setup.py`` directly. 2024-05-01T18:31:48,211 Instead, use pypa/build, pypa/installer or other 2024-05-01T18:31:48,211 standards-based tools. 2024-05-01T18:31:48,213 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2024-05-01T18:31:48,213 ******************************************************************************** 2024-05-01T18:31:48,214 !! 2024-05-01T18:31:48,215 self.initialize_options() 2024-05-01T18:31:48,235 installing to build/bdist.linux-armv7l/wheel 2024-05-01T18:31:48,236 running install 2024-05-01T18:31:48,260 running install_lib 2024-05-01T18:31:48,285 creating build/bdist.linux-armv7l 2024-05-01T18:31:48,286 creating build/bdist.linux-armv7l/wheel 2024-05-01T18:31:48,287 creating build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,288 copying build/lib/fdg/function_coverage.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,291 creating build/bdist.linux-armv7l/wheel/fdg/control 2024-05-01T18:31:48,292 copying build/lib/fdg/control/function_assignment.py -> build/bdist.linux-armv7l/wheel/fdg/control 2024-05-01T18:31:48,294 copying build/lib/fdg/control/mine.py -> build/bdist.linux-armv7l/wheel/fdg/control 2024-05-01T18:31:48,297 copying build/lib/fdg/control/weight_computation.py -> build/bdist.linux-armv7l/wheel/fdg/control 2024-05-01T18:31:48,299 copying build/lib/fdg/control/__init__.py -> build/bdist.linux-armv7l/wheel/fdg/control 2024-05-01T18:31:48,301 copying build/lib/fdg/control/ftn_search_strategy.py -> build/bdist.linux-armv7l/wheel/fdg/control 2024-05-01T18:31:48,303 copying build/lib/fdg/control/guider.py -> build/bdist.linux-armv7l/wheel/fdg/control 2024-05-01T18:31:48,305 copying build/lib/fdg/output_data.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,307 copying build/lib/fdg/fdg_pruner.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,310 copying build/lib/fdg/__version__.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,312 copying build/lib/fdg/instruction_modification.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,315 copying build/lib/fdg/global_config.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,317 copying build/lib/fdg/utils.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,319 copying build/lib/fdg/expression_slot.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,321 copying build/lib/fdg/__init__.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,323 creating build/bdist.linux-armv7l/wheel/fdg/preprocessing 2024-05-01T18:31:48,324 copying build/lib/fdg/preprocessing/slot_location.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2024-05-01T18:31:48,327 copying build/lib/fdg/preprocessing/address_collection.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2024-05-01T18:31:48,329 copying build/lib/fdg/preprocessing/write_read_info.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2024-05-01T18:31:48,331 copying build/lib/fdg/preprocessing/instruction_coverage.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2024-05-01T18:31:48,333 copying build/lib/fdg/preprocessing/preprocess.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2024-05-01T18:31:48,335 copying build/lib/fdg/preprocessing/read_in_conditions.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2024-05-01T18:31:48,337 copying build/lib/fdg/preprocessing/__init__.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing 2024-05-01T18:31:48,339 copying build/lib/fdg/fwrg_manager.py -> build/bdist.linux-armv7l/wheel/fdg 2024-05-01T18:31:48,341 creating build/bdist.linux-armv7l/wheel/mythril 2024-05-01T18:31:48,343 creating build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,344 copying build/lib/mythril/support/loader.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,346 copying build/lib/mythril/support/model.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,348 copying build/lib/mythril/support/signatures.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,350 copying build/lib/mythril/support/lock.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,352 copying build/lib/mythril/support/support_args.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,354 copying build/lib/mythril/support/opcodes.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,356 creating build/bdist.linux-armv7l/wheel/mythril/support/assets 2024-05-01T18:31:48,357 copying build/lib/mythril/support/assets/signatures.db -> build/bdist.linux-armv7l/wheel/mythril/support/assets 2024-05-01T18:31:48,535 copying build/lib/mythril/support/support_utils.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,537 copying build/lib/mythril/support/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,538 copying build/lib/mythril/support/start_time.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,540 copying build/lib/mythril/support/source_support.py -> build/bdist.linux-armv7l/wheel/mythril/support 2024-05-01T18:31:48,542 creating build/bdist.linux-armv7l/wheel/mythril/ethereum 2024-05-01T18:31:48,543 copying build/lib/mythril/ethereum/evmcontract.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum 2024-05-01T18:31:48,545 copying build/lib/mythril/ethereum/util.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum 2024-05-01T18:31:48,548 creating build/bdist.linux-armv7l/wheel/mythril/ethereum/interface 2024-05-01T18:31:48,549 creating build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2024-05-01T18:31:48,550 copying build/lib/mythril/ethereum/interface/rpc/exceptions.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2024-05-01T18:31:48,552 copying build/lib/mythril/ethereum/interface/rpc/constants.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2024-05-01T18:31:48,554 copying build/lib/mythril/ethereum/interface/rpc/base_client.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2024-05-01T18:31:48,556 copying build/lib/mythril/ethereum/interface/rpc/client.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2024-05-01T18:31:48,558 copying build/lib/mythril/ethereum/interface/rpc/utils.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2024-05-01T18:31:48,560 copying build/lib/mythril/ethereum/interface/rpc/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc 2024-05-01T18:31:48,561 copying build/lib/mythril/ethereum/interface/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface 2024-05-01T18:31:48,563 copying build/lib/mythril/ethereum/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum 2024-05-01T18:31:48,565 creating build/bdist.linux-armv7l/wheel/mythril/plugin 2024-05-01T18:31:48,566 copying build/lib/mythril/plugin/loader.py -> build/bdist.linux-armv7l/wheel/mythril/plugin 2024-05-01T18:31:48,568 copying build/lib/mythril/plugin/discovery.py -> build/bdist.linux-armv7l/wheel/mythril/plugin 2024-05-01T18:31:48,570 copying build/lib/mythril/plugin/interface.py -> build/bdist.linux-armv7l/wheel/mythril/plugin 2024-05-01T18:31:48,571 copying build/lib/mythril/plugin/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/plugin 2024-05-01T18:31:48,573 copying build/lib/mythril/__main__.py -> build/bdist.linux-armv7l/wheel/mythril 2024-05-01T18:31:48,575 creating build/bdist.linux-armv7l/wheel/mythril/solidity 2024-05-01T18:31:48,576 copying build/lib/mythril/solidity/soliditycontract.py -> build/bdist.linux-armv7l/wheel/mythril/solidity 2024-05-01T18:31:48,578 copying build/lib/mythril/solidity/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/solidity 2024-05-01T18:31:48,580 creating build/bdist.linux-armv7l/wheel/mythril/interfaces 2024-05-01T18:31:48,581 copying build/lib/mythril/interfaces/cli.py -> build/bdist.linux-armv7l/wheel/mythril/interfaces 2024-05-01T18:31:48,584 copying build/lib/mythril/interfaces/epic.py -> build/bdist.linux-armv7l/wheel/mythril/interfaces 2024-05-01T18:31:48,586 copying build/lib/mythril/interfaces/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/interfaces 2024-05-01T18:31:48,588 copying build/lib/mythril/exceptions.py -> build/bdist.linux-armv7l/wheel/mythril 2024-05-01T18:31:48,590 creating build/bdist.linux-armv7l/wheel/mythril/laser 2024-05-01T18:31:48,591 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,593 copying build/lib/mythril/laser/ethereum/call.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,595 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2024-05-01T18:31:48,596 copying build/lib/mythril/laser/ethereum/strategy/basic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2024-05-01T18:31:48,598 copying build/lib/mythril/laser/ethereum/strategy/concolic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2024-05-01T18:31:48,601 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy/extensions 2024-05-01T18:31:48,602 copying build/lib/mythril/laser/ethereum/strategy/extensions/bounded_loops.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy/extensions 2024-05-01T18:31:48,604 copying build/lib/mythril/laser/ethereum/strategy/extensions/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy/extensions 2024-05-01T18:31:48,606 copying build/lib/mythril/laser/ethereum/strategy/constraint_strategy.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2024-05-01T18:31:48,608 copying build/lib/mythril/laser/ethereum/strategy/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2024-05-01T18:31:48,609 copying build/lib/mythril/laser/ethereum/strategy/beam.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy 2024-05-01T18:31:48,612 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2024-05-01T18:31:48,613 copying build/lib/mythril/laser/ethereum/transaction/concolic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2024-05-01T18:31:48,615 copying build/lib/mythril/laser/ethereum/transaction/symbolic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2024-05-01T18:31:48,617 copying build/lib/mythril/laser/ethereum/transaction/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2024-05-01T18:31:48,619 copying build/lib/mythril/laser/ethereum/transaction/transaction_models.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction 2024-05-01T18:31:48,621 copying build/lib/mythril/laser/ethereum/util.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,623 copying build/lib/mythril/laser/ethereum/instructions.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,627 copying build/lib/mythril/laser/ethereum/instruction_data.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,629 copying build/lib/mythril/laser/ethereum/evm_exceptions.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,630 copying build/lib/mythril/laser/ethereum/svm.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,633 copying build/lib/mythril/laser/ethereum/time_handler.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,635 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers 2024-05-01T18:31:48,636 copying build/lib/mythril/laser/ethereum/function_managers/keccak_function_manager.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers 2024-05-01T18:31:48,639 copying build/lib/mythril/laser/ethereum/function_managers/exponent_function_manager.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers 2024-05-01T18:31:48,640 copying build/lib/mythril/laser/ethereum/function_managers/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers 2024-05-01T18:31:48,642 copying build/lib/mythril/laser/ethereum/cheat_code.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,644 creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,645 copying build/lib/mythril/laser/ethereum/state/annotation.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,647 copying build/lib/mythril/laser/ethereum/state/machine_state.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,649 copying build/lib/mythril/laser/ethereum/state/environment.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,651 copying build/lib/mythril/laser/ethereum/state/constraints.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,653 copying build/lib/mythril/laser/ethereum/state/return_data.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,655 copying build/lib/mythril/laser/ethereum/state/global_state.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,657 copying build/lib/mythril/laser/ethereum/state/calldata.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,659 copying build/lib/mythril/laser/ethereum/state/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,661 copying build/lib/mythril/laser/ethereum/state/account.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,663 copying build/lib/mythril/laser/ethereum/state/world_state.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,665 copying build/lib/mythril/laser/ethereum/state/memory.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state 2024-05-01T18:31:48,668 copying build/lib/mythril/laser/ethereum/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,670 copying build/lib/mythril/laser/ethereum/natives.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,673 copying build/lib/mythril/laser/ethereum/cfg.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum 2024-05-01T18:31:48,675 creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2024-05-01T18:31:48,676 copying build/lib/mythril/laser/plugin/loader.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2024-05-01T18:31:48,678 copying build/lib/mythril/laser/plugin/signals.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2024-05-01T18:31:48,680 creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2024-05-01T18:31:48,681 copying build/lib/mythril/laser/plugin/plugins/mutation_pruner.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2024-05-01T18:31:48,684 creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/summary_backup 2024-05-01T18:31:48,685 copying build/lib/mythril/laser/plugin/plugins/summary_backup/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/summary_backup 2024-05-01T18:31:48,686 copying build/lib/mythril/laser/plugin/plugins/call_depth_limiter.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2024-05-01T18:31:48,688 copying build/lib/mythril/laser/plugin/plugins/instruction_profiler.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2024-05-01T18:31:48,690 creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage 2024-05-01T18:31:48,690 copying build/lib/mythril/laser/plugin/plugins/coverage/coverage_strategy.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage 2024-05-01T18:31:48,692 copying build/lib/mythril/laser/plugin/plugins/coverage/coverage_plugin.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage 2024-05-01T18:31:48,694 copying build/lib/mythril/laser/plugin/plugins/coverage/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage 2024-05-01T18:31:48,696 copying build/lib/mythril/laser/plugin/plugins/plugin_annotations.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2024-05-01T18:31:48,698 copying build/lib/mythril/laser/plugin/plugins/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2024-05-01T18:31:48,700 copying build/lib/mythril/laser/plugin/plugins/dependency_pruner.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2024-05-01T18:31:48,702 copying build/lib/mythril/laser/plugin/plugins/benchmark.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins 2024-05-01T18:31:48,704 copying build/lib/mythril/laser/plugin/interface.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2024-05-01T18:31:48,706 copying build/lib/mythril/laser/plugin/builder.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2024-05-01T18:31:48,707 copying build/lib/mythril/laser/plugin/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin 2024-05-01T18:31:48,709 copying build/lib/mythril/laser/execution_info.py -> build/bdist.linux-armv7l/wheel/mythril/laser 2024-05-01T18:31:48,711 creating build/bdist.linux-armv7l/wheel/mythril/laser/smt 2024-05-01T18:31:48,713 copying build/lib/mythril/laser/smt/model.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2024-05-01T18:31:48,714 copying build/lib/mythril/laser/smt/function.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2024-05-01T18:31:48,716 copying build/lib/mythril/laser/smt/expression.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2024-05-01T18:31:48,718 copying build/lib/mythril/laser/smt/bitvec_helper.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2024-05-01T18:31:48,721 copying build/lib/mythril/laser/smt/bool.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2024-05-01T18:31:48,723 creating build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2024-05-01T18:31:48,724 copying build/lib/mythril/laser/smt/solver/solver_statistics.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2024-05-01T18:31:48,726 copying build/lib/mythril/laser/smt/solver/solver.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2024-05-01T18:31:48,728 copying build/lib/mythril/laser/smt/solver/independence_solver.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2024-05-01T18:31:48,730 copying build/lib/mythril/laser/smt/solver/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver 2024-05-01T18:31:48,732 copying build/lib/mythril/laser/smt/array.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2024-05-01T18:31:48,734 copying build/lib/mythril/laser/smt/bitvec.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2024-05-01T18:31:48,736 copying build/lib/mythril/laser/smt/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt 2024-05-01T18:31:48,739 copying build/lib/mythril/laser/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser 2024-05-01T18:31:48,740 copying build/lib/mythril/__version__.py -> build/bdist.linux-armv7l/wheel/mythril 2024-05-01T18:31:48,742 copying build/lib/mythril/__init__.py -> build/bdist.linux-armv7l/wheel/mythril 2024-05-01T18:31:48,744 creating build/bdist.linux-armv7l/wheel/mythril/disassembler 2024-05-01T18:31:48,745 copying build/lib/mythril/disassembler/disassembly.py -> build/bdist.linux-armv7l/wheel/mythril/disassembler 2024-05-01T18:31:48,747 copying build/lib/mythril/disassembler/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/disassembler 2024-05-01T18:31:48,748 copying build/lib/mythril/disassembler/asm.py -> build/bdist.linux-armv7l/wheel/mythril/disassembler 2024-05-01T18:31:48,751 creating build/bdist.linux-armv7l/wheel/mythril/concolic 2024-05-01T18:31:48,752 copying build/lib/mythril/concolic/concrete_data.py -> build/bdist.linux-armv7l/wheel/mythril/concolic 2024-05-01T18:31:48,753 copying build/lib/mythril/concolic/find_trace.py -> build/bdist.linux-armv7l/wheel/mythril/concolic 2024-05-01T18:31:48,755 copying build/lib/mythril/concolic/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/concolic 2024-05-01T18:31:48,757 copying build/lib/mythril/concolic/concolic_execution.py -> build/bdist.linux-armv7l/wheel/mythril/concolic 2024-05-01T18:31:48,759 creating build/bdist.linux-armv7l/wheel/mythril/mythril 2024-05-01T18:31:48,760 copying build/lib/mythril/mythril/mythril_analyzer.py -> build/bdist.linux-armv7l/wheel/mythril/mythril 2024-05-01T18:31:48,762 copying build/lib/mythril/mythril/mythril_disassembler.py -> build/bdist.linux-armv7l/wheel/mythril/mythril 2024-05-01T18:31:48,768 copying build/lib/mythril/mythril/mythril_config.py -> build/bdist.linux-armv7l/wheel/mythril/mythril 2024-05-01T18:31:48,771 copying build/lib/mythril/mythril/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/mythril 2024-05-01T18:31:48,773 creating build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,774 copying build/lib/mythril/analysis/security.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,775 copying build/lib/mythril/analysis/ops.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,777 copying build/lib/mythril/analysis/swc_data.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,779 copying build/lib/mythril/analysis/symbolic.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,781 copying build/lib/mythril/analysis/issue_annotation.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,783 creating build/bdist.linux-armv7l/wheel/mythril/analysis/templates 2024-05-01T18:31:48,784 copying build/lib/mythril/analysis/templates/report_as_text.jinja2 -> build/bdist.linux-armv7l/wheel/mythril/analysis/templates 2024-05-01T18:31:48,786 copying build/lib/mythril/analysis/templates/report_as_markdown.jinja2 -> build/bdist.linux-armv7l/wheel/mythril/analysis/templates 2024-05-01T18:31:48,788 copying build/lib/mythril/analysis/templates/callgraph.html -> build/bdist.linux-armv7l/wheel/mythril/analysis/templates 2024-05-01T18:31:48,790 copying build/lib/mythril/analysis/call_helpers.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,792 creating build/bdist.linux-armv7l/wheel/mythril/analysis/module 2024-05-01T18:31:48,793 copying build/lib/mythril/analysis/module/loader.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2024-05-01T18:31:48,795 copying build/lib/mythril/analysis/module/base.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2024-05-01T18:31:48,798 copying build/lib/mythril/analysis/module/util.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2024-05-01T18:31:48,800 copying build/lib/mythril/analysis/module/module_helpers.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2024-05-01T18:31:48,802 copying build/lib/mythril/analysis/module/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module 2024-05-01T18:31:48,805 creating build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,805 copying build/lib/mythril/analysis/module/modules/state_change_external_calls.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,808 copying build/lib/mythril/analysis/module/modules/multiple_sends.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,810 copying build/lib/mythril/analysis/module/modules/ether_thief.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,811 copying build/lib/mythril/analysis/module/modules/user_assertions.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,813 copying build/lib/mythril/analysis/module/modules/external_calls.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,815 copying build/lib/mythril/analysis/module/modules/unchecked_retval.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,817 copying build/lib/mythril/analysis/module/modules/exceptions.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,820 copying build/lib/mythril/analysis/module/modules/dependence_on_predictable_vars.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,822 copying build/lib/mythril/analysis/module/modules/delegatecall.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,823 copying build/lib/mythril/analysis/module/modules/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,825 copying build/lib/mythril/analysis/module/modules/integer.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,828 copying build/lib/mythril/analysis/module/modules/arbitrary_write.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,830 copying build/lib/mythril/analysis/module/modules/dependence_on_origin.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,831 copying build/lib/mythril/analysis/module/modules/suicide.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,834 copying build/lib/mythril/analysis/module/modules/arbitrary_jump.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules 2024-05-01T18:31:48,836 copying build/lib/mythril/analysis/traceexplore.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,838 copying build/lib/mythril/analysis/solver.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,840 copying build/lib/mythril/analysis/analysis_args.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,842 copying build/lib/mythril/analysis/report.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,844 copying build/lib/mythril/analysis/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,845 copying build/lib/mythril/analysis/callgraph.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,848 copying build/lib/mythril/analysis/potential_issues.py -> build/bdist.linux-armv7l/wheel/mythril/analysis 2024-05-01T18:31:48,850 running install_egg_info 2024-05-01T18:31:48,883 Copying smartExecutorx.egg-info to build/bdist.linux-armv7l/wheel/smartExecutorx-4.0.0-py3.11.egg-info 2024-05-01T18:31:48,895 running install_scripts 2024-05-01T18:31:48,924 creating build/bdist.linux-armv7l/wheel/smartExecutorx-4.0.0.dist-info/WHEEL 2024-05-01T18:31:48,926 creating '/tmp/pip-wheel-dyvxrjzo/smartExecutorx-4.0.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2024-05-01T18:31:48,928 adding 'fdg/__init__.py' 2024-05-01T18:31:48,930 adding 'fdg/__version__.py' 2024-05-01T18:31:48,931 adding 'fdg/expression_slot.py' 2024-05-01T18:31:48,933 adding 'fdg/fdg_pruner.py' 2024-05-01T18:31:48,935 adding 'fdg/function_coverage.py' 2024-05-01T18:31:48,937 adding 'fdg/fwrg_manager.py' 2024-05-01T18:31:48,938 adding 'fdg/global_config.py' 2024-05-01T18:31:48,940 adding 'fdg/instruction_modification.py' 2024-05-01T18:31:48,942 adding 'fdg/output_data.py' 2024-05-01T18:31:48,943 adding 'fdg/utils.py' 2024-05-01T18:31:48,945 adding 'fdg/control/__init__.py' 2024-05-01T18:31:48,947 adding 'fdg/control/ftn_search_strategy.py' 2024-05-01T18:31:48,948 adding 'fdg/control/function_assignment.py' 2024-05-01T18:31:48,950 adding 'fdg/control/guider.py' 2024-05-01T18:31:48,953 adding 'fdg/control/mine.py' 2024-05-01T18:31:48,954 adding 'fdg/control/weight_computation.py' 2024-05-01T18:31:48,955 adding 'fdg/preprocessing/__init__.py' 2024-05-01T18:31:48,957 adding 'fdg/preprocessing/address_collection.py' 2024-05-01T18:31:48,958 adding 'fdg/preprocessing/instruction_coverage.py' 2024-05-01T18:31:48,959 adding 'fdg/preprocessing/preprocess.py' 2024-05-01T18:31:48,961 adding 'fdg/preprocessing/read_in_conditions.py' 2024-05-01T18:31:48,962 adding 'fdg/preprocessing/slot_location.py' 2024-05-01T18:31:48,964 adding 'fdg/preprocessing/write_read_info.py' 2024-05-01T18:31:48,965 adding 'mythril/__init__.py' 2024-05-01T18:31:48,966 adding 'mythril/__main__.py' 2024-05-01T18:31:48,967 adding 'mythril/__version__.py' 2024-05-01T18:31:48,968 adding 'mythril/exceptions.py' 2024-05-01T18:31:48,970 adding 'mythril/analysis/__init__.py' 2024-05-01T18:31:48,971 adding 'mythril/analysis/analysis_args.py' 2024-05-01T18:31:48,972 adding 'mythril/analysis/call_helpers.py' 2024-05-01T18:31:48,974 adding 'mythril/analysis/callgraph.py' 2024-05-01T18:31:48,975 adding 'mythril/analysis/issue_annotation.py' 2024-05-01T18:31:48,976 adding 'mythril/analysis/ops.py' 2024-05-01T18:31:48,978 adding 'mythril/analysis/potential_issues.py' 2024-05-01T18:31:48,980 adding 'mythril/analysis/report.py' 2024-05-01T18:31:48,981 adding 'mythril/analysis/security.py' 2024-05-01T18:31:48,983 adding 'mythril/analysis/solver.py' 2024-05-01T18:31:48,984 adding 'mythril/analysis/swc_data.py' 2024-05-01T18:31:48,986 adding 'mythril/analysis/symbolic.py' 2024-05-01T18:31:48,987 adding 'mythril/analysis/traceexplore.py' 2024-05-01T18:31:48,989 adding 'mythril/analysis/module/__init__.py' 2024-05-01T18:31:48,991 adding 'mythril/analysis/module/base.py' 2024-05-01T18:31:48,992 adding 'mythril/analysis/module/loader.py' 2024-05-01T18:31:48,993 adding 'mythril/analysis/module/module_helpers.py' 2024-05-01T18:31:48,994 adding 'mythril/analysis/module/util.py' 2024-05-01T18:31:48,996 adding 'mythril/analysis/module/modules/__init__.py' 2024-05-01T18:31:48,997 adding 'mythril/analysis/module/modules/arbitrary_jump.py' 2024-05-01T18:31:48,999 adding 'mythril/analysis/module/modules/arbitrary_write.py' 2024-05-01T18:31:49,001 adding 'mythril/analysis/module/modules/delegatecall.py' 2024-05-01T18:31:49,002 adding 'mythril/analysis/module/modules/dependence_on_origin.py' 2024-05-01T18:31:49,004 adding 'mythril/analysis/module/modules/dependence_on_predictable_vars.py' 2024-05-01T18:31:49,005 adding 'mythril/analysis/module/modules/ether_thief.py' 2024-05-01T18:31:49,006 adding 'mythril/analysis/module/modules/exceptions.py' 2024-05-01T18:31:49,008 adding 'mythril/analysis/module/modules/external_calls.py' 2024-05-01T18:31:49,010 adding 'mythril/analysis/module/modules/integer.py' 2024-05-01T18:31:49,011 adding 'mythril/analysis/module/modules/multiple_sends.py' 2024-05-01T18:31:49,013 adding 'mythril/analysis/module/modules/state_change_external_calls.py' 2024-05-01T18:31:49,015 adding 'mythril/analysis/module/modules/suicide.py' 2024-05-01T18:31:49,016 adding 'mythril/analysis/module/modules/unchecked_retval.py' 2024-05-01T18:31:49,018 adding 'mythril/analysis/module/modules/user_assertions.py' 2024-05-01T18:31:49,019 adding 'mythril/analysis/templates/callgraph.html' 2024-05-01T18:31:49,021 adding 'mythril/analysis/templates/report_as_markdown.jinja2' 2024-05-01T18:31:49,022 adding 'mythril/analysis/templates/report_as_text.jinja2' 2024-05-01T18:31:49,024 adding 'mythril/concolic/__init__.py' 2024-05-01T18:31:49,025 adding 'mythril/concolic/concolic_execution.py' 2024-05-01T18:31:49,026 adding 'mythril/concolic/concrete_data.py' 2024-05-01T18:31:49,027 adding 'mythril/concolic/find_trace.py' 2024-05-01T18:31:49,029 adding 'mythril/disassembler/__init__.py' 2024-05-01T18:31:49,030 adding 'mythril/disassembler/asm.py' 2024-05-01T18:31:49,031 adding 'mythril/disassembler/disassembly.py' 2024-05-01T18:31:49,033 adding 'mythril/ethereum/__init__.py' 2024-05-01T18:31:49,034 adding 'mythril/ethereum/evmcontract.py' 2024-05-01T18:31:49,036 adding 'mythril/ethereum/util.py' 2024-05-01T18:31:49,037 adding 'mythril/ethereum/interface/__init__.py' 2024-05-01T18:31:49,039 adding 'mythril/ethereum/interface/rpc/__init__.py' 2024-05-01T18:31:49,040 adding 'mythril/ethereum/interface/rpc/base_client.py' 2024-05-01T18:31:49,041 adding 'mythril/ethereum/interface/rpc/client.py' 2024-05-01T18:31:49,042 adding 'mythril/ethereum/interface/rpc/constants.py' 2024-05-01T18:31:49,044 adding 'mythril/ethereum/interface/rpc/exceptions.py' 2024-05-01T18:31:49,045 adding 'mythril/ethereum/interface/rpc/utils.py' 2024-05-01T18:31:49,046 adding 'mythril/interfaces/__init__.py' 2024-05-01T18:31:49,050 adding 'mythril/interfaces/cli.py' 2024-05-01T18:31:49,052 adding 'mythril/interfaces/epic.py' 2024-05-01T18:31:49,053 adding 'mythril/laser/__init__.py' 2024-05-01T18:31:49,055 adding 'mythril/laser/execution_info.py' 2024-05-01T18:31:49,056 adding 'mythril/laser/ethereum/__init__.py' 2024-05-01T18:31:49,058 adding 'mythril/laser/ethereum/call.py' 2024-05-01T18:31:49,059 adding 'mythril/laser/ethereum/cfg.py' 2024-05-01T18:31:49,061 adding 'mythril/laser/ethereum/cheat_code.py' 2024-05-01T18:31:49,062 adding 'mythril/laser/ethereum/evm_exceptions.py' 2024-05-01T18:31:49,063 adding 'mythril/laser/ethereum/instruction_data.py' 2024-05-01T18:31:49,070 adding 'mythril/laser/ethereum/instructions.py' 2024-05-01T18:31:49,072 adding 'mythril/laser/ethereum/natives.py' 2024-05-01T18:31:49,076 adding 'mythril/laser/ethereum/svm.py' 2024-05-01T18:31:49,077 adding 'mythril/laser/ethereum/time_handler.py' 2024-05-01T18:31:49,078 adding 'mythril/laser/ethereum/util.py' 2024-05-01T18:31:49,080 adding 'mythril/laser/ethereum/function_managers/__init__.py' 2024-05-01T18:31:49,082 adding 'mythril/laser/ethereum/function_managers/exponent_function_manager.py' 2024-05-01T18:31:49,083 adding 'mythril/laser/ethereum/function_managers/keccak_function_manager.py' 2024-05-01T18:31:49,085 adding 'mythril/laser/ethereum/state/__init__.py' 2024-05-01T18:31:49,087 adding 'mythril/laser/ethereum/state/account.py' 2024-05-01T18:31:49,088 adding 'mythril/laser/ethereum/state/annotation.py' 2024-05-01T18:31:49,090 adding 'mythril/laser/ethereum/state/calldata.py' 2024-05-01T18:31:49,091 adding 'mythril/laser/ethereum/state/constraints.py' 2024-05-01T18:31:49,092 adding 'mythril/laser/ethereum/state/environment.py' 2024-05-01T18:31:49,094 adding 'mythril/laser/ethereum/state/global_state.py' 2024-05-01T18:31:49,095 adding 'mythril/laser/ethereum/state/machine_state.py' 2024-05-01T18:31:49,097 adding 'mythril/laser/ethereum/state/memory.py' 2024-05-01T18:31:49,098 adding 'mythril/laser/ethereum/state/return_data.py' 2024-05-01T18:31:49,100 adding 'mythril/laser/ethereum/state/world_state.py' 2024-05-01T18:31:49,102 adding 'mythril/laser/ethereum/strategy/__init__.py' 2024-05-01T18:31:49,103 adding 'mythril/laser/ethereum/strategy/basic.py' 2024-05-01T18:31:49,105 adding 'mythril/laser/ethereum/strategy/beam.py' 2024-05-01T18:31:49,106 adding 'mythril/laser/ethereum/strategy/concolic.py' 2024-05-01T18:31:49,107 adding 'mythril/laser/ethereum/strategy/constraint_strategy.py' 2024-05-01T18:31:49,109 adding 'mythril/laser/ethereum/strategy/extensions/__init__.py' 2024-05-01T18:31:49,111 adding 'mythril/laser/ethereum/strategy/extensions/bounded_loops.py' 2024-05-01T18:31:49,112 adding 'mythril/laser/ethereum/transaction/__init__.py' 2024-05-01T18:31:49,114 adding 'mythril/laser/ethereum/transaction/concolic.py' 2024-05-01T18:31:49,115 adding 'mythril/laser/ethereum/transaction/symbolic.py' 2024-05-01T18:31:49,117 adding 'mythril/laser/ethereum/transaction/transaction_models.py' 2024-05-01T18:31:49,119 adding 'mythril/laser/plugin/__init__.py' 2024-05-01T18:31:49,120 adding 'mythril/laser/plugin/builder.py' 2024-05-01T18:31:49,121 adding 'mythril/laser/plugin/interface.py' 2024-05-01T18:31:49,122 adding 'mythril/laser/plugin/loader.py' 2024-05-01T18:31:49,123 adding 'mythril/laser/plugin/signals.py' 2024-05-01T18:31:49,125 adding 'mythril/laser/plugin/plugins/__init__.py' 2024-05-01T18:31:49,126 adding 'mythril/laser/plugin/plugins/benchmark.py' 2024-05-01T18:31:49,127 adding 'mythril/laser/plugin/plugins/call_depth_limiter.py' 2024-05-01T18:31:49,129 adding 'mythril/laser/plugin/plugins/dependency_pruner.py' 2024-05-01T18:31:49,131 adding 'mythril/laser/plugin/plugins/instruction_profiler.py' 2024-05-01T18:31:49,132 adding 'mythril/laser/plugin/plugins/mutation_pruner.py' 2024-05-01T18:31:49,134 adding 'mythril/laser/plugin/plugins/plugin_annotations.py' 2024-05-01T18:31:49,135 adding 'mythril/laser/plugin/plugins/coverage/__init__.py' 2024-05-01T18:31:49,136 adding 'mythril/laser/plugin/plugins/coverage/coverage_plugin.py' 2024-05-01T18:31:49,138 adding 'mythril/laser/plugin/plugins/coverage/coverage_strategy.py' 2024-05-01T18:31:49,139 adding 'mythril/laser/plugin/plugins/summary_backup/__init__.py' 2024-05-01T18:31:49,141 adding 'mythril/laser/smt/__init__.py' 2024-05-01T18:31:49,143 adding 'mythril/laser/smt/array.py' 2024-05-01T18:31:49,144 adding 'mythril/laser/smt/bitvec.py' 2024-05-01T18:31:49,145 adding 'mythril/laser/smt/bitvec_helper.py' 2024-05-01T18:31:49,147 adding 'mythril/laser/smt/bool.py' 2024-05-01T18:31:49,148 adding 'mythril/laser/smt/expression.py' 2024-05-01T18:31:49,149 adding 'mythril/laser/smt/function.py' 2024-05-01T18:31:49,151 adding 'mythril/laser/smt/model.py' 2024-05-01T18:31:49,152 adding 'mythril/laser/smt/solver/__init__.py' 2024-05-01T18:31:49,154 adding 'mythril/laser/smt/solver/independence_solver.py' 2024-05-01T18:31:49,155 adding 'mythril/laser/smt/solver/solver.py' 2024-05-01T18:31:49,157 adding 'mythril/laser/smt/solver/solver_statistics.py' 2024-05-01T18:31:49,158 adding 'mythril/mythril/__init__.py' 2024-05-01T18:31:49,160 adding 'mythril/mythril/mythril_analyzer.py' 2024-05-01T18:31:49,161 adding 'mythril/mythril/mythril_config.py' 2024-05-01T18:31:49,164 adding 'mythril/mythril/mythril_disassembler.py' 2024-05-01T18:31:49,165 adding 'mythril/plugin/__init__.py' 2024-05-01T18:31:49,167 adding 'mythril/plugin/discovery.py' 2024-05-01T18:31:49,168 adding 'mythril/plugin/interface.py' 2024-05-01T18:31:49,169 adding 'mythril/plugin/loader.py' 2024-05-01T18:31:49,171 adding 'mythril/solidity/__init__.py' 2024-05-01T18:31:49,173 adding 'mythril/solidity/soliditycontract.py' 2024-05-01T18:31:49,175 adding 'mythril/support/__init__.py' 2024-05-01T18:31:49,176 adding 'mythril/support/loader.py' 2024-05-01T18:31:49,178 adding 'mythril/support/lock.py' 2024-05-01T18:31:49,179 adding 'mythril/support/model.py' 2024-05-01T18:31:49,181 adding 'mythril/support/opcodes.py' 2024-05-01T18:31:49,183 adding 'mythril/support/signatures.py' 2024-05-01T18:31:49,184 adding 'mythril/support/source_support.py' 2024-05-01T18:31:49,186 adding 'mythril/support/start_time.py' 2024-05-01T18:31:49,187 adding 'mythril/support/support_args.py' 2024-05-01T18:31:49,188 adding 'mythril/support/support_utils.py' 2024-05-01T18:31:50,517 adding 'mythril/support/assets/signatures.db' 2024-05-01T18:31:50,596 adding 'smartExecutorx-4.0.0.dist-info/LICENSE' 2024-05-01T18:31:50,598 adding 'smartExecutorx-4.0.0.dist-info/METADATA' 2024-05-01T18:31:50,599 adding 'smartExecutorx-4.0.0.dist-info/WHEEL' 2024-05-01T18:31:50,600 adding 'smartExecutorx-4.0.0.dist-info/entry_points.txt' 2024-05-01T18:31:50,601 adding 'smartExecutorx-4.0.0.dist-info/top_level.txt' 2024-05-01T18:31:50,604 adding 'smartExecutorx-4.0.0.dist-info/RECORD' 2024-05-01T18:31:50,656 removing build/bdist.linux-armv7l/wheel 2024-05-01T18:31:50,832 Building wheel for smartexecutorx (setup.py): finished with status 'done' 2024-05-01T18:31:50,880 Created wheel for smartexecutorx: filename=smartExecutorx-4.0.0-py3-none-any.whl size=4646236 sha256=8ff00c641b6b348388c1d00d25d5c6f32848dcd34e26b76adef1171e4b73ba00 2024-05-01T18:31:50,881 Stored in directory: /tmp/pip-ephem-wheel-cache-cn3oznv1/wheels/fc/a6/bf/f655f9a8cc0510ee16fc1bf6bfcafe7fc85d787270d1ad977f 2024-05-01T18:31:50,900 Successfully built smartexecutorx 2024-05-01T18:31:51,020 Removed build tracker: '/tmp/pip-build-tracker-1p4imczm'