2024-05-12T23:49:33,795 Created temporary directory: /tmp/pip-build-tracker-xtxdykr1
2024-05-12T23:49:33,796 Initialized build tracking at /tmp/pip-build-tracker-xtxdykr1
2024-05-12T23:49:33,796 Created build tracker: /tmp/pip-build-tracker-xtxdykr1
2024-05-12T23:49:33,797 Entered build tracker: /tmp/pip-build-tracker-xtxdykr1
2024-05-12T23:49:33,798 Created temporary directory: /tmp/pip-wheel-ar9y515d
2024-05-12T23:49:33,801 Created temporary directory: /tmp/pip-ephem-wheel-cache-u1itzkdq
2024-05-12T23:49:33,823 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple
2024-05-12T23:49:33,826 2 location(s) to search for versions of smartexecutorx:
2024-05-12T23:49:33,826 * https://pypi.org/simple/smartexecutorx/
2024-05-12T23:49:33,826 * https://www.piwheels.org/simple/smartexecutorx/
2024-05-12T23:49:33,827 Fetching project page and analyzing links: https://pypi.org/simple/smartexecutorx/
2024-05-12T23:49:33,828 Getting page https://pypi.org/simple/smartexecutorx/
2024-05-12T23:49:33,829 Found index url https://pypi.org/simple/
2024-05-12T23:49:34,044 Fetched page https://pypi.org/simple/smartexecutorx/ as application/vnd.pypi.simple.v1+json
2024-05-12T23:49:34,046   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-12T23:49:34,047   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-12T23:49:34,048   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-12T23:49:34,049   Found link https://files.pythonhosted.org/packages/e7/23/c9721e272d2b51c43e57371e13cc88020f47d3e5bec9e99e5a852c8aa8f9/smartExecutorx-4.1.tar.gz (from https://pypi.org/simple/smartexecutorx/) (requires-python:>=3.8.0), version: 4.1
2024-05-12T23:49:34,050 Fetching project page and analyzing links: https://www.piwheels.org/simple/smartexecutorx/
2024-05-12T23:49:34,051 Getting page https://www.piwheels.org/simple/smartexecutorx/
2024-05-12T23:49:34,052 Found index url https://www.piwheels.org/simple/
2024-05-12T23:49:35,215 Fetched page https://www.piwheels.org/simple/smartexecutorx/ as text/html
2024-05-12T23:49:35,219   Skipping link: No binaries permitted for smartexecutorx: https://www.piwheels.org/simple/smartexecutorx/smartExecutorx-4.0.0-py3-none-any.whl#sha256=8ff00c641b6b348388c1d00d25d5c6f32848dcd34e26b76adef1171e4b73ba00 (from https://www.piwheels.org/simple/smartexecutorx/) (requires-python:>=3.8.0)
2024-05-12T23:49:35,220   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-12T23:49:35,221   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-12T23:49:35,223 Skipping link: not a file: https://www.piwheels.org/simple/smartexecutorx/
2024-05-12T23:49:35,223 Skipping link: not a file: https://pypi.org/simple/smartexecutorx/
2024-05-12T23:49:35,268 Given no hashes to check 1 links for project 'smartexecutorx': discarding no candidates
2024-05-12T23:49:35,301 Collecting smartexecutorx==4.1
2024-05-12T23:49:35,304   Created temporary directory: /tmp/pip-unpack-zfeetdvc
2024-05-12T23:49:35,518   Downloading smartExecutorx-4.1.tar.gz (4.6 MB)
2024-05-12T23:49:37,294   Added smartexecutorx==4.1 from https://files.pythonhosted.org/packages/e7/23/c9721e272d2b51c43e57371e13cc88020f47d3e5bec9e99e5a852c8aa8f9/smartExecutorx-4.1.tar.gz to build tracker '/tmp/pip-build-tracker-xtxdykr1'
2024-05-12T23:49:37,296   Running setup.py (path:/tmp/pip-wheel-ar9y515d/smartexecutorx_7f31aaa7e6d7415e86f333cdd5db4ac2/setup.py) egg_info for package smartexecutorx
2024-05-12T23:49:37,297   Created temporary directory: /tmp/pip-pip-egg-info-5z2eq9ig
2024-05-12T23:49:37,298   Preparing metadata (setup.py): started
2024-05-12T23:49:37,299   Running command python setup.py egg_info
2024-05-12T23:49:38,447   running egg_info
2024-05-12T23:49:38,449   creating /tmp/pip-pip-egg-info-5z2eq9ig/smartExecutorx.egg-info
2024-05-12T23:49:38,475   writing /tmp/pip-pip-egg-info-5z2eq9ig/smartExecutorx.egg-info/PKG-INFO
2024-05-12T23:49:38,480   writing dependency_links to /tmp/pip-pip-egg-info-5z2eq9ig/smartExecutorx.egg-info/dependency_links.txt
2024-05-12T23:49:38,481   writing entry points to /tmp/pip-pip-egg-info-5z2eq9ig/smartExecutorx.egg-info/entry_points.txt
2024-05-12T23:49:38,484   writing requirements to /tmp/pip-pip-egg-info-5z2eq9ig/smartExecutorx.egg-info/requires.txt
2024-05-12T23:49:38,485   writing top-level names to /tmp/pip-pip-egg-info-5z2eq9ig/smartExecutorx.egg-info/top_level.txt
2024-05-12T23:49:38,487   writing manifest file '/tmp/pip-pip-egg-info-5z2eq9ig/smartExecutorx.egg-info/SOURCES.txt'
2024-05-12T23:49:38,604   reading manifest file '/tmp/pip-pip-egg-info-5z2eq9ig/smartExecutorx.egg-info/SOURCES.txt'
2024-05-12T23:49:38,606   reading manifest template 'MANIFEST.in'
2024-05-12T23:49:38,608   warning: no files found matching 'images/*'
2024-05-12T23:49:38,609   adding license file 'LICENSE'
2024-05-12T23:49:38,615   writing manifest file '/tmp/pip-pip-egg-info-5z2eq9ig/smartExecutorx.egg-info/SOURCES.txt'
2024-05-12T23:49:38,736   Preparing metadata (setup.py): finished with status 'done'
2024-05-12T23:49:38,746   Source in /tmp/pip-wheel-ar9y515d/smartexecutorx_7f31aaa7e6d7415e86f333cdd5db4ac2 has version 4.1, which satisfies requirement smartexecutorx==4.1 from https://files.pythonhosted.org/packages/e7/23/c9721e272d2b51c43e57371e13cc88020f47d3e5bec9e99e5a852c8aa8f9/smartExecutorx-4.1.tar.gz
2024-05-12T23:49:38,747   Removed smartexecutorx==4.1 from https://files.pythonhosted.org/packages/e7/23/c9721e272d2b51c43e57371e13cc88020f47d3e5bec9e99e5a852c8aa8f9/smartExecutorx-4.1.tar.gz from build tracker '/tmp/pip-build-tracker-xtxdykr1'
2024-05-12T23:49:38,754 Created temporary directory: /tmp/pip-unpack-f8nzvts3
2024-05-12T23:49:38,755 Created temporary directory: /tmp/pip-unpack-oopbf98o
2024-05-12T23:49:38,807 Building wheels for collected packages: smartexecutorx
2024-05-12T23:49:38,811   Created temporary directory: /tmp/pip-wheel-otj_87vz
2024-05-12T23:49:38,811   Building wheel for smartexecutorx (setup.py): started
2024-05-12T23:49:38,813   Destination directory: /tmp/pip-wheel-otj_87vz
2024-05-12T23:49:38,813   Running command python setup.py bdist_wheel
2024-05-12T23:49:39,911   running bdist_wheel
2024-05-12T23:49:40,009   running build
2024-05-12T23:49:40,010   running build_py
2024-05-12T23:49:40,038   creating build
2024-05-12T23:49:40,038   creating build/lib
2024-05-12T23:49:40,039   creating build/lib/fdg
2024-05-12T23:49:40,040   copying fdg/expression_slot.py -> build/lib/fdg
2024-05-12T23:49:40,043   copying fdg/global_config.py -> build/lib/fdg
2024-05-12T23:49:40,045   copying fdg/instruction_modification.py -> build/lib/fdg
2024-05-12T23:49:40,047   copying fdg/utils.py -> build/lib/fdg
2024-05-12T23:49:40,050   copying fdg/__version__.py -> build/lib/fdg
2024-05-12T23:49:40,051   copying fdg/fdg_pruner.py -> build/lib/fdg
2024-05-12T23:49:40,054   copying fdg/__init__.py -> build/lib/fdg
2024-05-12T23:49:40,056   copying fdg/function_coverage.py -> build/lib/fdg
2024-05-12T23:49:40,058   copying fdg/output_data.py -> build/lib/fdg
2024-05-12T23:49:40,060   copying fdg/fwrg_manager.py -> build/lib/fdg
2024-05-12T23:49:40,063   creating build/lib/mythril
2024-05-12T23:49:40,064   copying mythril/__main__.py -> build/lib/mythril
2024-05-12T23:49:40,067   copying mythril/exceptions.py -> build/lib/mythril
2024-05-12T23:49:40,069   copying mythril/__version__.py -> build/lib/mythril
2024-05-12T23:49:40,070   copying mythril/__init__.py -> build/lib/mythril
2024-05-12T23:49:40,072   creating build/lib/fdg/control
2024-05-12T23:49:40,073   copying fdg/control/guider.py -> build/lib/fdg/control
2024-05-12T23:49:40,076   copying fdg/control/function_assignment.py -> build/lib/fdg/control
2024-05-12T23:49:40,078   copying fdg/control/mine.py -> build/lib/fdg/control
2024-05-12T23:49:40,081   copying fdg/control/__init__.py -> build/lib/fdg/control
2024-05-12T23:49:40,083   copying fdg/control/weight_computation.py -> build/lib/fdg/control
2024-05-12T23:49:40,084   copying fdg/control/ftn_search_strategy.py -> build/lib/fdg/control
2024-05-12T23:49:40,088   creating build/lib/fdg/preprocessing
2024-05-12T23:49:40,089   copying fdg/preprocessing/address_collection.py -> build/lib/fdg/preprocessing
2024-05-12T23:49:40,090   copying fdg/preprocessing/read_in_conditions.py -> build/lib/fdg/preprocessing
2024-05-12T23:49:40,092   copying fdg/preprocessing/slot_location.py -> build/lib/fdg/preprocessing
2024-05-12T23:49:40,095   copying fdg/preprocessing/instruction_coverage.py -> build/lib/fdg/preprocessing
2024-05-12T23:49:40,097   copying fdg/preprocessing/__init__.py -> build/lib/fdg/preprocessing
2024-05-12T23:49:40,099   copying fdg/preprocessing/preprocess.py -> build/lib/fdg/preprocessing
2024-05-12T23:49:40,101   copying fdg/preprocessing/write_read_info.py -> build/lib/fdg/preprocessing
2024-05-12T23:49:40,103   creating build/lib/mythril/interfaces
2024-05-12T23:49:40,104   copying mythril/interfaces/epic.py -> build/lib/mythril/interfaces
2024-05-12T23:49:40,107   copying mythril/interfaces/__init__.py -> build/lib/mythril/interfaces
2024-05-12T23:49:40,108   copying mythril/interfaces/cli.py -> build/lib/mythril/interfaces
2024-05-12T23:49:40,113   creating build/lib/mythril/laser
2024-05-12T23:49:40,113   copying mythril/laser/__init__.py -> build/lib/mythril/laser
2024-05-12T23:49:40,115   copying mythril/laser/execution_info.py -> build/lib/mythril/laser
2024-05-12T23:49:40,117   creating build/lib/mythril/solidity
2024-05-12T23:49:40,118   copying mythril/solidity/__init__.py -> build/lib/mythril/solidity
2024-05-12T23:49:40,120   copying mythril/solidity/soliditycontract.py -> build/lib/mythril/solidity
2024-05-12T23:49:40,123   creating build/lib/mythril/ethereum
2024-05-12T23:49:40,124   copying mythril/ethereum/evmcontract.py -> build/lib/mythril/ethereum
2024-05-12T23:49:40,126   copying mythril/ethereum/__init__.py -> build/lib/mythril/ethereum
2024-05-12T23:49:40,128   copying mythril/ethereum/util.py -> build/lib/mythril/ethereum
2024-05-12T23:49:40,131   creating build/lib/mythril/support
2024-05-12T23:49:40,132   copying mythril/support/loader.py -> build/lib/mythril/support
2024-05-12T23:49:40,133   copying mythril/support/start_time.py -> build/lib/mythril/support
2024-05-12T23:49:40,135   copying mythril/support/support_utils.py -> build/lib/mythril/support
2024-05-12T23:49:40,137   copying mythril/support/lock.py -> build/lib/mythril/support
2024-05-12T23:49:40,139   copying mythril/support/model.py -> build/lib/mythril/support
2024-05-12T23:49:40,141   copying mythril/support/__init__.py -> build/lib/mythril/support
2024-05-12T23:49:40,142   copying mythril/support/source_support.py -> build/lib/mythril/support
2024-05-12T23:49:40,144   copying mythril/support/opcodes.py -> build/lib/mythril/support
2024-05-12T23:49:40,147   copying mythril/support/support_args.py -> build/lib/mythril/support
2024-05-12T23:49:40,148   copying mythril/support/signatures.py -> build/lib/mythril/support
2024-05-12T23:49:40,152   creating build/lib/mythril/plugin
2024-05-12T23:49:40,153   copying mythril/plugin/discovery.py -> build/lib/mythril/plugin
2024-05-12T23:49:40,155   copying mythril/plugin/loader.py -> build/lib/mythril/plugin
2024-05-12T23:49:40,157   copying mythril/plugin/interface.py -> build/lib/mythril/plugin
2024-05-12T23:49:40,159   copying mythril/plugin/__init__.py -> build/lib/mythril/plugin
2024-05-12T23:49:40,162   creating build/lib/mythril/disassembler
2024-05-12T23:49:40,162   copying mythril/disassembler/asm.py -> build/lib/mythril/disassembler
2024-05-12T23:49:40,164   copying mythril/disassembler/disassembly.py -> build/lib/mythril/disassembler
2024-05-12T23:49:40,167   copying mythril/disassembler/__init__.py -> build/lib/mythril/disassembler
2024-05-12T23:49:40,168   creating build/lib/mythril/mythril
2024-05-12T23:49:40,169   copying mythril/mythril/mythril_analyzer.py -> build/lib/mythril/mythril
2024-05-12T23:49:40,172   copying mythril/mythril/mythril_disassembler.py -> build/lib/mythril/mythril
2024-05-12T23:49:40,175   copying mythril/mythril/__init__.py -> build/lib/mythril/mythril
2024-05-12T23:49:40,177   copying mythril/mythril/mythril_config.py -> build/lib/mythril/mythril
2024-05-12T23:49:40,180   creating build/lib/mythril/concolic
2024-05-12T23:49:40,180   copying mythril/concolic/concrete_data.py -> build/lib/mythril/concolic
2024-05-12T23:49:40,182   copying mythril/concolic/concolic_execution.py -> build/lib/mythril/concolic
2024-05-12T23:49:40,184   copying mythril/concolic/find_trace.py -> build/lib/mythril/concolic
2024-05-12T23:49:40,186   copying mythril/concolic/__init__.py -> build/lib/mythril/concolic
2024-05-12T23:49:40,188   creating build/lib/mythril/analysis
2024-05-12T23:49:40,189   copying mythril/analysis/potential_issues.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,192   copying mythril/analysis/symbolic.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,195   copying mythril/analysis/ops.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,197   copying mythril/analysis/report.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,200   copying mythril/analysis/security.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,203   copying mythril/analysis/call_helpers.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,204   copying mythril/analysis/swc_data.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,206   copying mythril/analysis/solver.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,209   copying mythril/analysis/__init__.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,210   copying mythril/analysis/traceexplore.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,213   copying mythril/analysis/analysis_args.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,215   copying mythril/analysis/issue_annotation.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,218   copying mythril/analysis/callgraph.py -> build/lib/mythril/analysis
2024-05-12T23:49:40,221   creating build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,222   copying mythril/laser/ethereum/instructions.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,226   copying mythril/laser/ethereum/cfg.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,228   copying mythril/laser/ethereum/cheat_code.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,230   copying mythril/laser/ethereum/time_handler.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,231   copying mythril/laser/ethereum/instruction_data.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,234   copying mythril/laser/ethereum/call.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,236   copying mythril/laser/ethereum/svm.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,241   copying mythril/laser/ethereum/natives.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,245   copying mythril/laser/ethereum/__init__.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,247   copying mythril/laser/ethereum/evm_exceptions.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,249   copying mythril/laser/ethereum/util.py -> build/lib/mythril/laser/ethereum
2024-05-12T23:49:40,251   creating build/lib/mythril/laser/plugin
2024-05-12T23:49:40,252   copying mythril/laser/plugin/loader.py -> build/lib/mythril/laser/plugin
2024-05-12T23:49:40,255   copying mythril/laser/plugin/signals.py -> build/lib/mythril/laser/plugin
2024-05-12T23:49:40,256   copying mythril/laser/plugin/interface.py -> build/lib/mythril/laser/plugin
2024-05-12T23:49:40,258   copying mythril/laser/plugin/builder.py -> build/lib/mythril/laser/plugin
2024-05-12T23:49:40,260   copying mythril/laser/plugin/__init__.py -> build/lib/mythril/laser/plugin
2024-05-12T23:49:40,262   creating build/lib/mythril/laser/smt
2024-05-12T23:49:40,263   copying mythril/laser/smt/expression.py -> build/lib/mythril/laser/smt
2024-05-12T23:49:40,265   copying mythril/laser/smt/bitvec.py -> build/lib/mythril/laser/smt
2024-05-12T23:49:40,267   copying mythril/laser/smt/bool.py -> build/lib/mythril/laser/smt
2024-05-12T23:49:40,270   copying mythril/laser/smt/array.py -> build/lib/mythril/laser/smt
2024-05-12T23:49:40,272   copying mythril/laser/smt/bitvec_helper.py -> build/lib/mythril/laser/smt
2024-05-12T23:49:40,274   copying mythril/laser/smt/model.py -> build/lib/mythril/laser/smt
2024-05-12T23:49:40,275   copying mythril/laser/smt/__init__.py -> build/lib/mythril/laser/smt
2024-05-12T23:49:40,278   copying mythril/laser/smt/function.py -> build/lib/mythril/laser/smt
2024-05-12T23:49:40,280   creating build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,281   copying mythril/laser/ethereum/state/environment.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,283   copying mythril/laser/ethereum/state/memory.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,285   copying mythril/laser/ethereum/state/global_state.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,288   copying mythril/laser/ethereum/state/return_data.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,289   copying mythril/laser/ethereum/state/annotation.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,291   copying mythril/laser/ethereum/state/account.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,294   copying mythril/laser/ethereum/state/world_state.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,296   copying mythril/laser/ethereum/state/__init__.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,298   copying mythril/laser/ethereum/state/machine_state.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,300   copying mythril/laser/ethereum/state/constraints.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,302   copying mythril/laser/ethereum/state/calldata.py -> build/lib/mythril/laser/ethereum/state
2024-05-12T23:49:40,305   creating build/lib/mythril/laser/ethereum/function_managers
2024-05-12T23:49:40,306   copying mythril/laser/ethereum/function_managers/exponent_function_manager.py -> build/lib/mythril/laser/ethereum/function_managers
2024-05-12T23:49:40,308   copying mythril/laser/ethereum/function_managers/__init__.py -> build/lib/mythril/laser/ethereum/function_managers
2024-05-12T23:49:40,310   copying mythril/laser/ethereum/function_managers/keccak_function_manager.py -> build/lib/mythril/laser/ethereum/function_managers
2024-05-12T23:49:40,313   creating build/lib/mythril/laser/ethereum/strategy
2024-05-12T23:49:40,314   copying mythril/laser/ethereum/strategy/concolic.py -> build/lib/mythril/laser/ethereum/strategy
2024-05-12T23:49:40,316   copying mythril/laser/ethereum/strategy/basic.py -> build/lib/mythril/laser/ethereum/strategy
2024-05-12T23:49:40,318   copying mythril/laser/ethereum/strategy/__init__.py -> build/lib/mythril/laser/ethereum/strategy
2024-05-12T23:49:40,320   copying mythril/laser/ethereum/strategy/beam.py -> build/lib/mythril/laser/ethereum/strategy
2024-05-12T23:49:40,322   copying mythril/laser/ethereum/strategy/constraint_strategy.py -> build/lib/mythril/laser/ethereum/strategy
2024-05-12T23:49:40,325   creating build/lib/mythril/laser/ethereum/transaction
2024-05-12T23:49:40,326   copying mythril/laser/ethereum/transaction/symbolic.py -> build/lib/mythril/laser/ethereum/transaction
2024-05-12T23:49:40,328   copying mythril/laser/ethereum/transaction/concolic.py -> build/lib/mythril/laser/ethereum/transaction
2024-05-12T23:49:40,330   copying mythril/laser/ethereum/transaction/__init__.py -> build/lib/mythril/laser/ethereum/transaction
2024-05-12T23:49:40,332   copying mythril/laser/ethereum/transaction/transaction_models.py -> build/lib/mythril/laser/ethereum/transaction
2024-05-12T23:49:40,335   creating build/lib/mythril/laser/ethereum/strategy/extensions
2024-05-12T23:49:40,336   copying mythril/laser/ethereum/strategy/extensions/bounded_loops.py -> build/lib/mythril/laser/ethereum/strategy/extensions
2024-05-12T23:49:40,338   copying mythril/laser/ethereum/strategy/extensions/__init__.py -> build/lib/mythril/laser/ethereum/strategy/extensions
2024-05-12T23:49:40,340   creating build/lib/mythril/laser/plugin/plugins
2024-05-12T23:49:40,341   copying mythril/laser/plugin/plugins/mutation_pruner.py -> build/lib/mythril/laser/plugin/plugins
2024-05-12T23:49:40,343   copying mythril/laser/plugin/plugins/benchmark.py -> build/lib/mythril/laser/plugin/plugins
2024-05-12T23:49:40,345   copying mythril/laser/plugin/plugins/call_depth_limiter.py -> build/lib/mythril/laser/plugin/plugins
2024-05-12T23:49:40,346   copying mythril/laser/plugin/plugins/__init__.py -> build/lib/mythril/laser/plugin/plugins
2024-05-12T23:49:40,348   copying mythril/laser/plugin/plugins/instruction_profiler.py -> build/lib/mythril/laser/plugin/plugins
2024-05-12T23:49:40,350   copying mythril/laser/plugin/plugins/plugin_annotations.py -> build/lib/mythril/laser/plugin/plugins
2024-05-12T23:49:40,352   copying mythril/laser/plugin/plugins/dependency_pruner.py -> build/lib/mythril/laser/plugin/plugins
2024-05-12T23:49:40,355   creating build/lib/mythril/laser/plugin/plugins/summary_backup
2024-05-12T23:49:40,356   copying mythril/laser/plugin/plugins/summary_backup/__init__.py -> build/lib/mythril/laser/plugin/plugins/summary_backup
2024-05-12T23:49:40,358   creating build/lib/mythril/laser/plugin/plugins/coverage
2024-05-12T23:49:40,359   copying mythril/laser/plugin/plugins/coverage/coverage_plugin.py -> build/lib/mythril/laser/plugin/plugins/coverage
2024-05-12T23:49:40,361   copying mythril/laser/plugin/plugins/coverage/coverage_strategy.py -> build/lib/mythril/laser/plugin/plugins/coverage
2024-05-12T23:49:40,363   copying mythril/laser/plugin/plugins/coverage/__init__.py -> build/lib/mythril/laser/plugin/plugins/coverage
2024-05-12T23:49:40,365   creating build/lib/mythril/laser/smt/solver
2024-05-12T23:49:40,366   copying mythril/laser/smt/solver/independence_solver.py -> build/lib/mythril/laser/smt/solver
2024-05-12T23:49:40,369   copying mythril/laser/smt/solver/solver_statistics.py -> build/lib/mythril/laser/smt/solver
2024-05-12T23:49:40,370   copying mythril/laser/smt/solver/solver.py -> build/lib/mythril/laser/smt/solver
2024-05-12T23:49:40,372   copying mythril/laser/smt/solver/__init__.py -> build/lib/mythril/laser/smt/solver
2024-05-12T23:49:40,375   creating build/lib/mythril/ethereum/interface
2024-05-12T23:49:40,376   copying mythril/ethereum/interface/__init__.py -> build/lib/mythril/ethereum/interface
2024-05-12T23:49:40,378   creating build/lib/mythril/ethereum/interface/rpc
2024-05-12T23:49:40,379   copying mythril/ethereum/interface/rpc/base_client.py -> build/lib/mythril/ethereum/interface/rpc
2024-05-12T23:49:40,381   copying mythril/ethereum/interface/rpc/exceptions.py -> build/lib/mythril/ethereum/interface/rpc
2024-05-12T23:49:40,383   copying mythril/ethereum/interface/rpc/utils.py -> build/lib/mythril/ethereum/interface/rpc
2024-05-12T23:49:40,385   copying mythril/ethereum/interface/rpc/__init__.py -> build/lib/mythril/ethereum/interface/rpc
2024-05-12T23:49:40,386   copying mythril/ethereum/interface/rpc/client.py -> build/lib/mythril/ethereum/interface/rpc
2024-05-12T23:49:40,388   copying mythril/ethereum/interface/rpc/constants.py -> build/lib/mythril/ethereum/interface/rpc
2024-05-12T23:49:40,390   creating build/lib/mythril/analysis/module
2024-05-12T23:49:40,391   copying mythril/analysis/module/loader.py -> build/lib/mythril/analysis/module
2024-05-12T23:49:40,394   copying mythril/analysis/module/__init__.py -> build/lib/mythril/analysis/module
2024-05-12T23:49:40,395   copying mythril/analysis/module/module_helpers.py -> build/lib/mythril/analysis/module
2024-05-12T23:49:40,397   copying mythril/analysis/module/base.py -> build/lib/mythril/analysis/module
2024-05-12T23:49:40,399   copying mythril/analysis/module/util.py -> build/lib/mythril/analysis/module
2024-05-12T23:49:40,402   creating build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,403   copying mythril/analysis/module/modules/suicide.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,405   copying mythril/analysis/module/modules/user_assertions.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,407   copying mythril/analysis/module/modules/ether_thief.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,409   copying mythril/analysis/module/modules/exceptions.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,411   copying mythril/analysis/module/modules/dependence_on_origin.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,413   copying mythril/analysis/module/modules/integer.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,415   copying mythril/analysis/module/modules/state_change_external_calls.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,417   copying mythril/analysis/module/modules/arbitrary_write.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,419   copying mythril/analysis/module/modules/__init__.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,421   copying mythril/analysis/module/modules/delegatecall.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,422   copying mythril/analysis/module/modules/multiple_sends.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,424   copying mythril/analysis/module/modules/arbitrary_jump.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,426   copying mythril/analysis/module/modules/unchecked_retval.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,428   copying mythril/analysis/module/modules/dependence_on_predictable_vars.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,431   copying mythril/analysis/module/modules/external_calls.py -> build/lib/mythril/analysis/module/modules
2024-05-12T23:49:40,433   running egg_info
2024-05-12T23:49:40,490   writing smartExecutorx.egg-info/PKG-INFO
2024-05-12T23:49:40,494   writing dependency_links to smartExecutorx.egg-info/dependency_links.txt
2024-05-12T23:49:40,496   writing entry points to smartExecutorx.egg-info/entry_points.txt
2024-05-12T23:49:40,498   writing requirements to smartExecutorx.egg-info/requires.txt
2024-05-12T23:49:40,499   writing top-level names to smartExecutorx.egg-info/top_level.txt
2024-05-12T23:49:40,553   reading manifest file 'smartExecutorx.egg-info/SOURCES.txt'
2024-05-12T23:49:40,566   reading manifest template 'MANIFEST.in'
2024-05-12T23:49:40,568   warning: no files found matching 'images/*'
2024-05-12T23:49:40,569   adding license file 'LICENSE'
2024-05-12T23:49:40,577   writing manifest file 'smartExecutorx.egg-info/SOURCES.txt'
2024-05-12T23:49:40,581   /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-12T23:49:40,582   !!

2024-05-12T23:49:40,584           ********************************************************************************
2024-05-12T23:49:40,585           ############################
2024-05-12T23:49:40,585           # Package would be ignored #
2024-05-12T23:49:40,586           ############################
2024-05-12T23:49:40,587           Python recognizes 'mythril.analysis.templates' as an importable package[^1],
2024-05-12T23:49:40,587           but it is absent from setuptools' `packages` configuration.

2024-05-12T23:49:40,588           This leads to an ambiguous overall configuration. If you want to distribute this
2024-05-12T23:49:40,589           package, please make sure that 'mythril.analysis.templates' is explicitly added
2024-05-12T23:49:40,590           to the `packages` configuration field.

2024-05-12T23:49:40,590           Alternatively, you can also rely on setuptools' discovery methods
2024-05-12T23:49:40,591           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2024-05-12T23:49:40,591           instead of `find_packages(...)`/`find:`).

2024-05-12T23:49:40,592           You can read more about "package discovery" on setuptools documentation page:

2024-05-12T23:49:40,593           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2024-05-12T23:49:40,594           If you don't want 'mythril.analysis.templates' to be distributed and are
2024-05-12T23:49:40,594           already explicitly excluding 'mythril.analysis.templates' via
2024-05-12T23:49:40,595           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2024-05-12T23:49:40,595           you can try to use `exclude_package_data`, or `include-package-data=False` in
2024-05-12T23:49:40,596           combination with a more fine grained `package-data` configuration.

2024-05-12T23:49:40,597           You can read more about "package data files" on setuptools documentation page:

2024-05-12T23:49:40,598           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2024-05-12T23:49:40,599           [^1]: For Python, any directory (with suitable naming) can be imported,
2024-05-12T23:49:40,600                 even if it does not contain any `.py` files.
2024-05-12T23:49:40,600                 On the other hand, currently there is no concept of package data
2024-05-12T23:49:40,601                 directory, all directories are treated like packages.
2024-05-12T23:49:40,601           ********************************************************************************

2024-05-12T23:49:40,603   !!
2024-05-12T23:49:40,603     check.warn(importable)
2024-05-12T23:49:40,604   /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-12T23:49:40,605   !!

2024-05-12T23:49:40,606           ********************************************************************************
2024-05-12T23:49:40,607           ############################
2024-05-12T23:49:40,607           # Package would be ignored #
2024-05-12T23:49:40,608           ############################
2024-05-12T23:49:40,608           Python recognizes 'mythril.support.assets' as an importable package[^1],
2024-05-12T23:49:40,609           but it is absent from setuptools' `packages` configuration.

2024-05-12T23:49:40,610           This leads to an ambiguous overall configuration. If you want to distribute this
2024-05-12T23:49:40,611           package, please make sure that 'mythril.support.assets' is explicitly added
2024-05-12T23:49:40,611           to the `packages` configuration field.

2024-05-12T23:49:40,612           Alternatively, you can also rely on setuptools' discovery methods
2024-05-12T23:49:40,613           (for example by using `find_namespace_packages(...)`/`find_namespace:`
2024-05-12T23:49:40,613           instead of `find_packages(...)`/`find:`).

2024-05-12T23:49:40,615           You can read more about "package discovery" on setuptools documentation page:

2024-05-12T23:49:40,616           - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

2024-05-12T23:49:40,617           If you don't want 'mythril.support.assets' to be distributed and are
2024-05-12T23:49:40,618           already explicitly excluding 'mythril.support.assets' via
2024-05-12T23:49:40,619           `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
2024-05-12T23:49:40,619           you can try to use `exclude_package_data`, or `include-package-data=False` in
2024-05-12T23:49:40,620           combination with a more fine grained `package-data` configuration.

2024-05-12T23:49:40,621           You can read more about "package data files" on setuptools documentation page:

2024-05-12T23:49:40,623           - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


2024-05-12T23:49:40,624           [^1]: For Python, any directory (with suitable naming) can be imported,
2024-05-12T23:49:40,625                 even if it does not contain any `.py` files.
2024-05-12T23:49:40,625                 On the other hand, currently there is no concept of package data
2024-05-12T23:49:40,626                 directory, all directories are treated like packages.
2024-05-12T23:49:40,626           ********************************************************************************

2024-05-12T23:49:40,627   !!
2024-05-12T23:49:40,628     check.warn(importable)
2024-05-12T23:49:40,628   creating build/lib/mythril/support/assets
2024-05-12T23:49:40,629   copying mythril/support/assets/signatures.db -> build/lib/mythril/support/assets
2024-05-12T23:49:41,016   creating build/lib/mythril/analysis/templates
2024-05-12T23:49:41,017   copying mythril/analysis/templates/callgraph.html -> build/lib/mythril/analysis/templates
2024-05-12T23:49:41,020   copying mythril/analysis/templates/report_as_markdown.jinja2 -> build/lib/mythril/analysis/templates
2024-05-12T23:49:41,022   copying mythril/analysis/templates/report_as_text.jinja2 -> build/lib/mythril/analysis/templates
2024-05-12T23:49:41,065   /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated.
2024-05-12T23:49:41,066   !!

2024-05-12T23:49:41,067           ********************************************************************************
2024-05-12T23:49:41,067           Please avoid running ``setup.py`` directly.
2024-05-12T23:49:41,068           Instead, use pypa/build, pypa/installer or other
2024-05-12T23:49:41,068           standards-based tools.

2024-05-12T23:49:41,069           See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details.
2024-05-12T23:49:41,070           ********************************************************************************

2024-05-12T23:49:41,071   !!
2024-05-12T23:49:41,072     self.initialize_options()
2024-05-12T23:49:41,092   installing to build/bdist.linux-armv7l/wheel
2024-05-12T23:49:41,093   running install
2024-05-12T23:49:41,117   running install_lib
2024-05-12T23:49:41,143   creating build/bdist.linux-armv7l
2024-05-12T23:49:41,143   creating build/bdist.linux-armv7l/wheel
2024-05-12T23:49:41,145   creating build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,146   copying build/lib/fdg/expression_slot.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,149   copying build/lib/fdg/global_config.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,151   copying build/lib/fdg/instruction_modification.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,155   copying build/lib/fdg/utils.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,159   copying build/lib/fdg/__version__.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,162   creating build/bdist.linux-armv7l/wheel/fdg/control
2024-05-12T23:49:41,163   copying build/lib/fdg/control/guider.py -> build/bdist.linux-armv7l/wheel/fdg/control
2024-05-12T23:49:41,167   copying build/lib/fdg/control/function_assignment.py -> build/bdist.linux-armv7l/wheel/fdg/control
2024-05-12T23:49:41,170   copying build/lib/fdg/control/mine.py -> build/bdist.linux-armv7l/wheel/fdg/control
2024-05-12T23:49:41,174   copying build/lib/fdg/control/__init__.py -> build/bdist.linux-armv7l/wheel/fdg/control
2024-05-12T23:49:41,176   copying build/lib/fdg/control/weight_computation.py -> build/bdist.linux-armv7l/wheel/fdg/control
2024-05-12T23:49:41,179   copying build/lib/fdg/control/ftn_search_strategy.py -> build/bdist.linux-armv7l/wheel/fdg/control
2024-05-12T23:49:41,184   creating build/bdist.linux-armv7l/wheel/fdg/preprocessing
2024-05-12T23:49:41,186   copying build/lib/fdg/preprocessing/address_collection.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing
2024-05-12T23:49:41,190   copying build/lib/fdg/preprocessing/read_in_conditions.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing
2024-05-12T23:49:41,192   copying build/lib/fdg/preprocessing/slot_location.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing
2024-05-12T23:49:41,195   copying build/lib/fdg/preprocessing/instruction_coverage.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing
2024-05-12T23:49:41,197   copying build/lib/fdg/preprocessing/__init__.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing
2024-05-12T23:49:41,199   copying build/lib/fdg/preprocessing/preprocess.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing
2024-05-12T23:49:41,201   copying build/lib/fdg/preprocessing/write_read_info.py -> build/bdist.linux-armv7l/wheel/fdg/preprocessing
2024-05-12T23:49:41,203   copying build/lib/fdg/fdg_pruner.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,207   copying build/lib/fdg/__init__.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,210   copying build/lib/fdg/function_coverage.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,217   copying build/lib/fdg/output_data.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,225   copying build/lib/fdg/fwrg_manager.py -> build/bdist.linux-armv7l/wheel/fdg
2024-05-12T23:49:41,235   creating build/bdist.linux-armv7l/wheel/mythril
2024-05-12T23:49:41,236   copying build/lib/mythril/__main__.py -> build/bdist.linux-armv7l/wheel/mythril
2024-05-12T23:49:41,239   copying build/lib/mythril/exceptions.py -> build/bdist.linux-armv7l/wheel/mythril
2024-05-12T23:49:41,241   creating build/bdist.linux-armv7l/wheel/mythril/interfaces
2024-05-12T23:49:41,242   copying build/lib/mythril/interfaces/epic.py -> build/bdist.linux-armv7l/wheel/mythril/interfaces
2024-05-12T23:49:41,245   copying build/lib/mythril/interfaces/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/interfaces
2024-05-12T23:49:41,247   copying build/lib/mythril/interfaces/cli.py -> build/bdist.linux-armv7l/wheel/mythril/interfaces
2024-05-12T23:49:41,250   copying build/lib/mythril/__version__.py -> build/bdist.linux-armv7l/wheel/mythril
2024-05-12T23:49:41,253   creating build/bdist.linux-armv7l/wheel/mythril/laser
2024-05-12T23:49:41,255   creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,257   copying build/lib/mythril/laser/ethereum/instructions.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,263   creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,264   copying build/lib/mythril/laser/ethereum/state/environment.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,267   copying build/lib/mythril/laser/ethereum/state/memory.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,270   copying build/lib/mythril/laser/ethereum/state/global_state.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,273   copying build/lib/mythril/laser/ethereum/state/return_data.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,275   copying build/lib/mythril/laser/ethereum/state/annotation.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,277   copying build/lib/mythril/laser/ethereum/state/account.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,281   copying build/lib/mythril/laser/ethereum/state/world_state.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,284   copying build/lib/mythril/laser/ethereum/state/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,286   copying build/lib/mythril/laser/ethereum/state/machine_state.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,289   copying build/lib/mythril/laser/ethereum/state/constraints.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,292   copying build/lib/mythril/laser/ethereum/state/calldata.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/state
2024-05-12T23:49:41,295   copying build/lib/mythril/laser/ethereum/cfg.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,298   copying build/lib/mythril/laser/ethereum/cheat_code.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,300   copying build/lib/mythril/laser/ethereum/time_handler.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,303   copying build/lib/mythril/laser/ethereum/instruction_data.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,305   copying build/lib/mythril/laser/ethereum/call.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,308   copying build/lib/mythril/laser/ethereum/svm.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,312   copying build/lib/mythril/laser/ethereum/natives.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,314   copying build/lib/mythril/laser/ethereum/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,316   copying build/lib/mythril/laser/ethereum/evm_exceptions.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,319   creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers
2024-05-12T23:49:41,320   copying build/lib/mythril/laser/ethereum/function_managers/exponent_function_manager.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers
2024-05-12T23:49:41,323   copying build/lib/mythril/laser/ethereum/function_managers/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers
2024-05-12T23:49:41,326   copying build/lib/mythril/laser/ethereum/function_managers/keccak_function_manager.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/function_managers
2024-05-12T23:49:41,329   copying build/lib/mythril/laser/ethereum/util.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum
2024-05-12T23:49:41,332   creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy
2024-05-12T23:49:41,333   creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy/extensions
2024-05-12T23:49:41,335   copying build/lib/mythril/laser/ethereum/strategy/extensions/bounded_loops.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy/extensions
2024-05-12T23:49:41,338   copying build/lib/mythril/laser/ethereum/strategy/extensions/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy/extensions
2024-05-12T23:49:41,340   copying build/lib/mythril/laser/ethereum/strategy/concolic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy
2024-05-12T23:49:41,343   copying build/lib/mythril/laser/ethereum/strategy/basic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy
2024-05-12T23:49:41,345   copying build/lib/mythril/laser/ethereum/strategy/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy
2024-05-12T23:49:41,347   copying build/lib/mythril/laser/ethereum/strategy/beam.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy
2024-05-12T23:49:41,349   copying build/lib/mythril/laser/ethereum/strategy/constraint_strategy.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/strategy
2024-05-12T23:49:41,351   creating build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction
2024-05-12T23:49:41,352   copying build/lib/mythril/laser/ethereum/transaction/symbolic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction
2024-05-12T23:49:41,356   copying build/lib/mythril/laser/ethereum/transaction/concolic.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction
2024-05-12T23:49:41,361   copying build/lib/mythril/laser/ethereum/transaction/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction
2024-05-12T23:49:41,363   copying build/lib/mythril/laser/ethereum/transaction/transaction_models.py -> build/bdist.linux-armv7l/wheel/mythril/laser/ethereum/transaction
2024-05-12T23:49:41,365   copying build/lib/mythril/laser/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser
2024-05-12T23:49:41,367   copying build/lib/mythril/laser/execution_info.py -> build/bdist.linux-armv7l/wheel/mythril/laser
2024-05-12T23:49:41,369   creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin
2024-05-12T23:49:41,370   copying build/lib/mythril/laser/plugin/loader.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin
2024-05-12T23:49:41,371   copying build/lib/mythril/laser/plugin/signals.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin
2024-05-12T23:49:41,373   copying build/lib/mythril/laser/plugin/interface.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin
2024-05-12T23:49:41,375   copying build/lib/mythril/laser/plugin/builder.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin
2024-05-12T23:49:41,376   copying build/lib/mythril/laser/plugin/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin
2024-05-12T23:49:41,379   creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins
2024-05-12T23:49:41,380   creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/summary_backup
2024-05-12T23:49:41,381   copying build/lib/mythril/laser/plugin/plugins/summary_backup/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/summary_backup
2024-05-12T23:49:41,382   copying build/lib/mythril/laser/plugin/plugins/mutation_pruner.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins
2024-05-12T23:49:41,384   copying build/lib/mythril/laser/plugin/plugins/benchmark.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins
2024-05-12T23:49:41,386   copying build/lib/mythril/laser/plugin/plugins/call_depth_limiter.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins
2024-05-12T23:49:41,388   creating build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage
2024-05-12T23:49:41,389   copying build/lib/mythril/laser/plugin/plugins/coverage/coverage_plugin.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage
2024-05-12T23:49:41,391   copying build/lib/mythril/laser/plugin/plugins/coverage/coverage_strategy.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage
2024-05-12T23:49:41,393   copying build/lib/mythril/laser/plugin/plugins/coverage/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins/coverage
2024-05-12T23:49:41,395   copying build/lib/mythril/laser/plugin/plugins/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins
2024-05-12T23:49:41,397   copying build/lib/mythril/laser/plugin/plugins/instruction_profiler.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins
2024-05-12T23:49:41,399   copying build/lib/mythril/laser/plugin/plugins/plugin_annotations.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins
2024-05-12T23:49:41,401   copying build/lib/mythril/laser/plugin/plugins/dependency_pruner.py -> build/bdist.linux-armv7l/wheel/mythril/laser/plugin/plugins
2024-05-12T23:49:41,404   creating build/bdist.linux-armv7l/wheel/mythril/laser/smt
2024-05-12T23:49:41,405   copying build/lib/mythril/laser/smt/expression.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt
2024-05-12T23:49:41,407   copying build/lib/mythril/laser/smt/bitvec.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt
2024-05-12T23:49:41,410   copying build/lib/mythril/laser/smt/bool.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt
2024-05-12T23:49:41,412   copying build/lib/mythril/laser/smt/array.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt
2024-05-12T23:49:41,414   copying build/lib/mythril/laser/smt/bitvec_helper.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt
2024-05-12T23:49:41,416   copying build/lib/mythril/laser/smt/model.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt
2024-05-12T23:49:41,418   copying build/lib/mythril/laser/smt/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt
2024-05-12T23:49:41,420   creating build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver
2024-05-12T23:49:41,421   copying build/lib/mythril/laser/smt/solver/independence_solver.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver
2024-05-12T23:49:41,424   copying build/lib/mythril/laser/smt/solver/solver_statistics.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver
2024-05-12T23:49:41,425   copying build/lib/mythril/laser/smt/solver/solver.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver
2024-05-12T23:49:41,427   copying build/lib/mythril/laser/smt/solver/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt/solver
2024-05-12T23:49:41,429   copying build/lib/mythril/laser/smt/function.py -> build/bdist.linux-armv7l/wheel/mythril/laser/smt
2024-05-12T23:49:41,431   creating build/bdist.linux-armv7l/wheel/mythril/solidity
2024-05-12T23:49:41,432   copying build/lib/mythril/solidity/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/solidity
2024-05-12T23:49:41,433   copying build/lib/mythril/solidity/soliditycontract.py -> build/bdist.linux-armv7l/wheel/mythril/solidity
2024-05-12T23:49:41,436   creating build/bdist.linux-armv7l/wheel/mythril/ethereum
2024-05-12T23:49:41,438   creating build/bdist.linux-armv7l/wheel/mythril/ethereum/interface
2024-05-12T23:49:41,439   creating build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc
2024-05-12T23:49:41,440   copying build/lib/mythril/ethereum/interface/rpc/base_client.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc
2024-05-12T23:49:41,443   copying build/lib/mythril/ethereum/interface/rpc/exceptions.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc
2024-05-12T23:49:41,445   copying build/lib/mythril/ethereum/interface/rpc/utils.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc
2024-05-12T23:49:41,447   copying build/lib/mythril/ethereum/interface/rpc/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc
2024-05-12T23:49:41,448   copying build/lib/mythril/ethereum/interface/rpc/client.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc
2024-05-12T23:49:41,450   copying build/lib/mythril/ethereum/interface/rpc/constants.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface/rpc
2024-05-12T23:49:41,452   copying build/lib/mythril/ethereum/interface/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum/interface
2024-05-12T23:49:41,454   copying build/lib/mythril/ethereum/evmcontract.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum
2024-05-12T23:49:41,456   copying build/lib/mythril/ethereum/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum
2024-05-12T23:49:41,458   copying build/lib/mythril/ethereum/util.py -> build/bdist.linux-armv7l/wheel/mythril/ethereum
2024-05-12T23:49:41,460   copying build/lib/mythril/__init__.py -> build/bdist.linux-armv7l/wheel/mythril
2024-05-12T23:49:41,463   creating build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,464   copying build/lib/mythril/support/loader.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,466   copying build/lib/mythril/support/start_time.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,469   copying build/lib/mythril/support/support_utils.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,471   copying build/lib/mythril/support/lock.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,473   creating build/bdist.linux-armv7l/wheel/mythril/support/assets
2024-05-12T23:49:41,475   copying build/lib/mythril/support/assets/signatures.db -> build/bdist.linux-armv7l/wheel/mythril/support/assets
2024-05-12T23:49:41,798   copying build/lib/mythril/support/model.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,800   copying build/lib/mythril/support/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,802   copying build/lib/mythril/support/source_support.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,804   copying build/lib/mythril/support/opcodes.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,806   copying build/lib/mythril/support/support_args.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,808   copying build/lib/mythril/support/signatures.py -> build/bdist.linux-armv7l/wheel/mythril/support
2024-05-12T23:49:41,811   creating build/bdist.linux-armv7l/wheel/mythril/plugin
2024-05-12T23:49:41,812   copying build/lib/mythril/plugin/discovery.py -> build/bdist.linux-armv7l/wheel/mythril/plugin
2024-05-12T23:49:41,815   copying build/lib/mythril/plugin/loader.py -> build/bdist.linux-armv7l/wheel/mythril/plugin
2024-05-12T23:49:41,819   copying build/lib/mythril/plugin/interface.py -> build/bdist.linux-armv7l/wheel/mythril/plugin
2024-05-12T23:49:41,825   copying build/lib/mythril/plugin/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/plugin
2024-05-12T23:49:41,828   creating build/bdist.linux-armv7l/wheel/mythril/disassembler
2024-05-12T23:49:41,829   copying build/lib/mythril/disassembler/asm.py -> build/bdist.linux-armv7l/wheel/mythril/disassembler
2024-05-12T23:49:41,831   copying build/lib/mythril/disassembler/disassembly.py -> build/bdist.linux-armv7l/wheel/mythril/disassembler
2024-05-12T23:49:41,834   copying build/lib/mythril/disassembler/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/disassembler
2024-05-12T23:49:41,835   creating build/bdist.linux-armv7l/wheel/mythril/mythril
2024-05-12T23:49:41,836   copying build/lib/mythril/mythril/mythril_analyzer.py -> build/bdist.linux-armv7l/wheel/mythril/mythril
2024-05-12T23:49:41,840   copying build/lib/mythril/mythril/mythril_disassembler.py -> build/bdist.linux-armv7l/wheel/mythril/mythril
2024-05-12T23:49:41,843   copying build/lib/mythril/mythril/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/mythril
2024-05-12T23:49:41,845   copying build/lib/mythril/mythril/mythril_config.py -> build/bdist.linux-armv7l/wheel/mythril/mythril
2024-05-12T23:49:41,850   creating build/bdist.linux-armv7l/wheel/mythril/concolic
2024-05-12T23:49:41,852   copying build/lib/mythril/concolic/concrete_data.py -> build/bdist.linux-armv7l/wheel/mythril/concolic
2024-05-12T23:49:41,855   copying build/lib/mythril/concolic/concolic_execution.py -> build/bdist.linux-armv7l/wheel/mythril/concolic
2024-05-12T23:49:41,857   copying build/lib/mythril/concolic/find_trace.py -> build/bdist.linux-armv7l/wheel/mythril/concolic
2024-05-12T23:49:41,859   copying build/lib/mythril/concolic/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/concolic
2024-05-12T23:49:41,861   creating build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,862   copying build/lib/mythril/analysis/potential_issues.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,865   copying build/lib/mythril/analysis/symbolic.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,867   copying build/lib/mythril/analysis/ops.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,869   copying build/lib/mythril/analysis/report.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,872   copying build/lib/mythril/analysis/security.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,874   copying build/lib/mythril/analysis/call_helpers.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,876   copying build/lib/mythril/analysis/swc_data.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,878   creating build/bdist.linux-armv7l/wheel/mythril/analysis/templates
2024-05-12T23:49:41,879   copying build/lib/mythril/analysis/templates/report_as_text.jinja2 -> build/bdist.linux-armv7l/wheel/mythril/analysis/templates
2024-05-12T23:49:41,881   copying build/lib/mythril/analysis/templates/report_as_markdown.jinja2 -> build/bdist.linux-armv7l/wheel/mythril/analysis/templates
2024-05-12T23:49:41,883   copying build/lib/mythril/analysis/templates/callgraph.html -> build/bdist.linux-armv7l/wheel/mythril/analysis/templates
2024-05-12T23:49:41,886   creating build/bdist.linux-armv7l/wheel/mythril/analysis/module
2024-05-12T23:49:41,887   copying build/lib/mythril/analysis/module/loader.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module
2024-05-12T23:49:41,890   creating build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,891   copying build/lib/mythril/analysis/module/modules/suicide.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,893   copying build/lib/mythril/analysis/module/modules/user_assertions.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,895   copying build/lib/mythril/analysis/module/modules/ether_thief.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,897   copying build/lib/mythril/analysis/module/modules/exceptions.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,899   copying build/lib/mythril/analysis/module/modules/dependence_on_origin.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,901   copying build/lib/mythril/analysis/module/modules/integer.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,904   copying build/lib/mythril/analysis/module/modules/state_change_external_calls.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,906   copying build/lib/mythril/analysis/module/modules/arbitrary_write.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,908   copying build/lib/mythril/analysis/module/modules/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,910   copying build/lib/mythril/analysis/module/modules/delegatecall.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,911   copying build/lib/mythril/analysis/module/modules/multiple_sends.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,914   copying build/lib/mythril/analysis/module/modules/arbitrary_jump.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,916   copying build/lib/mythril/analysis/module/modules/unchecked_retval.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,918   copying build/lib/mythril/analysis/module/modules/dependence_on_predictable_vars.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,920   copying build/lib/mythril/analysis/module/modules/external_calls.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module/modules
2024-05-12T23:49:41,922   copying build/lib/mythril/analysis/module/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module
2024-05-12T23:49:41,923   copying build/lib/mythril/analysis/module/module_helpers.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module
2024-05-12T23:49:41,925   copying build/lib/mythril/analysis/module/base.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module
2024-05-12T23:49:41,927   copying build/lib/mythril/analysis/module/util.py -> build/bdist.linux-armv7l/wheel/mythril/analysis/module
2024-05-12T23:49:41,929   copying build/lib/mythril/analysis/solver.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,932   copying build/lib/mythril/analysis/__init__.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,934   copying build/lib/mythril/analysis/traceexplore.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,937   copying build/lib/mythril/analysis/analysis_args.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,939   copying build/lib/mythril/analysis/issue_annotation.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,943   copying build/lib/mythril/analysis/callgraph.py -> build/bdist.linux-armv7l/wheel/mythril/analysis
2024-05-12T23:49:41,947   running install_egg_info
2024-05-12T23:49:41,983   Copying smartExecutorx.egg-info to build/bdist.linux-armv7l/wheel/smartExecutorx-4.1-py3.11.egg-info
2024-05-12T23:49:41,996   running install_scripts
2024-05-12T23:49:42,025   creating build/bdist.linux-armv7l/wheel/smartExecutorx-4.1.dist-info/WHEEL
2024-05-12T23:49:42,028   creating '/tmp/pip-wheel-otj_87vz/smartExecutorx-4.1-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
2024-05-12T23:49:42,032   adding 'fdg/__init__.py'
2024-05-12T23:49:42,034   adding 'fdg/__version__.py'
2024-05-12T23:49:42,037   adding 'fdg/expression_slot.py'
2024-05-12T23:49:42,040   adding 'fdg/fdg_pruner.py'
2024-05-12T23:49:42,043   adding 'fdg/function_coverage.py'
2024-05-12T23:49:42,047   adding 'fdg/fwrg_manager.py'
2024-05-12T23:49:42,048   adding 'fdg/global_config.py'
2024-05-12T23:49:42,051   adding 'fdg/instruction_modification.py'
2024-05-12T23:49:42,053   adding 'fdg/output_data.py'
2024-05-12T23:49:42,055   adding 'fdg/utils.py'
2024-05-12T23:49:42,058   adding 'fdg/control/__init__.py'
2024-05-12T23:49:42,060   adding 'fdg/control/ftn_search_strategy.py'
2024-05-12T23:49:42,063   adding 'fdg/control/function_assignment.py'
2024-05-12T23:49:42,066   adding 'fdg/control/guider.py'
2024-05-12T23:49:42,070   adding 'fdg/control/mine.py'
2024-05-12T23:49:42,072   adding 'fdg/control/weight_computation.py'
2024-05-12T23:49:42,075   adding 'fdg/preprocessing/__init__.py'
2024-05-12T23:49:42,076   adding 'fdg/preprocessing/address_collection.py'
2024-05-12T23:49:42,078   adding 'fdg/preprocessing/instruction_coverage.py'
2024-05-12T23:49:42,080   adding 'fdg/preprocessing/preprocess.py'
2024-05-12T23:49:42,082   adding 'fdg/preprocessing/read_in_conditions.py'
2024-05-12T23:49:42,085   adding 'fdg/preprocessing/slot_location.py'
2024-05-12T23:49:42,087   adding 'fdg/preprocessing/write_read_info.py'
2024-05-12T23:49:42,090   adding 'mythril/__init__.py'
2024-05-12T23:49:42,092   adding 'mythril/__main__.py'
2024-05-12T23:49:42,094   adding 'mythril/__version__.py'
2024-05-12T23:49:42,095   adding 'mythril/exceptions.py'
2024-05-12T23:49:42,098   adding 'mythril/analysis/__init__.py'
2024-05-12T23:49:42,099   adding 'mythril/analysis/analysis_args.py'
2024-05-12T23:49:42,101   adding 'mythril/analysis/call_helpers.py'
2024-05-12T23:49:42,103   adding 'mythril/analysis/callgraph.py'
2024-05-12T23:49:42,105   adding 'mythril/analysis/issue_annotation.py'
2024-05-12T23:49:42,107   adding 'mythril/analysis/ops.py'
2024-05-12T23:49:42,110   adding 'mythril/analysis/potential_issues.py'
2024-05-12T23:49:42,114   adding 'mythril/analysis/report.py'
2024-05-12T23:49:42,117   adding 'mythril/analysis/security.py'
2024-05-12T23:49:42,121   adding 'mythril/analysis/solver.py'
2024-05-12T23:49:42,124   adding 'mythril/analysis/swc_data.py'
2024-05-12T23:49:42,128   adding 'mythril/analysis/symbolic.py'
2024-05-12T23:49:42,132   adding 'mythril/analysis/traceexplore.py'
2024-05-12T23:49:42,135   adding 'mythril/analysis/module/__init__.py'
2024-05-12T23:49:42,137   adding 'mythril/analysis/module/base.py'
2024-05-12T23:49:42,139   adding 'mythril/analysis/module/loader.py'
2024-05-12T23:49:42,141   adding 'mythril/analysis/module/module_helpers.py'
2024-05-12T23:49:42,142   adding 'mythril/analysis/module/util.py'
2024-05-12T23:49:42,145   adding 'mythril/analysis/module/modules/__init__.py'
2024-05-12T23:49:42,147   adding 'mythril/analysis/module/modules/arbitrary_jump.py'
2024-05-12T23:49:42,149   adding 'mythril/analysis/module/modules/arbitrary_write.py'
2024-05-12T23:49:42,151   adding 'mythril/analysis/module/modules/delegatecall.py'
2024-05-12T23:49:42,153   adding 'mythril/analysis/module/modules/dependence_on_origin.py'
2024-05-12T23:49:42,155   adding 'mythril/analysis/module/modules/dependence_on_predictable_vars.py'
2024-05-12T23:49:42,157   adding 'mythril/analysis/module/modules/ether_thief.py'
2024-05-12T23:49:42,160   adding 'mythril/analysis/module/modules/exceptions.py'
2024-05-12T23:49:42,162   adding 'mythril/analysis/module/modules/external_calls.py'
2024-05-12T23:49:42,165   adding 'mythril/analysis/module/modules/integer.py'
2024-05-12T23:49:42,168   adding 'mythril/analysis/module/modules/multiple_sends.py'
2024-05-12T23:49:42,171   adding 'mythril/analysis/module/modules/state_change_external_calls.py'
2024-05-12T23:49:42,173   adding 'mythril/analysis/module/modules/suicide.py'
2024-05-12T23:49:42,175   adding 'mythril/analysis/module/modules/unchecked_retval.py'
2024-05-12T23:49:42,178   adding 'mythril/analysis/module/modules/user_assertions.py'
2024-05-12T23:49:42,181   adding 'mythril/analysis/templates/callgraph.html'
2024-05-12T23:49:42,182   adding 'mythril/analysis/templates/report_as_markdown.jinja2'
2024-05-12T23:49:42,184   adding 'mythril/analysis/templates/report_as_text.jinja2'
2024-05-12T23:49:42,185   adding 'mythril/concolic/__init__.py'
2024-05-12T23:49:42,187   adding 'mythril/concolic/concolic_execution.py'
2024-05-12T23:49:42,188   adding 'mythril/concolic/concrete_data.py'
2024-05-12T23:49:42,189   adding 'mythril/concolic/find_trace.py'
2024-05-12T23:49:42,191   adding 'mythril/disassembler/__init__.py'
2024-05-12T23:49:42,192   adding 'mythril/disassembler/asm.py'
2024-05-12T23:49:42,194   adding 'mythril/disassembler/disassembly.py'
2024-05-12T23:49:42,195   adding 'mythril/ethereum/__init__.py'
2024-05-12T23:49:42,197   adding 'mythril/ethereum/evmcontract.py'
2024-05-12T23:49:42,199   adding 'mythril/ethereum/util.py'
2024-05-12T23:49:42,201   adding 'mythril/ethereum/interface/__init__.py'
2024-05-12T23:49:42,203   adding 'mythril/ethereum/interface/rpc/__init__.py'
2024-05-12T23:49:42,205   adding 'mythril/ethereum/interface/rpc/base_client.py'
2024-05-12T23:49:42,206   adding 'mythril/ethereum/interface/rpc/client.py'
2024-05-12T23:49:42,208   adding 'mythril/ethereum/interface/rpc/constants.py'
2024-05-12T23:49:42,210   adding 'mythril/ethereum/interface/rpc/exceptions.py'
2024-05-12T23:49:42,211   adding 'mythril/ethereum/interface/rpc/utils.py'
2024-05-12T23:49:42,212   adding 'mythril/interfaces/__init__.py'
2024-05-12T23:49:42,216   adding 'mythril/interfaces/cli.py'
2024-05-12T23:49:42,218   adding 'mythril/interfaces/epic.py'
2024-05-12T23:49:42,220   adding 'mythril/laser/__init__.py'
2024-05-12T23:49:42,221   adding 'mythril/laser/execution_info.py'
2024-05-12T23:49:42,222   adding 'mythril/laser/ethereum/__init__.py'
2024-05-12T23:49:42,224   adding 'mythril/laser/ethereum/call.py'
2024-05-12T23:49:42,226   adding 'mythril/laser/ethereum/cfg.py'
2024-05-12T23:49:42,227   adding 'mythril/laser/ethereum/cheat_code.py'
2024-05-12T23:49:42,228   adding 'mythril/laser/ethereum/evm_exceptions.py'
2024-05-12T23:49:42,229   adding 'mythril/laser/ethereum/instruction_data.py'
2024-05-12T23:49:42,237   adding 'mythril/laser/ethereum/instructions.py'
2024-05-12T23:49:42,240   adding 'mythril/laser/ethereum/natives.py'
2024-05-12T23:49:42,244   adding 'mythril/laser/ethereum/svm.py'
2024-05-12T23:49:42,245   adding 'mythril/laser/ethereum/time_handler.py'
2024-05-12T23:49:42,247   adding 'mythril/laser/ethereum/util.py'
2024-05-12T23:49:42,249   adding 'mythril/laser/ethereum/function_managers/__init__.py'
2024-05-12T23:49:42,250   adding 'mythril/laser/ethereum/function_managers/exponent_function_manager.py'
2024-05-12T23:49:42,252   adding 'mythril/laser/ethereum/function_managers/keccak_function_manager.py'
2024-05-12T23:49:42,254   adding 'mythril/laser/ethereum/state/__init__.py'
2024-05-12T23:49:42,255   adding 'mythril/laser/ethereum/state/account.py'
2024-05-12T23:49:42,257   adding 'mythril/laser/ethereum/state/annotation.py'
2024-05-12T23:49:42,259   adding 'mythril/laser/ethereum/state/calldata.py'
2024-05-12T23:49:42,260   adding 'mythril/laser/ethereum/state/constraints.py'
2024-05-12T23:49:42,261   adding 'mythril/laser/ethereum/state/environment.py'
2024-05-12T23:49:42,263   adding 'mythril/laser/ethereum/state/global_state.py'
2024-05-12T23:49:42,265   adding 'mythril/laser/ethereum/state/machine_state.py'
2024-05-12T23:49:42,266   adding 'mythril/laser/ethereum/state/memory.py'
2024-05-12T23:49:42,268   adding 'mythril/laser/ethereum/state/return_data.py'
2024-05-12T23:49:42,270   adding 'mythril/laser/ethereum/state/world_state.py'
2024-05-12T23:49:42,272   adding 'mythril/laser/ethereum/strategy/__init__.py'
2024-05-12T23:49:42,273   adding 'mythril/laser/ethereum/strategy/basic.py'
2024-05-12T23:49:42,274   adding 'mythril/laser/ethereum/strategy/beam.py'
2024-05-12T23:49:42,276   adding 'mythril/laser/ethereum/strategy/concolic.py'
2024-05-12T23:49:42,277   adding 'mythril/laser/ethereum/strategy/constraint_strategy.py'
2024-05-12T23:49:42,278   adding 'mythril/laser/ethereum/strategy/extensions/__init__.py'
2024-05-12T23:49:42,280   adding 'mythril/laser/ethereum/strategy/extensions/bounded_loops.py'
2024-05-12T23:49:42,281   adding 'mythril/laser/ethereum/transaction/__init__.py'
2024-05-12T23:49:42,283   adding 'mythril/laser/ethereum/transaction/concolic.py'
2024-05-12T23:49:42,284   adding 'mythril/laser/ethereum/transaction/symbolic.py'
2024-05-12T23:49:42,286   adding 'mythril/laser/ethereum/transaction/transaction_models.py'
2024-05-12T23:49:42,288   adding 'mythril/laser/plugin/__init__.py'
2024-05-12T23:49:42,289   adding 'mythril/laser/plugin/builder.py'
2024-05-12T23:49:42,290   adding 'mythril/laser/plugin/interface.py'
2024-05-12T23:49:42,292   adding 'mythril/laser/plugin/loader.py'
2024-05-12T23:49:42,294   adding 'mythril/laser/plugin/signals.py'
2024-05-12T23:49:42,297   adding 'mythril/laser/plugin/plugins/__init__.py'
2024-05-12T23:49:42,299   adding 'mythril/laser/plugin/plugins/benchmark.py'
2024-05-12T23:49:42,301   adding 'mythril/laser/plugin/plugins/call_depth_limiter.py'
2024-05-12T23:49:42,304   adding 'mythril/laser/plugin/plugins/dependency_pruner.py'
2024-05-12T23:49:42,306   adding 'mythril/laser/plugin/plugins/instruction_profiler.py'
2024-05-12T23:49:42,308   adding 'mythril/laser/plugin/plugins/mutation_pruner.py'
2024-05-12T23:49:42,309   adding 'mythril/laser/plugin/plugins/plugin_annotations.py'
2024-05-12T23:49:42,311   adding 'mythril/laser/plugin/plugins/coverage/__init__.py'
2024-05-12T23:49:42,313   adding 'mythril/laser/plugin/plugins/coverage/coverage_plugin.py'
2024-05-12T23:49:42,314   adding 'mythril/laser/plugin/plugins/coverage/coverage_strategy.py'
2024-05-12T23:49:42,316   adding 'mythril/laser/plugin/plugins/summary_backup/__init__.py'
2024-05-12T23:49:42,318   adding 'mythril/laser/smt/__init__.py'
2024-05-12T23:49:42,319   adding 'mythril/laser/smt/array.py'
2024-05-12T23:49:42,320   adding 'mythril/laser/smt/bitvec.py'
2024-05-12T23:49:42,322   adding 'mythril/laser/smt/bitvec_helper.py'
2024-05-12T23:49:42,323   adding 'mythril/laser/smt/bool.py'
2024-05-12T23:49:42,324   adding 'mythril/laser/smt/expression.py'
2024-05-12T23:49:42,326   adding 'mythril/laser/smt/function.py'
2024-05-12T23:49:42,327   adding 'mythril/laser/smt/model.py'
2024-05-12T23:49:42,329   adding 'mythril/laser/smt/solver/__init__.py'
2024-05-12T23:49:42,330   adding 'mythril/laser/smt/solver/independence_solver.py'
2024-05-12T23:49:42,331   adding 'mythril/laser/smt/solver/solver.py'
2024-05-12T23:49:42,333   adding 'mythril/laser/smt/solver/solver_statistics.py'
2024-05-12T23:49:42,334   adding 'mythril/mythril/__init__.py'
2024-05-12T23:49:42,336   adding 'mythril/mythril/mythril_analyzer.py'
2024-05-12T23:49:42,338   adding 'mythril/mythril/mythril_config.py'
2024-05-12T23:49:42,340   adding 'mythril/mythril/mythril_disassembler.py'
2024-05-12T23:49:42,344   adding 'mythril/plugin/__init__.py'
2024-05-12T23:49:42,346   adding 'mythril/plugin/discovery.py'
2024-05-12T23:49:42,348   adding 'mythril/plugin/interface.py'
2024-05-12T23:49:42,351   adding 'mythril/plugin/loader.py'
2024-05-12T23:49:42,354   adding 'mythril/solidity/__init__.py'
2024-05-12T23:49:42,357   adding 'mythril/solidity/soliditycontract.py'
2024-05-12T23:49:42,362   adding 'mythril/support/__init__.py'
2024-05-12T23:49:42,364   adding 'mythril/support/loader.py'
2024-05-12T23:49:42,366   adding 'mythril/support/lock.py'
2024-05-12T23:49:42,367   adding 'mythril/support/model.py'
2024-05-12T23:49:42,369   adding 'mythril/support/opcodes.py'
2024-05-12T23:49:42,371   adding 'mythril/support/signatures.py'
2024-05-12T23:49:42,372   adding 'mythril/support/source_support.py'
2024-05-12T23:49:42,373   adding 'mythril/support/start_time.py'
2024-05-12T23:49:42,374   adding 'mythril/support/support_args.py'
2024-05-12T23:49:42,376   adding 'mythril/support/support_utils.py'
2024-05-12T23:49:43,705   adding 'mythril/support/assets/signatures.db'
2024-05-12T23:49:43,784   adding 'smartExecutorx-4.1.dist-info/LICENSE'
2024-05-12T23:49:43,786   adding 'smartExecutorx-4.1.dist-info/METADATA'
2024-05-12T23:49:43,787   adding 'smartExecutorx-4.1.dist-info/WHEEL'
2024-05-12T23:49:43,788   adding 'smartExecutorx-4.1.dist-info/entry_points.txt'
2024-05-12T23:49:43,789   adding 'smartExecutorx-4.1.dist-info/top_level.txt'
2024-05-12T23:49:43,791   adding 'smartExecutorx-4.1.dist-info/RECORD'
2024-05-12T23:49:43,886   removing build/bdist.linux-armv7l/wheel
2024-05-12T23:49:44,069   Building wheel for smartexecutorx (setup.py): finished with status 'done'
2024-05-12T23:49:44,117   Created wheel for smartexecutorx: filename=smartExecutorx-4.1-py3-none-any.whl size=4646324 sha256=451f7b5f9f2d3864b4685a75de996408883b4f5fbac13e6aa9b6a9b0e09a2b7e
2024-05-12T23:49:44,119   Stored in directory: /tmp/pip-ephem-wheel-cache-u1itzkdq/wheels/d3/6a/4c/07ea53bc221ec969eb05402f03c319181e305d8dc87bb297ad
2024-05-12T23:49:44,136 Successfully built smartexecutorx
2024-05-12T23:49:44,333 Removed build tracker: '/tmp/pip-build-tracker-xtxdykr1'