2020-04-17T16:02:25,418 Created temporary directory: /tmp/pip-ephem-wheel-cache-ry946e6j 2020-04-17T16:02:25,422 Created temporary directory: /tmp/pip-req-tracker-j3uuyqnh 2020-04-17T16:02:25,423 Initialized build tracking at /tmp/pip-req-tracker-j3uuyqnh 2020-04-17T16:02:25,424 Created build tracker: /tmp/pip-req-tracker-j3uuyqnh 2020-04-17T16:02:25,424 Entered build tracker: /tmp/pip-req-tracker-j3uuyqnh 2020-04-17T16:02:25,425 Created temporary directory: /tmp/pip-wheel-oxe4omh5 2020-04-17T16:02:25,431 1 location(s) to search for versions of slither-analyzer: 2020-04-17T16:02:25,431 * https://pypi.org/simple/slither-analyzer/ 2020-04-17T16:02:25,431 Fetching project page and analyzing links: https://pypi.org/simple/slither-analyzer/ 2020-04-17T16:02:25,432 Getting page https://pypi.org/simple/slither-analyzer/ 2020-04-17T16:02:25,435 Found index url https://pypi.org/simple 2020-04-17T16:02:25,438 Getting credentials from keyring for https://pypi.org/simple 2020-04-17T16:02:25,439 Getting credentials from keyring for pypi.org 2020-04-17T16:02:25,670 Found link https://files.pythonhosted.org/packages/0e/c2/681d2a66a0bd6eae180391fc240999588ffa5e6679ce31b17a831ba6a385/slither-analyzer-0.1.0.tar.gz#sha256=8105be1ba1cf75f0f7cc3d4d0bf17d53411aff486f15c74d1e56bf6a1cc46ede (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.1.0 2020-04-17T16:02:25,671 Skipping link: No binaries permitted for slither-analyzer: https://files.pythonhosted.org/packages/dd/7d/d5797bfa3494ba0e732c7d561886e74b3ea68750ddc081cd9798b75c4a6d/slither_analyzer-0.1.0-py3-none-any.whl#sha256=ddb16ce9a9754e2c72b369d7050c0db72bdbbf5adddd8ffd612b5646a6eeaf2b (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6) 2020-04-17T16:02:25,672 Found link https://files.pythonhosted.org/packages/3d/13/f369bb8da8b59291ec6ffba1a9b0bc9d47b891d8bd8465553ebbeb7d7308/slither-analyzer-0.2.0.tar.gz#sha256=9ae88c0f30cb52a094cd8c67054bc1dac2a4f515ad0773a9ff39542a074aa530 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.2.0 2020-04-17T16:02:25,673 Found link https://files.pythonhosted.org/packages/22/0a/ccc0c69b610d5b288610ab4c5155397b2db27db5d90fa9ba84c1f2852239/slither-analyzer-0.3.0.tar.gz#sha256=0f8d30e590f6191ab235e0c63187cdaf8f5de3afb876018eab7886332a667983 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.3.0 2020-04-17T16:02:25,674 Skipping link: No binaries permitted for slither-analyzer: https://files.pythonhosted.org/packages/9b/0f/b3169f232bbf0de2293eafa82a197f9d56b8c3fe93730ece35dee422f341/slither_analyzer-0.3.1-py3-none-any.whl#sha256=41d129f6fd532849b30bf92e25379ae20ba16e0fe943b17fa90e4187901d0b60 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6) 2020-04-17T16:02:25,674 Found link https://files.pythonhosted.org/packages/bb/21/9512867d8af37780b39a717ca7c67f32df4bdee99d796c5e815924c6726f/slither-analyzer-0.4.0.tar.gz#sha256=f384c9892b63ecf985576fb66d208f12c11fb6bb2f772379cc6148f456b3f5cd (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.4.0 2020-04-17T16:02:25,675 Skipping link: No binaries permitted for slither-analyzer: https://files.pythonhosted.org/packages/6e/b6/0d3cbe6d1b506dec11db6f17dff0c7a33f847d1bc1108ed3792f8c13741b/slither_analyzer-0.5.0-py3-none-any.whl#sha256=87530b9b33b977aa8beb0df3cc0b8a4262a9347dc7958cc585f200c641d60886 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6) 2020-04-17T16:02:25,676 Found link https://files.pythonhosted.org/packages/46/ef/9243635895db63e7284d62a833fdfc923351875c230dda1dc0ca51ba611c/slither-analyzer-0.5.1.tar.gz#sha256=58b26d18e6e984479bbb7956a3589078a10456f93b6a56453491c9e29619a331 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.5.1 2020-04-17T16:02:25,677 Skipping link: No binaries permitted for slither-analyzer: https://files.pythonhosted.org/packages/ae/3a/3f1fe9d4cb77238b557ce6a2c2a17667a480b3aebb064dcf0e58e85498f2/slither_analyzer-0.5.2-py3-none-any.whl#sha256=0130e0c164558f941bf1bf29b12bae5510e5cea6535cf151397955bbae02470f (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6) 2020-04-17T16:02:25,677 Skipping link: No binaries permitted for slither-analyzer: https://files.pythonhosted.org/packages/50/a8/13afb0f7857303277a8b28d9bdee464b3cdf91f8535895a9e6020c1013cb/slither_analyzer-0.6.0-py3-none-any.whl#sha256=4dd7281cf3503c002fa4ebf40a6c96fb54c14aac6ee4014e369fa904fbe0f0c0 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6) 2020-04-17T16:02:25,678 Skipping link: No binaries permitted for slither-analyzer: https://files.pythonhosted.org/packages/f4/94/868c0753eaedc853296d53c0ae61a25d2c346fd39a5357d77a74cd8cbba6/slither_analyzer-0.6.1-py3-none-any.whl#sha256=38eeb9c42ae537fb1ce4e6086d7e3aad05f97ce9310d07ef9031be6b6e22eeef (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6) 2020-04-17T16:02:25,678 Found link https://files.pythonhosted.org/packages/7c/13/d20101f50a2d53c436481febb3fcfbd130e43f334510312f7a2d1c3f4e58/slither-analyzer-0.6.2.tar.gz#sha256=3629d3648e28ccfed6f85f8d449a7b8893549c0c4c8adeda3ddef368d4b96f4b (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.6.2 2020-04-17T16:02:25,679 Skipping link: No binaries permitted for slither-analyzer: https://files.pythonhosted.org/packages/21/a8/faf2ef340fcbb20b983375c66a26e8643c880f7555b9121405cba07cef28/slither_analyzer-0.6.3-py3-none-any.whl#sha256=d08d4bf065b776efd837d76741092394ffb3f9dc865086d251da5202ac655cce (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6) 2020-04-17T16:02:25,680 Skipping link: No binaries permitted for slither-analyzer: https://files.pythonhosted.org/packages/3a/7c/13e7fb73b5b092733acb4002ae46601ad65c074a82cc0f6485e45fdba0a1/slither_analyzer-0.6.4-py3-none-any.whl#sha256=f653d8f73f0c5b156b9100c4f14f846331151ba7713ecdecd8036d25294b50b5 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6) 2020-04-17T16:02:25,680 Found link https://files.pythonhosted.org/packages/14/f0/ee8529324f4c9e14f664fecf2c18c14b4811acaf046b024a8e535a637d97/slither-analyzer-0.6.5.tar.gz#sha256=6eb89b1a79efbb90570afe6f690810c5781077a82a31be234efe521251d3e5b9 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.6.5 2020-04-17T16:02:25,681 Found link https://files.pythonhosted.org/packages/8b/2f/f446ad8631690fe92dbddeae16b390227e2262dc7015e7ccecd1cc216ddf/slither-analyzer-0.6.6.tar.gz#sha256=bccca447261c9c2dd0f05e296546dfff0f6325aaf725d1103666fb59672d3014 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.6.6 2020-04-17T16:02:25,682 Skipping link: No binaries permitted for slither-analyzer: https://files.pythonhosted.org/packages/11/1f/4be0195f06ee76ed9a0ef2c6e71f22c72fbac1dd5a9acb94d4532da7a0e3/slither_analyzer-0.6.7-py3-none-any.whl#sha256=9a9ac0c8ebbf22c40278ca1b375145019b0c81e062bf7d026f5ee42dda207fc3 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6) 2020-04-17T16:02:25,683 Found link https://files.pythonhosted.org/packages/18/96/f12553073283649e4f01e2e976e0a5a469e6d33cb3ce995263590f22fa0d/slither-analyzer-0.6.8.tar.gz#sha256=8b3dda96f4938bbfc1d8a7775416dd480323603293c04212b59c5a35510d35c1 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.6.8 2020-04-17T16:02:25,684 Found link https://files.pythonhosted.org/packages/34/56/b873d406cce0bd294f1870475dc7e93b72c6631af7ac568ac764d2a4e7cd/slither-analyzer-0.6.9.tar.gz#sha256=fb057eb7f5416ac76b6ab03bb5c20c39cb7b97c7689ce1e7244c9088bd28f513 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.6.9 2020-04-17T16:02:25,685 Found link https://files.pythonhosted.org/packages/14/ee/e0e025a0658d32199c7de89e3001b671648b0b54e6e5f00a470eb92eaf9d/slither-analyzer-0.6.10.tar.gz#sha256=cc9bf532a0b71cf6d12055e536398c17de5d53616ab2e98eb02229276f94e7ab (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.6.10 2020-04-17T16:02:25,686 Found link https://files.pythonhosted.org/packages/05/93/e51ee27dd3dee279dd3e6ba0a252b23f9fdb2d42636e7bfab72436b0686a/slither-analyzer-0.6.11.tar.gz#sha256=1150a3ac90be0f4df129e5779d95f809a1eb0434b7ce8eb66f651ded8d1054b0 (from https://pypi.org/simple/slither-analyzer/) (requires-python:>=3.6), version: 0.6.11 2020-04-17T16:02:25,697 Given no hashes to check 1 links for project 'slither-analyzer': discarding no candidates 2020-04-17T16:02:25,699 Using version 0.6.11 (newest of versions: 0.6.11) 2020-04-17T16:02:25,704 Collecting slither-analyzer==0.6.11 2020-04-17T16:02:25,707 Created temporary directory: /tmp/pip-unpack-qv5srcqh 2020-04-17T16:02:25,710 Getting credentials from keyring for files.pythonhosted.org 2020-04-17T16:02:25,979 Downloading slither-analyzer-0.6.11.tar.gz (213 kB) 2020-04-17T16:02:28,181 Added slither-analyzer==0.6.11 from https://files.pythonhosted.org/packages/05/93/e51ee27dd3dee279dd3e6ba0a252b23f9fdb2d42636e7bfab72436b0686a/slither-analyzer-0.6.11.tar.gz#sha256=1150a3ac90be0f4df129e5779d95f809a1eb0434b7ce8eb66f651ded8d1054b0 to build tracker '/tmp/pip-req-tracker-j3uuyqnh' 2020-04-17T16:02:28,184 Running setup.py (path:/tmp/pip-wheel-oxe4omh5/slither-analyzer/setup.py) egg_info for package slither-analyzer 2020-04-17T16:02:28,186 Running command python setup.py egg_info 2020-04-17T16:02:30,434 running egg_info 2020-04-17T16:02:30,440 creating /tmp/pip-wheel-oxe4omh5/slither-analyzer/pip-egg-info/slither_analyzer.egg-info 2020-04-17T16:02:30,481 writing /tmp/pip-wheel-oxe4omh5/slither-analyzer/pip-egg-info/slither_analyzer.egg-info/PKG-INFO 2020-04-17T16:02:30,491 writing dependency_links to /tmp/pip-wheel-oxe4omh5/slither-analyzer/pip-egg-info/slither_analyzer.egg-info/dependency_links.txt 2020-04-17T16:02:30,498 writing entry points to /tmp/pip-wheel-oxe4omh5/slither-analyzer/pip-egg-info/slither_analyzer.egg-info/entry_points.txt 2020-04-17T16:02:30,501 writing requirements to /tmp/pip-wheel-oxe4omh5/slither-analyzer/pip-egg-info/slither_analyzer.egg-info/requires.txt 2020-04-17T16:02:30,504 writing top-level names to /tmp/pip-wheel-oxe4omh5/slither-analyzer/pip-egg-info/slither_analyzer.egg-info/top_level.txt 2020-04-17T16:02:30,507 writing manifest file '/tmp/pip-wheel-oxe4omh5/slither-analyzer/pip-egg-info/slither_analyzer.egg-info/SOURCES.txt' 2020-04-17T16:02:30,903 reading manifest file '/tmp/pip-wheel-oxe4omh5/slither-analyzer/pip-egg-info/slither_analyzer.egg-info/SOURCES.txt' 2020-04-17T16:02:30,936 writing manifest file '/tmp/pip-wheel-oxe4omh5/slither-analyzer/pip-egg-info/slither_analyzer.egg-info/SOURCES.txt' 2020-04-17T16:02:31,059 Source in /tmp/pip-wheel-oxe4omh5/slither-analyzer has version 0.6.11, which satisfies requirement slither-analyzer==0.6.11 from https://files.pythonhosted.org/packages/05/93/e51ee27dd3dee279dd3e6ba0a252b23f9fdb2d42636e7bfab72436b0686a/slither-analyzer-0.6.11.tar.gz#sha256=1150a3ac90be0f4df129e5779d95f809a1eb0434b7ce8eb66f651ded8d1054b0 2020-04-17T16:02:31,060 Removed slither-analyzer==0.6.11 from https://files.pythonhosted.org/packages/05/93/e51ee27dd3dee279dd3e6ba0a252b23f9fdb2d42636e7bfab72436b0686a/slither-analyzer-0.6.11.tar.gz#sha256=1150a3ac90be0f4df129e5779d95f809a1eb0434b7ce8eb66f651ded8d1054b0 from build tracker '/tmp/pip-req-tracker-j3uuyqnh' 2020-04-17T16:02:31,066 Building wheels for collected packages: slither-analyzer 2020-04-17T16:02:31,076 Created temporary directory: /tmp/pip-wheel-szev0_03 2020-04-17T16:02:31,077 Building wheel for slither-analyzer (setup.py): started 2020-04-17T16:02:31,078 Destination directory: /tmp/pip-wheel-szev0_03 2020-04-17T16:02:31,078 Running command /usr/bin/python3 -u -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-oxe4omh5/slither-analyzer/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-oxe4omh5/slither-analyzer/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-szev0_03 2020-04-17T16:02:33,318 running bdist_wheel 2020-04-17T16:02:33,655 running build 2020-04-17T16:02:33,656 running build_py 2020-04-17T16:02:33,927 creating build 2020-04-17T16:02:33,928 creating build/lib 2020-04-17T16:02:33,930 creating build/lib/slither 2020-04-17T16:02:33,933 copying slither/exceptions.py -> build/lib/slither 2020-04-17T16:02:33,937 copying slither/__init__.py -> build/lib/slither 2020-04-17T16:02:33,942 copying slither/all_exceptions.py -> build/lib/slither 2020-04-17T16:02:33,946 copying slither/slither.py -> build/lib/slither 2020-04-17T16:02:33,951 copying slither/__main__.py -> build/lib/slither 2020-04-17T16:02:33,959 creating build/lib/slither/formatters 2020-04-17T16:02:33,962 copying slither/formatters/exceptions.py -> build/lib/slither/formatters 2020-04-17T16:02:33,968 copying slither/formatters/__init__.py -> build/lib/slither/formatters 2020-04-17T16:02:33,974 creating build/lib/slither/tools 2020-04-17T16:02:33,976 copying slither/tools/__init__.py -> build/lib/slither/tools 2020-04-17T16:02:33,982 creating build/lib/slither/analyses 2020-04-17T16:02:33,984 copying slither/analyses/__init__.py -> build/lib/slither/analyses 2020-04-17T16:02:33,989 creating build/lib/slither/solc_parsing 2020-04-17T16:02:33,992 copying slither/solc_parsing/slitherSolc.py -> build/lib/slither/solc_parsing 2020-04-17T16:02:33,998 copying slither/solc_parsing/exceptions.py -> build/lib/slither/solc_parsing 2020-04-17T16:02:34,003 copying slither/solc_parsing/__init__.py -> build/lib/slither/solc_parsing 2020-04-17T16:02:34,010 creating build/lib/slither/printers 2020-04-17T16:02:34,012 copying slither/printers/abstract_printer.py -> build/lib/slither/printers 2020-04-17T16:02:34,018 copying slither/printers/__init__.py -> build/lib/slither/printers 2020-04-17T16:02:34,022 copying slither/printers/all_printers.py -> build/lib/slither/printers 2020-04-17T16:02:34,027 creating build/lib/slither/core 2020-04-17T16:02:34,029 copying slither/core/exceptions.py -> build/lib/slither/core 2020-04-17T16:02:34,033 copying slither/core/__init__.py -> build/lib/slither/core 2020-04-17T16:02:34,036 copying slither/core/slither_core.py -> build/lib/slither/core 2020-04-17T16:02:34,044 creating build/lib/slither/visitors 2020-04-17T16:02:34,047 copying slither/visitors/__init__.py -> build/lib/slither/visitors 2020-04-17T16:02:34,055 creating build/lib/slither/utils 2020-04-17T16:02:34,060 copying slither/utils/expression_manipulations.py -> build/lib/slither/utils 2020-04-17T16:02:34,066 copying slither/utils/output.py -> build/lib/slither/utils 2020-04-17T16:02:34,072 copying slither/utils/output_capture.py -> build/lib/slither/utils 2020-04-17T16:02:34,076 copying slither/utils/utils.py -> build/lib/slither/utils 2020-04-17T16:02:34,079 copying slither/utils/function.py -> build/lib/slither/utils 2020-04-17T16:02:34,084 copying slither/utils/inheritance_analysis.py -> build/lib/slither/utils 2020-04-17T16:02:34,090 copying slither/utils/standard_libraries.py -> build/lib/slither/utils 2020-04-17T16:02:34,097 copying slither/utils/code_complexity.py -> build/lib/slither/utils 2020-04-17T16:02:34,102 copying slither/utils/arithmetic.py -> build/lib/slither/utils 2020-04-17T16:02:34,106 copying slither/utils/erc.py -> build/lib/slither/utils 2020-04-17T16:02:34,111 copying slither/utils/colors.py -> build/lib/slither/utils 2020-04-17T16:02:34,115 copying slither/utils/__init__.py -> build/lib/slither/utils 2020-04-17T16:02:34,119 copying slither/utils/command_line.py -> build/lib/slither/utils 2020-04-17T16:02:34,124 copying slither/utils/type.py -> build/lib/slither/utils 2020-04-17T16:02:34,132 creating build/lib/slither/slithir 2020-04-17T16:02:34,135 copying slither/slithir/convert.py -> build/lib/slither/slithir 2020-04-17T16:02:34,147 copying slither/slithir/exceptions.py -> build/lib/slither/slithir 2020-04-17T16:02:34,153 copying slither/slithir/__init__.py -> build/lib/slither/slithir 2020-04-17T16:02:34,161 creating build/lib/slither/detectors 2020-04-17T16:02:34,165 copying slither/detectors/all_detectors.py -> build/lib/slither/detectors 2020-04-17T16:02:34,170 copying slither/detectors/__init__.py -> build/lib/slither/detectors 2020-04-17T16:02:34,174 copying slither/detectors/abstract_detector.py -> build/lib/slither/detectors 2020-04-17T16:02:34,181 creating build/lib/slither/formatters/functions 2020-04-17T16:02:34,185 copying slither/formatters/functions/external_function.py -> build/lib/slither/formatters/functions 2020-04-17T16:02:34,192 copying slither/formatters/functions/__init__.py -> build/lib/slither/formatters/functions 2020-04-17T16:02:34,200 creating build/lib/slither/formatters/variables 2020-04-17T16:02:34,203 copying slither/formatters/variables/__init__.py -> build/lib/slither/formatters/variables 2020-04-17T16:02:34,209 copying slither/formatters/variables/possible_const_state_variables.py -> build/lib/slither/formatters/variables 2020-04-17T16:02:34,214 copying slither/formatters/variables/unused_state_variables.py -> build/lib/slither/formatters/variables 2020-04-17T16:02:34,220 creating build/lib/slither/formatters/naming_convention 2020-04-17T16:02:34,223 copying slither/formatters/naming_convention/naming_convention.py -> build/lib/slither/formatters/naming_convention 2020-04-17T16:02:34,232 copying slither/formatters/naming_convention/__init__.py -> build/lib/slither/formatters/naming_convention 2020-04-17T16:02:34,240 creating build/lib/slither/formatters/utils 2020-04-17T16:02:34,244 copying slither/formatters/utils/patches.py -> build/lib/slither/formatters/utils 2020-04-17T16:02:34,250 copying slither/formatters/utils/__init__.py -> build/lib/slither/formatters/utils 2020-04-17T16:02:34,256 creating build/lib/slither/formatters/attributes 2020-04-17T16:02:34,259 copying slither/formatters/attributes/incorrect_solc.py -> build/lib/slither/formatters/attributes 2020-04-17T16:02:34,265 copying slither/formatters/attributes/constant_pragma.py -> build/lib/slither/formatters/attributes 2020-04-17T16:02:34,272 copying slither/formatters/attributes/const_functions.py -> build/lib/slither/formatters/attributes 2020-04-17T16:02:34,279 copying slither/formatters/attributes/__init__.py -> build/lib/slither/formatters/attributes 2020-04-17T16:02:34,286 creating build/lib/slither/tools/erc_conformance 2020-04-17T16:02:34,289 copying slither/tools/erc_conformance/__init__.py -> build/lib/slither/tools/erc_conformance 2020-04-17T16:02:34,294 copying slither/tools/erc_conformance/__main__.py -> build/lib/slither/tools/erc_conformance 2020-04-17T16:02:34,300 creating build/lib/slither/tools/flattening 2020-04-17T16:02:34,302 copying slither/tools/flattening/__init__.py -> build/lib/slither/tools/flattening 2020-04-17T16:02:34,307 copying slither/tools/flattening/__main__.py -> build/lib/slither/tools/flattening 2020-04-17T16:02:34,312 copying slither/tools/flattening/flattening.py -> build/lib/slither/tools/flattening 2020-04-17T16:02:34,319 creating build/lib/slither/tools/upgradeability 2020-04-17T16:02:34,321 copying slither/tools/upgradeability/__init__.py -> build/lib/slither/tools/upgradeability 2020-04-17T16:02:34,325 copying slither/tools/upgradeability/__main__.py -> build/lib/slither/tools/upgradeability 2020-04-17T16:02:34,332 creating build/lib/slither/tools/possible_paths 2020-04-17T16:02:34,335 copying slither/tools/possible_paths/possible_paths.py -> build/lib/slither/tools/possible_paths 2020-04-17T16:02:34,341 copying slither/tools/possible_paths/__init__.py -> build/lib/slither/tools/possible_paths 2020-04-17T16:02:34,345 copying slither/tools/possible_paths/__main__.py -> build/lib/slither/tools/possible_paths 2020-04-17T16:02:34,354 creating build/lib/slither/tools/similarity 2020-04-17T16:02:34,358 copying slither/tools/similarity/plot.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,365 copying slither/tools/similarity/encode.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,371 copying slither/tools/similarity/similarity.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,376 copying slither/tools/similarity/train.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,381 copying slither/tools/similarity/model.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,386 copying slither/tools/similarity/test.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,391 copying slither/tools/similarity/__init__.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,398 copying slither/tools/similarity/info.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,405 copying slither/tools/similarity/cache.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,411 copying slither/tools/similarity/__main__.py -> build/lib/slither/tools/similarity 2020-04-17T16:02:34,418 creating build/lib/slither/tools/utils 2020-04-17T16:02:34,420 copying slither/tools/utils/__init__.py -> build/lib/slither/tools/utils 2020-04-17T16:02:34,426 creating build/lib/slither/tools/kspec_coverage 2020-04-17T16:02:34,429 copying slither/tools/kspec_coverage/kspec_coverage.py -> build/lib/slither/tools/kspec_coverage 2020-04-17T16:02:34,435 copying slither/tools/kspec_coverage/__init__.py -> build/lib/slither/tools/kspec_coverage 2020-04-17T16:02:34,440 copying slither/tools/kspec_coverage/__main__.py -> build/lib/slither/tools/kspec_coverage 2020-04-17T16:02:34,445 copying slither/tools/kspec_coverage/analysis.py -> build/lib/slither/tools/kspec_coverage 2020-04-17T16:02:34,452 creating build/lib/slither/tools/properties 2020-04-17T16:02:34,456 copying slither/tools/properties/utils.py -> build/lib/slither/tools/properties 2020-04-17T16:02:34,463 copying slither/tools/properties/__init__.py -> build/lib/slither/tools/properties 2020-04-17T16:02:34,468 copying slither/tools/properties/__main__.py -> build/lib/slither/tools/properties 2020-04-17T16:02:34,475 creating build/lib/slither/tools/slither_format 2020-04-17T16:02:34,477 copying slither/tools/slither_format/slither_format.py -> build/lib/slither/tools/slither_format 2020-04-17T16:02:34,482 copying slither/tools/slither_format/__init__.py -> build/lib/slither/tools/slither_format 2020-04-17T16:02:34,486 copying slither/tools/slither_format/__main__.py -> build/lib/slither/tools/slither_format 2020-04-17T16:02:34,491 creating build/lib/slither/tools/demo 2020-04-17T16:02:34,494 copying slither/tools/demo/__init__.py -> build/lib/slither/tools/demo 2020-04-17T16:02:34,499 copying slither/tools/demo/__main__.py -> build/lib/slither/tools/demo 2020-04-17T16:02:34,506 creating build/lib/slither/tools/erc_conformance/erc 2020-04-17T16:02:34,509 copying slither/tools/erc_conformance/erc/ercs.py -> build/lib/slither/tools/erc_conformance/erc 2020-04-17T16:02:34,515 copying slither/tools/erc_conformance/erc/__init__.py -> build/lib/slither/tools/erc_conformance/erc 2020-04-17T16:02:34,519 copying slither/tools/erc_conformance/erc/erc20.py -> build/lib/slither/tools/erc_conformance/erc 2020-04-17T16:02:34,524 creating build/lib/slither/tools/upgradeability/checks 2020-04-17T16:02:34,526 copying slither/tools/upgradeability/checks/constant.py -> build/lib/slither/tools/upgradeability/checks 2020-04-17T16:02:34,532 copying slither/tools/upgradeability/checks/all_checks.py -> build/lib/slither/tools/upgradeability/checks 2020-04-17T16:02:34,538 copying slither/tools/upgradeability/checks/abstract_checks.py -> build/lib/slither/tools/upgradeability/checks 2020-04-17T16:02:34,544 copying slither/tools/upgradeability/checks/functions_ids.py -> build/lib/slither/tools/upgradeability/checks 2020-04-17T16:02:34,551 copying slither/tools/upgradeability/checks/variable_initialization.py -> build/lib/slither/tools/upgradeability/checks 2020-04-17T16:02:34,556 copying slither/tools/upgradeability/checks/variables_order.py -> build/lib/slither/tools/upgradeability/checks 2020-04-17T16:02:34,561 copying slither/tools/upgradeability/checks/initialization.py -> build/lib/slither/tools/upgradeability/checks 2020-04-17T16:02:34,566 copying slither/tools/upgradeability/checks/__init__.py -> build/lib/slither/tools/upgradeability/checks 2020-04-17T16:02:34,571 creating build/lib/slither/tools/upgradeability/utils 2020-04-17T16:02:34,572 copying slither/tools/upgradeability/utils/__init__.py -> build/lib/slither/tools/upgradeability/utils 2020-04-17T16:02:34,577 copying slither/tools/upgradeability/utils/command_line.py -> build/lib/slither/tools/upgradeability/utils 2020-04-17T16:02:34,586 creating build/lib/slither/tools/properties/addresses 2020-04-17T16:02:34,588 copying slither/tools/properties/addresses/address.py -> build/lib/slither/tools/properties/addresses 2020-04-17T16:02:34,594 copying slither/tools/properties/addresses/__init__.py -> build/lib/slither/tools/properties/addresses 2020-04-17T16:02:34,599 creating build/lib/slither/tools/properties/platforms 2020-04-17T16:02:34,601 copying slither/tools/properties/platforms/echidna.py -> build/lib/slither/tools/properties/platforms 2020-04-17T16:02:34,605 copying slither/tools/properties/platforms/truffle.py -> build/lib/slither/tools/properties/platforms 2020-04-17T16:02:34,610 copying slither/tools/properties/platforms/__init__.py -> build/lib/slither/tools/properties/platforms 2020-04-17T16:02:34,616 creating build/lib/slither/tools/properties/properties 2020-04-17T16:02:34,619 copying slither/tools/properties/properties/properties.py -> build/lib/slither/tools/properties/properties 2020-04-17T16:02:34,625 copying slither/tools/properties/properties/__init__.py -> build/lib/slither/tools/properties/properties 2020-04-17T16:02:34,629 copying slither/tools/properties/properties/erc20.py -> build/lib/slither/tools/properties/properties 2020-04-17T16:02:34,637 creating build/lib/slither/tools/properties/solidity 2020-04-17T16:02:34,639 copying slither/tools/properties/solidity/__init__.py -> build/lib/slither/tools/properties/solidity 2020-04-17T16:02:34,642 copying slither/tools/properties/solidity/generate_properties.py -> build/lib/slither/tools/properties/solidity 2020-04-17T16:02:34,648 creating build/lib/slither/tools/properties/properties/ercs 2020-04-17T16:02:34,650 copying slither/tools/properties/properties/ercs/__init__.py -> build/lib/slither/tools/properties/properties/ercs 2020-04-17T16:02:34,655 creating build/lib/slither/tools/properties/properties/ercs/erc20 2020-04-17T16:02:34,657 copying slither/tools/properties/properties/ercs/erc20/__init__.py -> build/lib/slither/tools/properties/properties/ercs/erc20 2020-04-17T16:02:34,662 creating build/lib/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:34,664 copying slither/tools/properties/properties/ercs/erc20/properties/transfer.py -> build/lib/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:34,670 copying slither/tools/properties/properties/ercs/erc20/properties/mint_and_burn.py -> build/lib/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:34,674 copying slither/tools/properties/properties/ercs/erc20/properties/burn.py -> build/lib/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:34,678 copying slither/tools/properties/properties/ercs/erc20/properties/mint.py -> build/lib/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:34,682 copying slither/tools/properties/properties/ercs/erc20/properties/initialization.py -> build/lib/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:34,687 copying slither/tools/properties/properties/ercs/erc20/properties/__init__.py -> build/lib/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:34,691 creating build/lib/slither/tools/properties/properties/ercs/erc20/unit_tests 2020-04-17T16:02:34,693 copying slither/tools/properties/properties/ercs/erc20/unit_tests/truffle.py -> build/lib/slither/tools/properties/properties/ercs/erc20/unit_tests 2020-04-17T16:02:34,698 copying slither/tools/properties/properties/ercs/erc20/unit_tests/__init__.py -> build/lib/slither/tools/properties/properties/ercs/erc20/unit_tests 2020-04-17T16:02:34,703 creating build/lib/slither/analyses/data_dependency 2020-04-17T16:02:34,705 copying slither/analyses/data_dependency/__init__.py -> build/lib/slither/analyses/data_dependency 2020-04-17T16:02:34,709 copying slither/analyses/data_dependency/data_dependency.py -> build/lib/slither/analyses/data_dependency 2020-04-17T16:02:34,717 creating build/lib/slither/analyses/write 2020-04-17T16:02:34,719 copying slither/analyses/write/__init__.py -> build/lib/slither/analyses/write 2020-04-17T16:02:34,725 copying slither/analyses/write/are_variables_written.py -> build/lib/slither/analyses/write 2020-04-17T16:02:34,733 creating build/lib/slither/analyses/evm 2020-04-17T16:02:34,736 copying slither/analyses/evm/convert.py -> build/lib/slither/analyses/evm 2020-04-17T16:02:34,742 copying slither/analyses/evm/__init__.py -> build/lib/slither/analyses/evm 2020-04-17T16:02:34,746 copying slither/analyses/evm/evm_cfg_builder.py -> build/lib/slither/analyses/evm 2020-04-17T16:02:34,751 creating build/lib/slither/solc_parsing/cfg 2020-04-17T16:02:34,753 copying slither/solc_parsing/cfg/node.py -> build/lib/slither/solc_parsing/cfg 2020-04-17T16:02:34,759 copying slither/solc_parsing/cfg/__init__.py -> build/lib/slither/solc_parsing/cfg 2020-04-17T16:02:34,766 creating build/lib/slither/solc_parsing/solidity_types 2020-04-17T16:02:34,769 copying slither/solc_parsing/solidity_types/type_parsing.py -> build/lib/slither/solc_parsing/solidity_types 2020-04-17T16:02:34,776 copying slither/solc_parsing/solidity_types/__init__.py -> build/lib/slither/solc_parsing/solidity_types 2020-04-17T16:02:34,782 creating build/lib/slither/solc_parsing/variables 2020-04-17T16:02:34,784 copying slither/solc_parsing/variables/local_variable.py -> build/lib/slither/solc_parsing/variables 2020-04-17T16:02:34,789 copying slither/solc_parsing/variables/structure_variable.py -> build/lib/slither/solc_parsing/variables 2020-04-17T16:02:34,793 copying slither/solc_parsing/variables/event_variable.py -> build/lib/slither/solc_parsing/variables 2020-04-17T16:02:34,798 copying slither/solc_parsing/variables/variable_declaration.py -> build/lib/slither/solc_parsing/variables 2020-04-17T16:02:34,805 copying slither/solc_parsing/variables/function_type_variable.py -> build/lib/slither/solc_parsing/variables 2020-04-17T16:02:34,811 copying slither/solc_parsing/variables/state_variable.py -> build/lib/slither/solc_parsing/variables 2020-04-17T16:02:34,817 copying slither/solc_parsing/variables/local_variable_init_from_tuple.py -> build/lib/slither/solc_parsing/variables 2020-04-17T16:02:34,821 copying slither/solc_parsing/variables/__init__.py -> build/lib/slither/solc_parsing/variables 2020-04-17T16:02:34,826 creating build/lib/slither/solc_parsing/expressions 2020-04-17T16:02:34,828 copying slither/solc_parsing/expressions/__init__.py -> build/lib/slither/solc_parsing/expressions 2020-04-17T16:02:34,832 copying slither/solc_parsing/expressions/expression_parsing.py -> build/lib/slither/solc_parsing/expressions 2020-04-17T16:02:34,843 creating build/lib/slither/solc_parsing/declarations 2020-04-17T16:02:34,846 copying slither/solc_parsing/declarations/function.py -> build/lib/slither/solc_parsing/declarations 2020-04-17T16:02:34,858 copying slither/solc_parsing/declarations/event.py -> build/lib/slither/solc_parsing/declarations 2020-04-17T16:02:34,862 copying slither/solc_parsing/declarations/__init__.py -> build/lib/slither/solc_parsing/declarations 2020-04-17T16:02:34,870 copying slither/solc_parsing/declarations/modifier.py -> build/lib/slither/solc_parsing/declarations 2020-04-17T16:02:34,875 copying slither/solc_parsing/declarations/contract.py -> build/lib/slither/solc_parsing/declarations 2020-04-17T16:02:34,883 copying slither/solc_parsing/declarations/structure.py -> build/lib/slither/solc_parsing/declarations 2020-04-17T16:02:34,891 creating build/lib/slither/printers/functions 2020-04-17T16:02:34,893 copying slither/printers/functions/cfg.py -> build/lib/slither/printers/functions 2020-04-17T16:02:34,900 copying slither/printers/functions/authorization.py -> build/lib/slither/printers/functions 2020-04-17T16:02:34,904 copying slither/printers/functions/__init__.py -> build/lib/slither/printers/functions 2020-04-17T16:02:34,910 creating build/lib/slither/printers/summary 2020-04-17T16:02:34,912 copying slither/printers/summary/slithir_ssa.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,916 copying slither/printers/summary/variable_order.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,920 copying slither/printers/summary/human_summary.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,925 copying slither/printers/summary/modifier_calls.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,930 copying slither/printers/summary/function.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,934 copying slither/printers/summary/evm.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,939 copying slither/printers/summary/require_calls.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,944 copying slither/printers/summary/__init__.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,948 copying slither/printers/summary/constructor_calls.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,954 copying slither/printers/summary/data_depenency.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,959 copying slither/printers/summary/slithir.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,964 copying slither/printers/summary/contract.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,968 copying slither/printers/summary/function_ids.py -> build/lib/slither/printers/summary 2020-04-17T16:02:34,973 creating build/lib/slither/printers/call 2020-04-17T16:02:34,975 copying slither/printers/call/call_graph.py -> build/lib/slither/printers/call 2020-04-17T16:02:34,980 copying slither/printers/call/__init__.py -> build/lib/slither/printers/call 2020-04-17T16:02:34,987 creating build/lib/slither/printers/inheritance 2020-04-17T16:02:34,989 copying slither/printers/inheritance/inheritance_graph.py -> build/lib/slither/printers/inheritance 2020-04-17T16:02:34,997 copying slither/printers/inheritance/__init__.py -> build/lib/slither/printers/inheritance 2020-04-17T16:02:35,001 copying slither/printers/inheritance/inheritance.py -> build/lib/slither/printers/inheritance 2020-04-17T16:02:35,007 creating build/lib/slither/printers/guidance 2020-04-17T16:02:35,009 copying slither/printers/guidance/echidna.py -> build/lib/slither/printers/guidance 2020-04-17T16:02:35,015 copying slither/printers/guidance/__init__.py -> build/lib/slither/printers/guidance 2020-04-17T16:02:35,019 creating build/lib/slither/core/cfg 2020-04-17T16:02:35,021 copying slither/core/cfg/node.py -> build/lib/slither/core/cfg 2020-04-17T16:02:35,029 copying slither/core/cfg/__init__.py -> build/lib/slither/core/cfg 2020-04-17T16:02:35,034 creating build/lib/slither/core/solidity_types 2020-04-17T16:02:35,036 copying slither/core/solidity_types/user_defined_type.py -> build/lib/slither/core/solidity_types 2020-04-17T16:02:35,041 copying slither/core/solidity_types/type_information.py -> build/lib/slither/core/solidity_types 2020-04-17T16:02:35,046 copying slither/core/solidity_types/array_type.py -> build/lib/slither/core/solidity_types 2020-04-17T16:02:35,051 copying slither/core/solidity_types/function_type.py -> build/lib/slither/core/solidity_types 2020-04-17T16:02:35,057 copying slither/core/solidity_types/elementary_type.py -> build/lib/slither/core/solidity_types 2020-04-17T16:02:35,062 copying slither/core/solidity_types/__init__.py -> build/lib/slither/core/solidity_types 2020-04-17T16:02:35,067 copying slither/core/solidity_types/type.py -> build/lib/slither/core/solidity_types 2020-04-17T16:02:35,071 copying slither/core/solidity_types/mapping_type.py -> build/lib/slither/core/solidity_types 2020-04-17T16:02:35,077 creating build/lib/slither/core/variables 2020-04-17T16:02:35,079 copying slither/core/variables/local_variable.py -> build/lib/slither/core/variables 2020-04-17T16:02:35,089 copying slither/core/variables/structure_variable.py -> build/lib/slither/core/variables 2020-04-17T16:02:35,094 copying slither/core/variables/event_variable.py -> build/lib/slither/core/variables 2020-04-17T16:02:35,100 copying slither/core/variables/variable.py -> build/lib/slither/core/variables 2020-04-17T16:02:35,106 copying slither/core/variables/function_type_variable.py -> build/lib/slither/core/variables 2020-04-17T16:02:35,110 copying slither/core/variables/state_variable.py -> build/lib/slither/core/variables 2020-04-17T16:02:35,114 copying slither/core/variables/local_variable_init_from_tuple.py -> build/lib/slither/core/variables 2020-04-17T16:02:35,118 copying slither/core/variables/__init__.py -> build/lib/slither/core/variables 2020-04-17T16:02:35,124 creating build/lib/slither/core/expressions 2020-04-17T16:02:35,126 copying slither/core/expressions/index_access.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,132 copying slither/core/expressions/expression.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,137 copying slither/core/expressions/new_elementary_type.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,142 copying slither/core/expressions/identifier.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,148 copying slither/core/expressions/super_call_expression.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,153 copying slither/core/expressions/tuple_expression.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,158 copying slither/core/expressions/elementary_type_name_expression.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,168 copying slither/core/expressions/type_conversion.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,174 copying slither/core/expressions/unary_operation.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,180 copying slither/core/expressions/assignment_operation.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,186 copying slither/core/expressions/binary_operation.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,193 copying slither/core/expressions/__init__.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,199 copying slither/core/expressions/call_expression.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,205 copying slither/core/expressions/conditional_expression.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,210 copying slither/core/expressions/new_array.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,215 copying slither/core/expressions/member_access.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,219 copying slither/core/expressions/literal.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,224 copying slither/core/expressions/expression_typed.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,229 copying slither/core/expressions/new_contract.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,233 copying slither/core/expressions/super_identifier.py -> build/lib/slither/core/expressions 2020-04-17T16:02:35,239 creating build/lib/slither/core/source_mapping 2020-04-17T16:02:35,242 copying slither/core/source_mapping/source_mapping.py -> build/lib/slither/core/source_mapping 2020-04-17T16:02:35,247 copying slither/core/source_mapping/__init__.py -> build/lib/slither/core/source_mapping 2020-04-17T16:02:35,253 creating build/lib/slither/core/declarations 2020-04-17T16:02:35,256 copying slither/core/declarations/function.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,267 copying slither/core/declarations/enum.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,273 copying slither/core/declarations/solidity_variables.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,281 copying slither/core/declarations/event.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,288 copying slither/core/declarations/import_directive.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,293 copying slither/core/declarations/__init__.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,298 copying slither/core/declarations/modifier.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,302 copying slither/core/declarations/contract.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,311 copying slither/core/declarations/structure.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,317 copying slither/core/declarations/pragma_directive.py -> build/lib/slither/core/declarations 2020-04-17T16:02:35,327 creating build/lib/slither/core/children 2020-04-17T16:02:35,331 copying slither/core/children/child_function.py -> build/lib/slither/core/children 2020-04-17T16:02:35,337 copying slither/core/children/child_event.py -> build/lib/slither/core/children 2020-04-17T16:02:35,342 copying slither/core/children/child_slither.py -> build/lib/slither/core/children 2020-04-17T16:02:35,347 copying slither/core/children/child_structure.py -> build/lib/slither/core/children 2020-04-17T16:02:35,351 copying slither/core/children/child_inheritance.py -> build/lib/slither/core/children 2020-04-17T16:02:35,356 copying slither/core/children/child_expression.py -> build/lib/slither/core/children 2020-04-17T16:02:35,361 copying slither/core/children/__init__.py -> build/lib/slither/core/children 2020-04-17T16:02:35,365 copying slither/core/children/child_contract.py -> build/lib/slither/core/children 2020-04-17T16:02:35,370 copying slither/core/children/child_node.py -> build/lib/slither/core/children 2020-04-17T16:02:35,376 creating build/lib/slither/core/dominators 2020-04-17T16:02:35,378 copying slither/core/dominators/utils.py -> build/lib/slither/core/dominators 2020-04-17T16:02:35,383 copying slither/core/dominators/node_dominator_tree.py -> build/lib/slither/core/dominators 2020-04-17T16:02:35,387 copying slither/core/dominators/__init__.py -> build/lib/slither/core/dominators 2020-04-17T16:02:35,392 creating build/lib/slither/core/context 2020-04-17T16:02:35,394 copying slither/core/context/context.py -> build/lib/slither/core/context 2020-04-17T16:02:35,399 copying slither/core/context/__init__.py -> build/lib/slither/core/context 2020-04-17T16:02:35,408 creating build/lib/slither/visitors/expression 2020-04-17T16:02:35,410 copying slither/visitors/expression/has_conditional.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,416 copying slither/visitors/expression/constants_folding.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,421 copying slither/visitors/expression/expression.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,427 copying slither/visitors/expression/read_var.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,431 copying slither/visitors/expression/export_values.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,437 copying slither/visitors/expression/expression_printer.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,443 copying slither/visitors/expression/find_calls.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,470 copying slither/visitors/expression/left_value.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,476 copying slither/visitors/expression/find_push.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,482 copying slither/visitors/expression/__init__.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,487 copying slither/visitors/expression/write_var.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,494 copying slither/visitors/expression/right_value.py -> build/lib/slither/visitors/expression 2020-04-17T16:02:35,502 creating build/lib/slither/visitors/slithir 2020-04-17T16:02:35,505 copying slither/visitors/slithir/expression_to_slithir.py -> build/lib/slither/visitors/slithir 2020-04-17T16:02:35,514 copying slither/visitors/slithir/__init__.py -> build/lib/slither/visitors/slithir 2020-04-17T16:02:35,523 creating build/lib/slither/slithir/variables 2020-04-17T16:02:35,526 copying slither/slithir/variables/constant.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,532 copying slither/slithir/variables/temporary_ssa.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,538 copying slither/slithir/variables/local_variable.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,543 copying slither/slithir/variables/reference.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,547 copying slither/slithir/variables/temporary.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,552 copying slither/slithir/variables/variable.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,556 copying slither/slithir/variables/state_variable.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,562 copying slither/slithir/variables/tuple.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,568 copying slither/slithir/variables/tuple_ssa.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,577 copying slither/slithir/variables/__init__.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,583 copying slither/slithir/variables/reference_ssa.py -> build/lib/slither/slithir/variables 2020-04-17T16:02:35,591 creating build/lib/slither/slithir/tmp_operations 2020-04-17T16:02:35,595 copying slither/slithir/tmp_operations/tmp_new_contract.py -> build/lib/slither/slithir/tmp_operations 2020-04-17T16:02:35,600 copying slither/slithir/tmp_operations/tmp_call.py -> build/lib/slither/slithir/tmp_operations 2020-04-17T16:02:35,605 copying slither/slithir/tmp_operations/argument.py -> build/lib/slither/slithir/tmp_operations 2020-04-17T16:02:35,609 copying slither/slithir/tmp_operations/__init__.py -> build/lib/slither/slithir/tmp_operations 2020-04-17T16:02:35,612 copying slither/slithir/tmp_operations/tmp_new_elementary_type.py -> build/lib/slither/slithir/tmp_operations 2020-04-17T16:02:35,617 copying slither/slithir/tmp_operations/tmp_new_structure.py -> build/lib/slither/slithir/tmp_operations 2020-04-17T16:02:35,623 copying slither/slithir/tmp_operations/tmp_new_array.py -> build/lib/slither/slithir/tmp_operations 2020-04-17T16:02:35,631 creating build/lib/slither/slithir/utils 2020-04-17T16:02:35,634 copying slither/slithir/utils/utils.py -> build/lib/slither/slithir/utils 2020-04-17T16:02:35,641 copying slither/slithir/utils/ssa.py -> build/lib/slither/slithir/utils 2020-04-17T16:02:35,650 copying slither/slithir/utils/__init__.py -> build/lib/slither/slithir/utils 2020-04-17T16:02:35,662 creating build/lib/slither/slithir/operations 2020-04-17T16:02:35,665 copying slither/slithir/operations/phi_callback.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,669 copying slither/slithir/operations/binary.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,675 copying slither/slithir/operations/return_operation.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,679 copying slither/slithir/operations/unpack.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,684 copying slither/slithir/operations/internal_dynamic_call.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,691 copying slither/slithir/operations/length.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,697 copying slither/slithir/operations/transfer.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,703 copying slither/slithir/operations/low_level_call.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,709 copying slither/slithir/operations/condition.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,715 copying slither/slithir/operations/index.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,721 copying slither/slithir/operations/library_call.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,728 copying slither/slithir/operations/operation.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,734 copying slither/slithir/operations/assignment.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,740 copying slither/slithir/operations/phi.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,747 copying slither/slithir/operations/dereferencing.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,752 copying slither/slithir/operations/new_elementary_type.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,759 copying slither/slithir/operations/call.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,764 copying slither/slithir/operations/event_call.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,770 copying slither/slithir/operations/nop.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,776 copying slither/slithir/operations/lvalue.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,782 copying slither/slithir/operations/type_conversion.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,788 copying slither/slithir/operations/solidity_call.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,794 copying slither/slithir/operations/balance.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,800 copying slither/slithir/operations/internal_call.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,806 copying slither/slithir/operations/__init__.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,812 copying slither/slithir/operations/member.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,818 copying slither/slithir/operations/delete.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,824 copying slither/slithir/operations/new_array.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,830 copying slither/slithir/operations/init_array.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,836 copying slither/slithir/operations/new_contract.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,842 copying slither/slithir/operations/high_level_call.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,849 copying slither/slithir/operations/new_structure.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,855 copying slither/slithir/operations/unary.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,861 copying slither/slithir/operations/push.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,867 copying slither/slithir/operations/send.py -> build/lib/slither/slithir/operations 2020-04-17T16:02:35,875 creating build/lib/slither/detectors/functions 2020-04-17T16:02:35,878 copying slither/detectors/functions/arbitrary_send.py -> build/lib/slither/detectors/functions 2020-04-17T16:02:35,886 copying slither/detectors/functions/external_function.py -> build/lib/slither/detectors/functions 2020-04-17T16:02:35,892 copying slither/detectors/functions/suicidal.py -> build/lib/slither/detectors/functions 2020-04-17T16:02:35,897 copying slither/detectors/functions/complex_function.py -> build/lib/slither/detectors/functions 2020-04-17T16:02:35,901 copying slither/detectors/functions/__init__.py -> build/lib/slither/detectors/functions 2020-04-17T16:02:35,907 creating build/lib/slither/detectors/variables 2020-04-17T16:02:35,909 copying slither/detectors/variables/uninitialized_local_variables.py -> build/lib/slither/detectors/variables 2020-04-17T16:02:35,917 copying slither/detectors/variables/uninitialized_state_variables.py -> build/lib/slither/detectors/variables 2020-04-17T16:02:35,924 copying slither/detectors/variables/uninitialized_storage_variables.py -> build/lib/slither/detectors/variables 2020-04-17T16:02:35,929 copying slither/detectors/variables/__init__.py -> build/lib/slither/detectors/variables 2020-04-17T16:02:35,935 copying slither/detectors/variables/possible_const_state_variables.py -> build/lib/slither/detectors/variables 2020-04-17T16:02:35,943 copying slither/detectors/variables/unused_state_variables.py -> build/lib/slither/detectors/variables 2020-04-17T16:02:35,950 creating build/lib/slither/detectors/reentrancy 2020-04-17T16:02:35,953 copying slither/detectors/reentrancy/reentrancy_read_before_write.py -> build/lib/slither/detectors/reentrancy 2020-04-17T16:02:35,959 copying slither/detectors/reentrancy/reentrancy_eth.py -> build/lib/slither/detectors/reentrancy 2020-04-17T16:02:35,964 copying slither/detectors/reentrancy/reentrancy_benign.py -> build/lib/slither/detectors/reentrancy 2020-04-17T16:02:35,971 copying slither/detectors/reentrancy/reentrancy_events.py -> build/lib/slither/detectors/reentrancy 2020-04-17T16:02:35,977 copying slither/detectors/reentrancy/__init__.py -> build/lib/slither/detectors/reentrancy 2020-04-17T16:02:35,982 copying slither/detectors/reentrancy/reentrancy_no_gas.py -> build/lib/slither/detectors/reentrancy 2020-04-17T16:02:35,989 copying slither/detectors/reentrancy/reentrancy.py -> build/lib/slither/detectors/reentrancy 2020-04-17T16:02:35,997 creating build/lib/slither/detectors/statements 2020-04-17T16:02:36,000 copying slither/detectors/statements/divide_before_multiply.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,006 copying slither/detectors/statements/tx_origin.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,011 copying slither/detectors/statements/boolean_constant_equality.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,018 copying slither/detectors/statements/too_many_digits.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,024 copying slither/detectors/statements/assembly.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,030 copying slither/detectors/statements/calls_in_loop.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,035 copying slither/detectors/statements/deprecated_calls.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,043 copying slither/detectors/statements/boolean_constant_misuse.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,048 copying slither/detectors/statements/type_based_tautology.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,054 copying slither/detectors/statements/__init__.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,060 copying slither/detectors/statements/controlled_delegatecall.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,066 copying slither/detectors/statements/incorrect_strict_equality.py -> build/lib/slither/detectors/statements 2020-04-17T16:02:36,075 creating build/lib/slither/detectors/source 2020-04-17T16:02:36,078 copying slither/detectors/source/rtlo.py -> build/lib/slither/detectors/source 2020-04-17T16:02:36,083 copying slither/detectors/source/__init__.py -> build/lib/slither/detectors/source 2020-04-17T16:02:36,089 creating build/lib/slither/detectors/erc 2020-04-17T16:02:36,093 copying slither/detectors/erc/incorrect_erc721_interface.py -> build/lib/slither/detectors/erc 2020-04-17T16:02:36,101 copying slither/detectors/erc/__init__.py -> build/lib/slither/detectors/erc 2020-04-17T16:02:36,107 copying slither/detectors/erc/unindexed_event_parameters.py -> build/lib/slither/detectors/erc 2020-04-17T16:02:36,114 copying slither/detectors/erc/incorrect_erc20_interface.py -> build/lib/slither/detectors/erc 2020-04-17T16:02:36,121 creating build/lib/slither/detectors/shadowing 2020-04-17T16:02:36,124 copying slither/detectors/shadowing/builtin_symbols.py -> build/lib/slither/detectors/shadowing 2020-04-17T16:02:36,130 copying slither/detectors/shadowing/local.py -> build/lib/slither/detectors/shadowing 2020-04-17T16:02:36,136 copying slither/detectors/shadowing/__init__.py -> build/lib/slither/detectors/shadowing 2020-04-17T16:02:36,140 copying slither/detectors/shadowing/state.py -> build/lib/slither/detectors/shadowing 2020-04-17T16:02:36,145 copying slither/detectors/shadowing/abstract.py -> build/lib/slither/detectors/shadowing 2020-04-17T16:02:36,152 creating build/lib/slither/detectors/naming_convention 2020-04-17T16:02:36,156 copying slither/detectors/naming_convention/naming_convention.py -> build/lib/slither/detectors/naming_convention 2020-04-17T16:02:36,164 copying slither/detectors/naming_convention/__init__.py -> build/lib/slither/detectors/naming_convention 2020-04-17T16:02:36,171 creating build/lib/slither/detectors/slither 2020-04-17T16:02:36,174 copying slither/detectors/slither/__init__.py -> build/lib/slither/detectors/slither 2020-04-17T16:02:36,179 copying slither/detectors/slither/name_reused.py -> build/lib/slither/detectors/slither 2020-04-17T16:02:36,184 creating build/lib/slither/detectors/examples 2020-04-17T16:02:36,187 copying slither/detectors/examples/backdoor.py -> build/lib/slither/detectors/examples 2020-04-17T16:02:36,191 copying slither/detectors/examples/__init__.py -> build/lib/slither/detectors/examples 2020-04-17T16:02:36,199 creating build/lib/slither/detectors/operations 2020-04-17T16:02:36,202 copying slither/detectors/operations/void_constructor.py -> build/lib/slither/detectors/operations 2020-04-17T16:02:36,209 copying slither/detectors/operations/block_timestamp.py -> build/lib/slither/detectors/operations 2020-04-17T16:02:36,215 copying slither/detectors/operations/low_level_calls.py -> build/lib/slither/detectors/operations 2020-04-17T16:02:36,219 copying slither/detectors/operations/__init__.py -> build/lib/slither/detectors/operations 2020-04-17T16:02:36,223 copying slither/detectors/operations/unused_return_values.py -> build/lib/slither/detectors/operations 2020-04-17T16:02:36,228 copying slither/detectors/operations/unchecked_send_return_value.py -> build/lib/slither/detectors/operations 2020-04-17T16:02:36,233 copying slither/detectors/operations/unchecked_low_level_return_values.py -> build/lib/slither/detectors/operations 2020-04-17T16:02:36,241 creating build/lib/slither/detectors/attributes 2020-04-17T16:02:36,244 copying slither/detectors/attributes/incorrect_solc.py -> build/lib/slither/detectors/attributes 2020-04-17T16:02:36,252 copying slither/detectors/attributes/constant_pragma.py -> build/lib/slither/detectors/attributes 2020-04-17T16:02:36,257 copying slither/detectors/attributes/locked_ether.py -> build/lib/slither/detectors/attributes 2020-04-17T16:02:36,262 copying slither/detectors/attributes/__init__.py -> build/lib/slither/detectors/attributes 2020-04-17T16:02:36,265 copying slither/detectors/attributes/const_functions_asm.py -> build/lib/slither/detectors/attributes 2020-04-17T16:02:36,270 copying slither/detectors/attributes/const_functions_state.py -> build/lib/slither/detectors/attributes 2020-04-17T16:02:36,393 installing to build/bdist.linux-armv7l/wheel 2020-04-17T16:02:36,394 running install 2020-04-17T16:02:36,395 running install_lib 2020-04-17T16:02:36,402 creating build/bdist.linux-armv7l 2020-04-17T16:02:36,402 creating build/bdist.linux-armv7l/wheel 2020-04-17T16:02:36,407 creating build/bdist.linux-armv7l/wheel/slither 2020-04-17T16:02:36,411 creating build/bdist.linux-armv7l/wheel/slither/formatters 2020-04-17T16:02:36,415 creating build/bdist.linux-armv7l/wheel/slither/formatters/functions 2020-04-17T16:02:36,417 copying build/lib/slither/formatters/functions/external_function.py -> build/bdist.linux-armv7l/wheel/slither/formatters/functions 2020-04-17T16:02:36,423 copying build/lib/slither/formatters/functions/__init__.py -> build/bdist.linux-armv7l/wheel/slither/formatters/functions 2020-04-17T16:02:36,428 creating build/bdist.linux-armv7l/wheel/slither/formatters/variables 2020-04-17T16:02:36,430 copying build/lib/slither/formatters/variables/__init__.py -> build/bdist.linux-armv7l/wheel/slither/formatters/variables 2020-04-17T16:02:36,436 copying build/lib/slither/formatters/variables/possible_const_state_variables.py -> build/bdist.linux-armv7l/wheel/slither/formatters/variables 2020-04-17T16:02:36,442 copying build/lib/slither/formatters/variables/unused_state_variables.py -> build/bdist.linux-armv7l/wheel/slither/formatters/variables 2020-04-17T16:02:36,449 creating build/bdist.linux-armv7l/wheel/slither/formatters/naming_convention 2020-04-17T16:02:36,451 copying build/lib/slither/formatters/naming_convention/naming_convention.py -> build/bdist.linux-armv7l/wheel/slither/formatters/naming_convention 2020-04-17T16:02:36,459 copying build/lib/slither/formatters/naming_convention/__init__.py -> build/bdist.linux-armv7l/wheel/slither/formatters/naming_convention 2020-04-17T16:02:36,464 creating build/bdist.linux-armv7l/wheel/slither/formatters/utils 2020-04-17T16:02:36,466 copying build/lib/slither/formatters/utils/patches.py -> build/bdist.linux-armv7l/wheel/slither/formatters/utils 2020-04-17T16:02:36,472 copying build/lib/slither/formatters/utils/__init__.py -> build/bdist.linux-armv7l/wheel/slither/formatters/utils 2020-04-17T16:02:36,477 copying build/lib/slither/formatters/exceptions.py -> build/bdist.linux-armv7l/wheel/slither/formatters 2020-04-17T16:02:36,483 copying build/lib/slither/formatters/__init__.py -> build/bdist.linux-armv7l/wheel/slither/formatters 2020-04-17T16:02:36,489 creating build/bdist.linux-armv7l/wheel/slither/formatters/attributes 2020-04-17T16:02:36,491 copying build/lib/slither/formatters/attributes/incorrect_solc.py -> build/bdist.linux-armv7l/wheel/slither/formatters/attributes 2020-04-17T16:02:36,497 copying build/lib/slither/formatters/attributes/constant_pragma.py -> build/bdist.linux-armv7l/wheel/slither/formatters/attributes 2020-04-17T16:02:36,502 copying build/lib/slither/formatters/attributes/const_functions.py -> build/bdist.linux-armv7l/wheel/slither/formatters/attributes 2020-04-17T16:02:36,507 copying build/lib/slither/formatters/attributes/__init__.py -> build/bdist.linux-armv7l/wheel/slither/formatters/attributes 2020-04-17T16:02:36,514 creating build/bdist.linux-armv7l/wheel/slither/tools 2020-04-17T16:02:36,518 creating build/bdist.linux-armv7l/wheel/slither/tools/erc_conformance 2020-04-17T16:02:36,523 creating build/bdist.linux-armv7l/wheel/slither/tools/erc_conformance/erc 2020-04-17T16:02:36,527 copying build/lib/slither/tools/erc_conformance/erc/ercs.py -> build/bdist.linux-armv7l/wheel/slither/tools/erc_conformance/erc 2020-04-17T16:02:36,533 copying build/lib/slither/tools/erc_conformance/erc/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/erc_conformance/erc 2020-04-17T16:02:36,537 copying build/lib/slither/tools/erc_conformance/erc/erc20.py -> build/bdist.linux-armv7l/wheel/slither/tools/erc_conformance/erc 2020-04-17T16:02:36,541 copying build/lib/slither/tools/erc_conformance/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/erc_conformance 2020-04-17T16:02:36,545 copying build/lib/slither/tools/erc_conformance/__main__.py -> build/bdist.linux-armv7l/wheel/slither/tools/erc_conformance 2020-04-17T16:02:36,551 creating build/bdist.linux-armv7l/wheel/slither/tools/flattening 2020-04-17T16:02:36,554 copying build/lib/slither/tools/flattening/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/flattening 2020-04-17T16:02:36,559 copying build/lib/slither/tools/flattening/__main__.py -> build/bdist.linux-armv7l/wheel/slither/tools/flattening 2020-04-17T16:02:36,565 copying build/lib/slither/tools/flattening/flattening.py -> build/bdist.linux-armv7l/wheel/slither/tools/flattening 2020-04-17T16:02:36,574 creating build/bdist.linux-armv7l/wheel/slither/tools/upgradeability 2020-04-17T16:02:36,577 creating build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/checks 2020-04-17T16:02:36,580 copying build/lib/slither/tools/upgradeability/checks/constant.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/checks 2020-04-17T16:02:36,585 copying build/lib/slither/tools/upgradeability/checks/all_checks.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/checks 2020-04-17T16:02:36,589 copying build/lib/slither/tools/upgradeability/checks/abstract_checks.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/checks 2020-04-17T16:02:36,596 copying build/lib/slither/tools/upgradeability/checks/functions_ids.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/checks 2020-04-17T16:02:36,603 copying build/lib/slither/tools/upgradeability/checks/variable_initialization.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/checks 2020-04-17T16:02:36,609 copying build/lib/slither/tools/upgradeability/checks/variables_order.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/checks 2020-04-17T16:02:36,615 copying build/lib/slither/tools/upgradeability/checks/initialization.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/checks 2020-04-17T16:02:36,621 copying build/lib/slither/tools/upgradeability/checks/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/checks 2020-04-17T16:02:36,625 creating build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/utils 2020-04-17T16:02:36,627 copying build/lib/slither/tools/upgradeability/utils/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/utils 2020-04-17T16:02:36,631 copying build/lib/slither/tools/upgradeability/utils/command_line.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability/utils 2020-04-17T16:02:36,638 copying build/lib/slither/tools/upgradeability/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability 2020-04-17T16:02:36,642 copying build/lib/slither/tools/upgradeability/__main__.py -> build/bdist.linux-armv7l/wheel/slither/tools/upgradeability 2020-04-17T16:02:36,651 creating build/bdist.linux-armv7l/wheel/slither/tools/possible_paths 2020-04-17T16:02:36,654 copying build/lib/slither/tools/possible_paths/possible_paths.py -> build/bdist.linux-armv7l/wheel/slither/tools/possible_paths 2020-04-17T16:02:36,659 copying build/lib/slither/tools/possible_paths/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/possible_paths 2020-04-17T16:02:36,662 copying build/lib/slither/tools/possible_paths/__main__.py -> build/bdist.linux-armv7l/wheel/slither/tools/possible_paths 2020-04-17T16:02:36,668 creating build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,670 copying build/lib/slither/tools/similarity/plot.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,676 copying build/lib/slither/tools/similarity/encode.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,683 copying build/lib/slither/tools/similarity/similarity.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,689 copying build/lib/slither/tools/similarity/train.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,695 copying build/lib/slither/tools/similarity/model.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,699 copying build/lib/slither/tools/similarity/test.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,703 copying build/lib/slither/tools/similarity/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,707 copying build/lib/slither/tools/similarity/info.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,712 copying build/lib/slither/tools/similarity/cache.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,717 copying build/lib/slither/tools/similarity/__main__.py -> build/bdist.linux-armv7l/wheel/slither/tools/similarity 2020-04-17T16:02:36,725 creating build/bdist.linux-armv7l/wheel/slither/tools/utils 2020-04-17T16:02:36,727 copying build/lib/slither/tools/utils/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/utils 2020-04-17T16:02:36,734 creating build/bdist.linux-armv7l/wheel/slither/tools/kspec_coverage 2020-04-17T16:02:36,736 copying build/lib/slither/tools/kspec_coverage/kspec_coverage.py -> build/bdist.linux-armv7l/wheel/slither/tools/kspec_coverage 2020-04-17T16:02:36,741 copying build/lib/slither/tools/kspec_coverage/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/kspec_coverage 2020-04-17T16:02:36,745 copying build/lib/slither/tools/kspec_coverage/__main__.py -> build/bdist.linux-armv7l/wheel/slither/tools/kspec_coverage 2020-04-17T16:02:36,750 copying build/lib/slither/tools/kspec_coverage/analysis.py -> build/bdist.linux-armv7l/wheel/slither/tools/kspec_coverage 2020-04-17T16:02:36,755 copying build/lib/slither/tools/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools 2020-04-17T16:02:36,762 creating build/bdist.linux-armv7l/wheel/slither/tools/properties 2020-04-17T16:02:36,765 copying build/lib/slither/tools/properties/utils.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties 2020-04-17T16:02:36,773 creating build/bdist.linux-armv7l/wheel/slither/tools/properties/addresses 2020-04-17T16:02:36,776 copying build/lib/slither/tools/properties/addresses/address.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/addresses 2020-04-17T16:02:36,782 copying build/lib/slither/tools/properties/addresses/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/addresses 2020-04-17T16:02:36,787 creating build/bdist.linux-armv7l/wheel/slither/tools/properties/platforms 2020-04-17T16:02:36,789 copying build/lib/slither/tools/properties/platforms/echidna.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/platforms 2020-04-17T16:02:36,794 copying build/lib/slither/tools/properties/platforms/truffle.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/platforms 2020-04-17T16:02:36,801 copying build/lib/slither/tools/properties/platforms/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/platforms 2020-04-17T16:02:36,806 copying build/lib/slither/tools/properties/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties 2020-04-17T16:02:36,812 creating build/bdist.linux-armv7l/wheel/slither/tools/properties/properties 2020-04-17T16:02:36,815 copying build/lib/slither/tools/properties/properties/properties.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties 2020-04-17T16:02:36,820 copying build/lib/slither/tools/properties/properties/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties 2020-04-17T16:02:36,824 copying build/lib/slither/tools/properties/properties/erc20.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties 2020-04-17T16:02:36,830 creating build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs 2020-04-17T16:02:36,834 creating build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20 2020-04-17T16:02:36,836 copying build/lib/slither/tools/properties/properties/ercs/erc20/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20 2020-04-17T16:02:36,844 creating build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:36,847 copying build/lib/slither/tools/properties/properties/ercs/erc20/properties/transfer.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:36,855 copying build/lib/slither/tools/properties/properties/ercs/erc20/properties/mint_and_burn.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:36,861 copying build/lib/slither/tools/properties/properties/ercs/erc20/properties/burn.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:36,865 copying build/lib/slither/tools/properties/properties/ercs/erc20/properties/mint.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:36,870 copying build/lib/slither/tools/properties/properties/ercs/erc20/properties/initialization.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:36,875 copying build/lib/slither/tools/properties/properties/ercs/erc20/properties/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/properties 2020-04-17T16:02:36,881 creating build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/unit_tests 2020-04-17T16:02:36,884 copying build/lib/slither/tools/properties/properties/ercs/erc20/unit_tests/truffle.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/unit_tests 2020-04-17T16:02:36,890 copying build/lib/slither/tools/properties/properties/ercs/erc20/unit_tests/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs/erc20/unit_tests 2020-04-17T16:02:36,895 copying build/lib/slither/tools/properties/properties/ercs/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/properties/ercs 2020-04-17T16:02:36,900 copying build/lib/slither/tools/properties/__main__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties 2020-04-17T16:02:36,907 creating build/bdist.linux-armv7l/wheel/slither/tools/properties/solidity 2020-04-17T16:02:36,909 copying build/lib/slither/tools/properties/solidity/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/solidity 2020-04-17T16:02:36,913 copying build/lib/slither/tools/properties/solidity/generate_properties.py -> build/bdist.linux-armv7l/wheel/slither/tools/properties/solidity 2020-04-17T16:02:36,919 creating build/bdist.linux-armv7l/wheel/slither/tools/slither_format 2020-04-17T16:02:36,922 copying build/lib/slither/tools/slither_format/slither_format.py -> build/bdist.linux-armv7l/wheel/slither/tools/slither_format 2020-04-17T16:02:36,930 copying build/lib/slither/tools/slither_format/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/slither_format 2020-04-17T16:02:36,935 copying build/lib/slither/tools/slither_format/__main__.py -> build/bdist.linux-armv7l/wheel/slither/tools/slither_format 2020-04-17T16:02:36,942 creating build/bdist.linux-armv7l/wheel/slither/tools/demo 2020-04-17T16:02:36,944 copying build/lib/slither/tools/demo/__init__.py -> build/bdist.linux-armv7l/wheel/slither/tools/demo 2020-04-17T16:02:36,949 copying build/lib/slither/tools/demo/__main__.py -> build/bdist.linux-armv7l/wheel/slither/tools/demo 2020-04-17T16:02:36,955 creating build/bdist.linux-armv7l/wheel/slither/analyses 2020-04-17T16:02:36,958 creating build/bdist.linux-armv7l/wheel/slither/analyses/data_dependency 2020-04-17T16:02:36,961 copying build/lib/slither/analyses/data_dependency/__init__.py -> build/bdist.linux-armv7l/wheel/slither/analyses/data_dependency 2020-04-17T16:02:36,967 copying build/lib/slither/analyses/data_dependency/data_dependency.py -> build/bdist.linux-armv7l/wheel/slither/analyses/data_dependency 2020-04-17T16:02:36,976 creating build/bdist.linux-armv7l/wheel/slither/analyses/write 2020-04-17T16:02:36,979 copying build/lib/slither/analyses/write/__init__.py -> build/bdist.linux-armv7l/wheel/slither/analyses/write 2020-04-17T16:02:36,984 copying build/lib/slither/analyses/write/are_variables_written.py -> build/bdist.linux-armv7l/wheel/slither/analyses/write 2020-04-17T16:02:36,990 creating build/bdist.linux-armv7l/wheel/slither/analyses/evm 2020-04-17T16:02:36,992 copying build/lib/slither/analyses/evm/convert.py -> build/bdist.linux-armv7l/wheel/slither/analyses/evm 2020-04-17T16:02:36,998 copying build/lib/slither/analyses/evm/__init__.py -> build/bdist.linux-armv7l/wheel/slither/analyses/evm 2020-04-17T16:02:37,003 copying build/lib/slither/analyses/evm/evm_cfg_builder.py -> build/bdist.linux-armv7l/wheel/slither/analyses/evm 2020-04-17T16:02:37,009 copying build/lib/slither/analyses/__init__.py -> build/bdist.linux-armv7l/wheel/slither/analyses 2020-04-17T16:02:37,015 creating build/bdist.linux-armv7l/wheel/slither/solc_parsing 2020-04-17T16:02:37,020 creating build/bdist.linux-armv7l/wheel/slither/solc_parsing/cfg 2020-04-17T16:02:37,023 copying build/lib/slither/solc_parsing/cfg/node.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/cfg 2020-04-17T16:02:37,028 copying build/lib/slither/solc_parsing/cfg/__init__.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/cfg 2020-04-17T16:02:37,033 creating build/bdist.linux-armv7l/wheel/slither/solc_parsing/solidity_types 2020-04-17T16:02:37,035 copying build/lib/slither/solc_parsing/solidity_types/type_parsing.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/solidity_types 2020-04-17T16:02:37,041 copying build/lib/slither/solc_parsing/solidity_types/__init__.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/solidity_types 2020-04-17T16:02:37,047 creating build/bdist.linux-armv7l/wheel/slither/solc_parsing/variables 2020-04-17T16:02:37,050 copying build/lib/slither/solc_parsing/variables/local_variable.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/variables 2020-04-17T16:02:37,056 copying build/lib/slither/solc_parsing/variables/structure_variable.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/variables 2020-04-17T16:02:37,062 copying build/lib/slither/solc_parsing/variables/event_variable.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/variables 2020-04-17T16:02:37,067 copying build/lib/slither/solc_parsing/variables/variable_declaration.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/variables 2020-04-17T16:02:37,072 copying build/lib/slither/solc_parsing/variables/function_type_variable.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/variables 2020-04-17T16:02:37,077 copying build/lib/slither/solc_parsing/variables/state_variable.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/variables 2020-04-17T16:02:37,081 copying build/lib/slither/solc_parsing/variables/local_variable_init_from_tuple.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/variables 2020-04-17T16:02:37,087 copying build/lib/slither/solc_parsing/variables/__init__.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/variables 2020-04-17T16:02:37,093 creating build/bdist.linux-armv7l/wheel/slither/solc_parsing/expressions 2020-04-17T16:02:37,096 copying build/lib/slither/solc_parsing/expressions/__init__.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/expressions 2020-04-17T16:02:37,102 copying build/lib/slither/solc_parsing/expressions/expression_parsing.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/expressions 2020-04-17T16:02:37,111 creating build/bdist.linux-armv7l/wheel/slither/solc_parsing/declarations 2020-04-17T16:02:37,113 copying build/lib/slither/solc_parsing/declarations/function.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/declarations 2020-04-17T16:02:37,123 copying build/lib/slither/solc_parsing/declarations/event.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/declarations 2020-04-17T16:02:37,129 copying build/lib/slither/solc_parsing/declarations/__init__.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/declarations 2020-04-17T16:02:37,134 copying build/lib/slither/solc_parsing/declarations/modifier.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/declarations 2020-04-17T16:02:37,140 copying build/lib/slither/solc_parsing/declarations/contract.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/declarations 2020-04-17T16:02:37,148 copying build/lib/slither/solc_parsing/declarations/structure.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing/declarations 2020-04-17T16:02:37,152 copying build/lib/slither/solc_parsing/slitherSolc.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing 2020-04-17T16:02:37,158 copying build/lib/slither/solc_parsing/exceptions.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing 2020-04-17T16:02:37,162 copying build/lib/slither/solc_parsing/__init__.py -> build/bdist.linux-armv7l/wheel/slither/solc_parsing 2020-04-17T16:02:37,168 creating build/bdist.linux-armv7l/wheel/slither/printers 2020-04-17T16:02:37,172 creating build/bdist.linux-armv7l/wheel/slither/printers/functions 2020-04-17T16:02:37,175 copying build/lib/slither/printers/functions/cfg.py -> build/bdist.linux-armv7l/wheel/slither/printers/functions 2020-04-17T16:02:37,182 copying build/lib/slither/printers/functions/authorization.py -> build/bdist.linux-armv7l/wheel/slither/printers/functions 2020-04-17T16:02:37,187 copying build/lib/slither/printers/functions/__init__.py -> build/bdist.linux-armv7l/wheel/slither/printers/functions 2020-04-17T16:02:37,192 creating build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,194 copying build/lib/slither/printers/summary/slithir_ssa.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,199 copying build/lib/slither/printers/summary/variable_order.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,203 copying build/lib/slither/printers/summary/human_summary.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,210 copying build/lib/slither/printers/summary/modifier_calls.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,216 copying build/lib/slither/printers/summary/function.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,221 copying build/lib/slither/printers/summary/evm.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,228 copying build/lib/slither/printers/summary/require_calls.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,233 copying build/lib/slither/printers/summary/__init__.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,236 copying build/lib/slither/printers/summary/constructor_calls.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,241 copying build/lib/slither/printers/summary/data_depenency.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,246 copying build/lib/slither/printers/summary/slithir.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,252 copying build/lib/slither/printers/summary/contract.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,259 copying build/lib/slither/printers/summary/function_ids.py -> build/bdist.linux-armv7l/wheel/slither/printers/summary 2020-04-17T16:02:37,266 creating build/bdist.linux-armv7l/wheel/slither/printers/call 2020-04-17T16:02:37,269 copying build/lib/slither/printers/call/call_graph.py -> build/bdist.linux-armv7l/wheel/slither/printers/call 2020-04-17T16:02:37,275 copying build/lib/slither/printers/call/__init__.py -> build/bdist.linux-armv7l/wheel/slither/printers/call 2020-04-17T16:02:37,280 creating build/bdist.linux-armv7l/wheel/slither/printers/inheritance 2020-04-17T16:02:37,282 copying build/lib/slither/printers/inheritance/inheritance_graph.py -> build/bdist.linux-armv7l/wheel/slither/printers/inheritance 2020-04-17T16:02:37,288 copying build/lib/slither/printers/inheritance/__init__.py -> build/bdist.linux-armv7l/wheel/slither/printers/inheritance 2020-04-17T16:02:37,292 copying build/lib/slither/printers/inheritance/inheritance.py -> build/bdist.linux-armv7l/wheel/slither/printers/inheritance 2020-04-17T16:02:37,298 copying build/lib/slither/printers/abstract_printer.py -> build/bdist.linux-armv7l/wheel/slither/printers 2020-04-17T16:02:37,304 copying build/lib/slither/printers/__init__.py -> build/bdist.linux-armv7l/wheel/slither/printers 2020-04-17T16:02:37,311 creating build/bdist.linux-armv7l/wheel/slither/printers/guidance 2020-04-17T16:02:37,313 copying build/lib/slither/printers/guidance/echidna.py -> build/bdist.linux-armv7l/wheel/slither/printers/guidance 2020-04-17T16:02:37,320 copying build/lib/slither/printers/guidance/__init__.py -> build/bdist.linux-armv7l/wheel/slither/printers/guidance 2020-04-17T16:02:37,324 copying build/lib/slither/printers/all_printers.py -> build/bdist.linux-armv7l/wheel/slither/printers 2020-04-17T16:02:37,331 creating build/bdist.linux-armv7l/wheel/slither/core 2020-04-17T16:02:37,335 creating build/bdist.linux-armv7l/wheel/slither/core/cfg 2020-04-17T16:02:37,338 copying build/lib/slither/core/cfg/node.py -> build/bdist.linux-armv7l/wheel/slither/core/cfg 2020-04-17T16:02:37,349 copying build/lib/slither/core/cfg/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core/cfg 2020-04-17T16:02:37,354 creating build/bdist.linux-armv7l/wheel/slither/core/solidity_types 2020-04-17T16:02:37,357 copying build/lib/slither/core/solidity_types/user_defined_type.py -> build/bdist.linux-armv7l/wheel/slither/core/solidity_types 2020-04-17T16:02:37,362 copying build/lib/slither/core/solidity_types/type_information.py -> build/bdist.linux-armv7l/wheel/slither/core/solidity_types 2020-04-17T16:02:37,366 copying build/lib/slither/core/solidity_types/array_type.py -> build/bdist.linux-armv7l/wheel/slither/core/solidity_types 2020-04-17T16:02:37,372 copying build/lib/slither/core/solidity_types/function_type.py -> build/bdist.linux-armv7l/wheel/slither/core/solidity_types 2020-04-17T16:02:37,378 copying build/lib/slither/core/solidity_types/elementary_type.py -> build/bdist.linux-armv7l/wheel/slither/core/solidity_types 2020-04-17T16:02:37,384 copying build/lib/slither/core/solidity_types/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core/solidity_types 2020-04-17T16:02:37,390 copying build/lib/slither/core/solidity_types/type.py -> build/bdist.linux-armv7l/wheel/slither/core/solidity_types 2020-04-17T16:02:37,395 copying build/lib/slither/core/solidity_types/mapping_type.py -> build/bdist.linux-armv7l/wheel/slither/core/solidity_types 2020-04-17T16:02:37,403 creating build/bdist.linux-armv7l/wheel/slither/core/variables 2020-04-17T16:02:37,406 copying build/lib/slither/core/variables/local_variable.py -> build/bdist.linux-armv7l/wheel/slither/core/variables 2020-04-17T16:02:37,412 copying build/lib/slither/core/variables/structure_variable.py -> build/bdist.linux-armv7l/wheel/slither/core/variables 2020-04-17T16:02:37,418 copying build/lib/slither/core/variables/event_variable.py -> build/bdist.linux-armv7l/wheel/slither/core/variables 2020-04-17T16:02:37,424 copying build/lib/slither/core/variables/variable.py -> build/bdist.linux-armv7l/wheel/slither/core/variables 2020-04-17T16:02:37,430 copying build/lib/slither/core/variables/function_type_variable.py -> build/bdist.linux-armv7l/wheel/slither/core/variables 2020-04-17T16:02:37,436 copying build/lib/slither/core/variables/state_variable.py -> build/bdist.linux-armv7l/wheel/slither/core/variables 2020-04-17T16:02:37,442 copying build/lib/slither/core/variables/local_variable_init_from_tuple.py -> build/bdist.linux-armv7l/wheel/slither/core/variables 2020-04-17T16:02:37,448 copying build/lib/slither/core/variables/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core/variables 2020-04-17T16:02:37,456 creating build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,458 copying build/lib/slither/core/expressions/index_access.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,465 copying build/lib/slither/core/expressions/expression.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,471 copying build/lib/slither/core/expressions/new_elementary_type.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,477 copying build/lib/slither/core/expressions/identifier.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,482 copying build/lib/slither/core/expressions/super_call_expression.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,488 copying build/lib/slither/core/expressions/tuple_expression.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,494 copying build/lib/slither/core/expressions/elementary_type_name_expression.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,499 copying build/lib/slither/core/expressions/type_conversion.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,505 copying build/lib/slither/core/expressions/unary_operation.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,512 copying build/lib/slither/core/expressions/assignment_operation.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,519 copying build/lib/slither/core/expressions/binary_operation.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,526 copying build/lib/slither/core/expressions/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,531 copying build/lib/slither/core/expressions/call_expression.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,538 copying build/lib/slither/core/expressions/conditional_expression.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,543 copying build/lib/slither/core/expressions/new_array.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,549 copying build/lib/slither/core/expressions/member_access.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,555 copying build/lib/slither/core/expressions/literal.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,560 copying build/lib/slither/core/expressions/expression_typed.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,566 copying build/lib/slither/core/expressions/new_contract.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,572 copying build/lib/slither/core/expressions/super_identifier.py -> build/bdist.linux-armv7l/wheel/slither/core/expressions 2020-04-17T16:02:37,579 creating build/bdist.linux-armv7l/wheel/slither/core/source_mapping 2020-04-17T16:02:37,582 copying build/lib/slither/core/source_mapping/source_mapping.py -> build/bdist.linux-armv7l/wheel/slither/core/source_mapping 2020-04-17T16:02:37,589 copying build/lib/slither/core/source_mapping/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core/source_mapping 2020-04-17T16:02:37,596 creating build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,598 copying build/lib/slither/core/declarations/function.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,611 copying build/lib/slither/core/declarations/enum.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,617 copying build/lib/slither/core/declarations/solidity_variables.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,624 copying build/lib/slither/core/declarations/event.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,630 copying build/lib/slither/core/declarations/import_directive.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,636 copying build/lib/slither/core/declarations/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,642 copying build/lib/slither/core/declarations/modifier.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,647 copying build/lib/slither/core/declarations/contract.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,657 copying build/lib/slither/core/declarations/structure.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,663 copying build/lib/slither/core/declarations/pragma_directive.py -> build/bdist.linux-armv7l/wheel/slither/core/declarations 2020-04-17T16:02:37,669 copying build/lib/slither/core/exceptions.py -> build/bdist.linux-armv7l/wheel/slither/core 2020-04-17T16:02:37,677 creating build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,679 copying build/lib/slither/core/children/child_function.py -> build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,686 copying build/lib/slither/core/children/child_event.py -> build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,692 copying build/lib/slither/core/children/child_slither.py -> build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,698 copying build/lib/slither/core/children/child_structure.py -> build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,704 copying build/lib/slither/core/children/child_inheritance.py -> build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,710 copying build/lib/slither/core/children/child_expression.py -> build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,716 copying build/lib/slither/core/children/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,720 copying build/lib/slither/core/children/child_contract.py -> build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,726 copying build/lib/slither/core/children/child_node.py -> build/bdist.linux-armv7l/wheel/slither/core/children 2020-04-17T16:02:37,732 copying build/lib/slither/core/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core 2020-04-17T16:02:37,738 creating build/bdist.linux-armv7l/wheel/slither/core/dominators 2020-04-17T16:02:37,741 copying build/lib/slither/core/dominators/utils.py -> build/bdist.linux-armv7l/wheel/slither/core/dominators 2020-04-17T16:02:37,748 copying build/lib/slither/core/dominators/node_dominator_tree.py -> build/bdist.linux-armv7l/wheel/slither/core/dominators 2020-04-17T16:02:37,754 copying build/lib/slither/core/dominators/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core/dominators 2020-04-17T16:02:37,759 copying build/lib/slither/core/slither_core.py -> build/bdist.linux-armv7l/wheel/slither/core 2020-04-17T16:02:37,768 creating build/bdist.linux-armv7l/wheel/slither/core/context 2020-04-17T16:02:37,770 copying build/lib/slither/core/context/context.py -> build/bdist.linux-armv7l/wheel/slither/core/context 2020-04-17T16:02:37,777 copying build/lib/slither/core/context/__init__.py -> build/bdist.linux-armv7l/wheel/slither/core/context 2020-04-17T16:02:37,783 creating build/bdist.linux-armv7l/wheel/slither/visitors 2020-04-17T16:02:37,788 creating build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,791 copying build/lib/slither/visitors/expression/has_conditional.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,798 copying build/lib/slither/visitors/expression/constants_folding.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,803 copying build/lib/slither/visitors/expression/expression.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,811 copying build/lib/slither/visitors/expression/read_var.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,817 copying build/lib/slither/visitors/expression/export_values.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,823 copying build/lib/slither/visitors/expression/expression_printer.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,829 copying build/lib/slither/visitors/expression/find_calls.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,835 copying build/lib/slither/visitors/expression/left_value.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,841 copying build/lib/slither/visitors/expression/find_push.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,847 copying build/lib/slither/visitors/expression/__init__.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,852 copying build/lib/slither/visitors/expression/write_var.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,859 copying build/lib/slither/visitors/expression/right_value.py -> build/bdist.linux-armv7l/wheel/slither/visitors/expression 2020-04-17T16:02:37,865 copying build/lib/slither/visitors/__init__.py -> build/bdist.linux-armv7l/wheel/slither/visitors 2020-04-17T16:02:37,872 creating build/bdist.linux-armv7l/wheel/slither/visitors/slithir 2020-04-17T16:02:37,875 copying build/lib/slither/visitors/slithir/expression_to_slithir.py -> build/bdist.linux-armv7l/wheel/slither/visitors/slithir 2020-04-17T16:02:37,883 copying build/lib/slither/visitors/slithir/__init__.py -> build/bdist.linux-armv7l/wheel/slither/visitors/slithir 2020-04-17T16:02:37,890 creating build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,892 copying build/lib/slither/utils/expression_manipulations.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,899 copying build/lib/slither/utils/output.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,907 copying build/lib/slither/utils/output_capture.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,913 copying build/lib/slither/utils/utils.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,918 copying build/lib/slither/utils/function.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,924 copying build/lib/slither/utils/inheritance_analysis.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,929 copying build/lib/slither/utils/standard_libraries.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,937 copying build/lib/slither/utils/code_complexity.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,943 copying build/lib/slither/utils/arithmetic.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,949 copying build/lib/slither/utils/erc.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,956 copying build/lib/slither/utils/colors.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,962 copying build/lib/slither/utils/__init__.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,967 copying build/lib/slither/utils/command_line.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,974 copying build/lib/slither/utils/type.py -> build/bdist.linux-armv7l/wheel/slither/utils 2020-04-17T16:02:37,980 copying build/lib/slither/exceptions.py -> build/bdist.linux-armv7l/wheel/slither 2020-04-17T16:02:37,986 copying build/lib/slither/__init__.py -> build/bdist.linux-armv7l/wheel/slither 2020-04-17T16:02:37,993 creating build/bdist.linux-armv7l/wheel/slither/slithir 2020-04-17T16:02:37,998 creating build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,001 copying build/lib/slither/slithir/variables/constant.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,008 copying build/lib/slither/slithir/variables/temporary_ssa.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,013 copying build/lib/slither/slithir/variables/local_variable.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,020 copying build/lib/slither/slithir/variables/reference.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,026 copying build/lib/slither/slithir/variables/temporary.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,032 copying build/lib/slither/slithir/variables/variable.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,038 copying build/lib/slither/slithir/variables/state_variable.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,043 copying build/lib/slither/slithir/variables/tuple.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,049 copying build/lib/slither/slithir/variables/tuple_ssa.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,055 copying build/lib/slither/slithir/variables/__init__.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,061 copying build/lib/slither/slithir/variables/reference_ssa.py -> build/bdist.linux-armv7l/wheel/slither/slithir/variables 2020-04-17T16:02:38,068 creating build/bdist.linux-armv7l/wheel/slither/slithir/tmp_operations 2020-04-17T16:02:38,071 copying build/lib/slither/slithir/tmp_operations/tmp_new_contract.py -> build/bdist.linux-armv7l/wheel/slither/slithir/tmp_operations 2020-04-17T16:02:38,077 copying build/lib/slither/slithir/tmp_operations/tmp_call.py -> build/bdist.linux-armv7l/wheel/slither/slithir/tmp_operations 2020-04-17T16:02:38,083 copying build/lib/slither/slithir/tmp_operations/argument.py -> build/bdist.linux-armv7l/wheel/slither/slithir/tmp_operations 2020-04-17T16:02:38,089 copying build/lib/slither/slithir/tmp_operations/__init__.py -> build/bdist.linux-armv7l/wheel/slither/slithir/tmp_operations 2020-04-17T16:02:38,094 copying build/lib/slither/slithir/tmp_operations/tmp_new_elementary_type.py -> build/bdist.linux-armv7l/wheel/slither/slithir/tmp_operations 2020-04-17T16:02:38,100 copying build/lib/slither/slithir/tmp_operations/tmp_new_structure.py -> build/bdist.linux-armv7l/wheel/slither/slithir/tmp_operations 2020-04-17T16:02:38,105 copying build/lib/slither/slithir/tmp_operations/tmp_new_array.py -> build/bdist.linux-armv7l/wheel/slither/slithir/tmp_operations 2020-04-17T16:02:38,111 copying build/lib/slither/slithir/convert.py -> build/bdist.linux-armv7l/wheel/slither/slithir 2020-04-17T16:02:38,125 creating build/bdist.linux-armv7l/wheel/slither/slithir/utils 2020-04-17T16:02:38,127 copying build/lib/slither/slithir/utils/utils.py -> build/bdist.linux-armv7l/wheel/slither/slithir/utils 2020-04-17T16:02:38,133 copying build/lib/slither/slithir/utils/ssa.py -> build/bdist.linux-armv7l/wheel/slither/slithir/utils 2020-04-17T16:02:38,143 copying build/lib/slither/slithir/utils/__init__.py -> build/bdist.linux-armv7l/wheel/slither/slithir/utils 2020-04-17T16:02:38,147 copying build/lib/slither/slithir/exceptions.py -> build/bdist.linux-armv7l/wheel/slither/slithir 2020-04-17T16:02:38,153 copying build/lib/slither/slithir/__init__.py -> build/bdist.linux-armv7l/wheel/slither/slithir 2020-04-17T16:02:38,161 creating build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,163 copying build/lib/slither/slithir/operations/phi_callback.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,170 copying build/lib/slither/slithir/operations/binary.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,176 copying build/lib/slither/slithir/operations/return_operation.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,182 copying build/lib/slither/slithir/operations/unpack.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,188 copying build/lib/slither/slithir/operations/internal_dynamic_call.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,193 copying build/lib/slither/slithir/operations/length.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,199 copying build/lib/slither/slithir/operations/transfer.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,204 copying build/lib/slither/slithir/operations/low_level_call.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,210 copying build/lib/slither/slithir/operations/condition.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,216 copying build/lib/slither/slithir/operations/index.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,222 copying build/lib/slither/slithir/operations/library_call.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,228 copying build/lib/slither/slithir/operations/operation.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,233 copying build/lib/slither/slithir/operations/assignment.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,239 copying build/lib/slither/slithir/operations/phi.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,244 copying build/lib/slither/slithir/operations/dereferencing.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,250 copying build/lib/slither/slithir/operations/new_elementary_type.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,255 copying build/lib/slither/slithir/operations/call.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,261 copying build/lib/slither/slithir/operations/event_call.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,267 copying build/lib/slither/slithir/operations/nop.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,273 copying build/lib/slither/slithir/operations/lvalue.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,278 copying build/lib/slither/slithir/operations/type_conversion.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,284 copying build/lib/slither/slithir/operations/solidity_call.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,289 copying build/lib/slither/slithir/operations/balance.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,295 copying build/lib/slither/slithir/operations/internal_call.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,301 copying build/lib/slither/slithir/operations/__init__.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,307 copying build/lib/slither/slithir/operations/member.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,312 copying build/lib/slither/slithir/operations/delete.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,318 copying build/lib/slither/slithir/operations/new_array.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,324 copying build/lib/slither/slithir/operations/init_array.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,330 copying build/lib/slither/slithir/operations/new_contract.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,335 copying build/lib/slither/slithir/operations/high_level_call.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,343 copying build/lib/slither/slithir/operations/new_structure.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,348 copying build/lib/slither/slithir/operations/unary.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,354 copying build/lib/slither/slithir/operations/push.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,360 copying build/lib/slither/slithir/operations/send.py -> build/bdist.linux-armv7l/wheel/slither/slithir/operations 2020-04-17T16:02:38,365 copying build/lib/slither/all_exceptions.py -> build/bdist.linux-armv7l/wheel/slither 2020-04-17T16:02:38,373 creating build/bdist.linux-armv7l/wheel/slither/detectors 2020-04-17T16:02:38,377 creating build/bdist.linux-armv7l/wheel/slither/detectors/functions 2020-04-17T16:02:38,380 copying build/lib/slither/detectors/functions/arbitrary_send.py -> build/bdist.linux-armv7l/wheel/slither/detectors/functions 2020-04-17T16:02:38,387 copying build/lib/slither/detectors/functions/external_function.py -> build/bdist.linux-armv7l/wheel/slither/detectors/functions 2020-04-17T16:02:38,394 copying build/lib/slither/detectors/functions/suicidal.py -> build/bdist.linux-armv7l/wheel/slither/detectors/functions 2020-04-17T16:02:38,400 copying build/lib/slither/detectors/functions/complex_function.py -> build/bdist.linux-armv7l/wheel/slither/detectors/functions 2020-04-17T16:02:38,406 copying build/lib/slither/detectors/functions/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/functions 2020-04-17T16:02:38,412 creating build/bdist.linux-armv7l/wheel/slither/detectors/variables 2020-04-17T16:02:38,414 copying build/lib/slither/detectors/variables/uninitialized_local_variables.py -> build/bdist.linux-armv7l/wheel/slither/detectors/variables 2020-04-17T16:02:38,421 copying build/lib/slither/detectors/variables/uninitialized_state_variables.py -> build/bdist.linux-armv7l/wheel/slither/detectors/variables 2020-04-17T16:02:38,428 copying build/lib/slither/detectors/variables/uninitialized_storage_variables.py -> build/bdist.linux-armv7l/wheel/slither/detectors/variables 2020-04-17T16:02:38,434 copying build/lib/slither/detectors/variables/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/variables 2020-04-17T16:02:38,438 copying build/lib/slither/detectors/variables/possible_const_state_variables.py -> build/bdist.linux-armv7l/wheel/slither/detectors/variables 2020-04-17T16:02:38,445 copying build/lib/slither/detectors/variables/unused_state_variables.py -> build/bdist.linux-armv7l/wheel/slither/detectors/variables 2020-04-17T16:02:38,452 creating build/bdist.linux-armv7l/wheel/slither/detectors/reentrancy 2020-04-17T16:02:38,455 copying build/lib/slither/detectors/reentrancy/reentrancy_read_before_write.py -> build/bdist.linux-armv7l/wheel/slither/detectors/reentrancy 2020-04-17T16:02:38,462 copying build/lib/slither/detectors/reentrancy/reentrancy_eth.py -> build/bdist.linux-armv7l/wheel/slither/detectors/reentrancy 2020-04-17T16:02:38,469 copying build/lib/slither/detectors/reentrancy/reentrancy_benign.py -> build/bdist.linux-armv7l/wheel/slither/detectors/reentrancy 2020-04-17T16:02:38,476 copying build/lib/slither/detectors/reentrancy/reentrancy_events.py -> build/bdist.linux-armv7l/wheel/slither/detectors/reentrancy 2020-04-17T16:02:38,483 copying build/lib/slither/detectors/reentrancy/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/reentrancy 2020-04-17T16:02:38,488 copying build/lib/slither/detectors/reentrancy/reentrancy_no_gas.py -> build/bdist.linux-armv7l/wheel/slither/detectors/reentrancy 2020-04-17T16:02:38,495 copying build/lib/slither/detectors/reentrancy/reentrancy.py -> build/bdist.linux-armv7l/wheel/slither/detectors/reentrancy 2020-04-17T16:02:38,504 creating build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,506 copying build/lib/slither/detectors/statements/divide_before_multiply.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,514 copying build/lib/slither/detectors/statements/tx_origin.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,520 copying build/lib/slither/detectors/statements/boolean_constant_equality.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,525 copying build/lib/slither/detectors/statements/too_many_digits.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,532 copying build/lib/slither/detectors/statements/assembly.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,538 copying build/lib/slither/detectors/statements/calls_in_loop.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,544 copying build/lib/slither/detectors/statements/deprecated_calls.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,550 copying build/lib/slither/detectors/statements/boolean_constant_misuse.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,556 copying build/lib/slither/detectors/statements/type_based_tautology.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,563 copying build/lib/slither/detectors/statements/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,567 copying build/lib/slither/detectors/statements/controlled_delegatecall.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,573 copying build/lib/slither/detectors/statements/incorrect_strict_equality.py -> build/bdist.linux-armv7l/wheel/slither/detectors/statements 2020-04-17T16:02:38,581 creating build/bdist.linux-armv7l/wheel/slither/detectors/source 2020-04-17T16:02:38,583 copying build/lib/slither/detectors/source/rtlo.py -> build/bdist.linux-armv7l/wheel/slither/detectors/source 2020-04-17T16:02:38,590 copying build/lib/slither/detectors/source/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/source 2020-04-17T16:02:38,595 copying build/lib/slither/detectors/all_detectors.py -> build/bdist.linux-armv7l/wheel/slither/detectors 2020-04-17T16:02:38,602 creating build/bdist.linux-armv7l/wheel/slither/detectors/erc 2020-04-17T16:02:38,605 copying build/lib/slither/detectors/erc/incorrect_erc721_interface.py -> build/bdist.linux-armv7l/wheel/slither/detectors/erc 2020-04-17T16:02:38,611 copying build/lib/slither/detectors/erc/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/erc 2020-04-17T16:02:38,616 copying build/lib/slither/detectors/erc/unindexed_event_parameters.py -> build/bdist.linux-armv7l/wheel/slither/detectors/erc 2020-04-17T16:02:38,622 copying build/lib/slither/detectors/erc/incorrect_erc20_interface.py -> build/bdist.linux-armv7l/wheel/slither/detectors/erc 2020-04-17T16:02:38,630 creating build/bdist.linux-armv7l/wheel/slither/detectors/shadowing 2020-04-17T16:02:38,632 copying build/lib/slither/detectors/shadowing/builtin_symbols.py -> build/bdist.linux-armv7l/wheel/slither/detectors/shadowing 2020-04-17T16:02:38,640 copying build/lib/slither/detectors/shadowing/local.py -> build/bdist.linux-armv7l/wheel/slither/detectors/shadowing 2020-04-17T16:02:38,646 copying build/lib/slither/detectors/shadowing/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/shadowing 2020-04-17T16:02:38,651 copying build/lib/slither/detectors/shadowing/state.py -> build/bdist.linux-armv7l/wheel/slither/detectors/shadowing 2020-04-17T16:02:38,657 copying build/lib/slither/detectors/shadowing/abstract.py -> build/bdist.linux-armv7l/wheel/slither/detectors/shadowing 2020-04-17T16:02:38,664 creating build/bdist.linux-armv7l/wheel/slither/detectors/naming_convention 2020-04-17T16:02:38,671 copying build/lib/slither/detectors/naming_convention/naming_convention.py -> build/bdist.linux-armv7l/wheel/slither/detectors/naming_convention 2020-04-17T16:02:38,679 copying build/lib/slither/detectors/naming_convention/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/naming_convention 2020-04-17T16:02:38,685 creating build/bdist.linux-armv7l/wheel/slither/detectors/slither 2020-04-17T16:02:38,688 copying build/lib/slither/detectors/slither/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/slither 2020-04-17T16:02:38,693 copying build/lib/slither/detectors/slither/name_reused.py -> build/bdist.linux-armv7l/wheel/slither/detectors/slither 2020-04-17T16:02:38,699 copying build/lib/slither/detectors/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors 2020-04-17T16:02:38,704 copying build/lib/slither/detectors/abstract_detector.py -> build/bdist.linux-armv7l/wheel/slither/detectors 2020-04-17T16:02:38,712 creating build/bdist.linux-armv7l/wheel/slither/detectors/examples 2020-04-17T16:02:38,714 copying build/lib/slither/detectors/examples/backdoor.py -> build/bdist.linux-armv7l/wheel/slither/detectors/examples 2020-04-17T16:02:38,720 copying build/lib/slither/detectors/examples/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/examples 2020-04-17T16:02:38,727 creating build/bdist.linux-armv7l/wheel/slither/detectors/operations 2020-04-17T16:02:38,729 copying build/lib/slither/detectors/operations/void_constructor.py -> build/bdist.linux-armv7l/wheel/slither/detectors/operations 2020-04-17T16:02:38,735 copying build/lib/slither/detectors/operations/block_timestamp.py -> build/bdist.linux-armv7l/wheel/slither/detectors/operations 2020-04-17T16:02:38,741 copying build/lib/slither/detectors/operations/low_level_calls.py -> build/bdist.linux-armv7l/wheel/slither/detectors/operations 2020-04-17T16:02:38,747 copying build/lib/slither/detectors/operations/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/operations 2020-04-17T16:02:38,752 copying build/lib/slither/detectors/operations/unused_return_values.py -> build/bdist.linux-armv7l/wheel/slither/detectors/operations 2020-04-17T16:02:38,758 copying build/lib/slither/detectors/operations/unchecked_send_return_value.py -> build/bdist.linux-armv7l/wheel/slither/detectors/operations 2020-04-17T16:02:38,764 copying build/lib/slither/detectors/operations/unchecked_low_level_return_values.py -> build/bdist.linux-armv7l/wheel/slither/detectors/operations 2020-04-17T16:02:38,771 creating build/bdist.linux-armv7l/wheel/slither/detectors/attributes 2020-04-17T16:02:38,774 copying build/lib/slither/detectors/attributes/incorrect_solc.py -> build/bdist.linux-armv7l/wheel/slither/detectors/attributes 2020-04-17T16:02:38,781 copying build/lib/slither/detectors/attributes/constant_pragma.py -> build/bdist.linux-armv7l/wheel/slither/detectors/attributes 2020-04-17T16:02:38,787 copying build/lib/slither/detectors/attributes/locked_ether.py -> build/bdist.linux-armv7l/wheel/slither/detectors/attributes 2020-04-17T16:02:38,792 copying build/lib/slither/detectors/attributes/__init__.py -> build/bdist.linux-armv7l/wheel/slither/detectors/attributes 2020-04-17T16:02:38,797 copying build/lib/slither/detectors/attributes/const_functions_asm.py -> build/bdist.linux-armv7l/wheel/slither/detectors/attributes 2020-04-17T16:02:38,803 copying build/lib/slither/detectors/attributes/const_functions_state.py -> build/bdist.linux-armv7l/wheel/slither/detectors/attributes 2020-04-17T16:02:38,809 copying build/lib/slither/slither.py -> build/bdist.linux-armv7l/wheel/slither 2020-04-17T16:02:38,815 copying build/lib/slither/__main__.py -> build/bdist.linux-armv7l/wheel/slither 2020-04-17T16:02:38,823 running install_egg_info 2020-04-17T16:02:38,870 running egg_info 2020-04-17T16:02:38,871 writing slither_analyzer.egg-info/PKG-INFO 2020-04-17T16:02:38,877 writing dependency_links to slither_analyzer.egg-info/dependency_links.txt 2020-04-17T16:02:38,881 writing entry points to slither_analyzer.egg-info/entry_points.txt 2020-04-17T16:02:38,884 writing requirements to slither_analyzer.egg-info/requires.txt 2020-04-17T16:02:38,886 writing top-level names to slither_analyzer.egg-info/top_level.txt 2020-04-17T16:02:38,993 reading manifest file 'slither_analyzer.egg-info/SOURCES.txt' 2020-04-17T16:02:39,056 writing manifest file 'slither_analyzer.egg-info/SOURCES.txt' 2020-04-17T16:02:39,062 Copying slither_analyzer.egg-info to build/bdist.linux-armv7l/wheel/slither_analyzer-0.6.11-py3.7.egg-info 2020-04-17T16:02:39,099 running install_scripts 2020-04-17T16:02:39,259 creating build/bdist.linux-armv7l/wheel/slither_analyzer-0.6.11.dist-info/WHEEL 2020-04-17T16:02:39,265 creating '/tmp/pip-wheel-szev0_03/slither_analyzer-0.6.11-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2020-04-17T16:02:39,270 adding 'slither/__init__.py' 2020-04-17T16:02:39,275 adding 'slither/__main__.py' 2020-04-17T16:02:39,278 adding 'slither/all_exceptions.py' 2020-04-17T16:02:39,280 adding 'slither/exceptions.py' 2020-04-17T16:02:39,283 adding 'slither/slither.py' 2020-04-17T16:02:39,287 adding 'slither/analyses/__init__.py' 2020-04-17T16:02:39,290 adding 'slither/analyses/data_dependency/__init__.py' 2020-04-17T16:02:39,294 adding 'slither/analyses/data_dependency/data_dependency.py' 2020-04-17T16:02:39,298 adding 'slither/analyses/evm/__init__.py' 2020-04-17T16:02:39,301 adding 'slither/analyses/evm/convert.py' 2020-04-17T16:02:39,303 adding 'slither/analyses/evm/evm_cfg_builder.py' 2020-04-17T16:02:39,307 adding 'slither/analyses/write/__init__.py' 2020-04-17T16:02:39,309 adding 'slither/analyses/write/are_variables_written.py' 2020-04-17T16:02:39,313 adding 'slither/core/__init__.py' 2020-04-17T16:02:39,315 adding 'slither/core/exceptions.py' 2020-04-17T16:02:39,319 adding 'slither/core/slither_core.py' 2020-04-17T16:02:39,322 adding 'slither/core/cfg/__init__.py' 2020-04-17T16:02:39,328 adding 'slither/core/cfg/node.py' 2020-04-17T16:02:39,332 adding 'slither/core/children/__init__.py' 2020-04-17T16:02:39,334 adding 'slither/core/children/child_contract.py' 2020-04-17T16:02:39,337 adding 'slither/core/children/child_event.py' 2020-04-17T16:02:39,339 adding 'slither/core/children/child_expression.py' 2020-04-17T16:02:39,341 adding 'slither/core/children/child_function.py' 2020-04-17T16:02:39,343 adding 'slither/core/children/child_inheritance.py' 2020-04-17T16:02:39,346 adding 'slither/core/children/child_node.py' 2020-04-17T16:02:39,348 adding 'slither/core/children/child_slither.py' 2020-04-17T16:02:39,350 adding 'slither/core/children/child_structure.py' 2020-04-17T16:02:39,354 adding 'slither/core/context/__init__.py' 2020-04-17T16:02:39,356 adding 'slither/core/context/context.py' 2020-04-17T16:02:39,360 adding 'slither/core/declarations/__init__.py' 2020-04-17T16:02:39,366 adding 'slither/core/declarations/contract.py' 2020-04-17T16:02:39,369 adding 'slither/core/declarations/enum.py' 2020-04-17T16:02:39,371 adding 'slither/core/declarations/event.py' 2020-04-17T16:02:39,380 adding 'slither/core/declarations/function.py' 2020-04-17T16:02:39,383 adding 'slither/core/declarations/import_directive.py' 2020-04-17T16:02:39,385 adding 'slither/core/declarations/modifier.py' 2020-04-17T16:02:39,388 adding 'slither/core/declarations/pragma_directive.py' 2020-04-17T16:02:39,391 adding 'slither/core/declarations/solidity_variables.py' 2020-04-17T16:02:39,393 adding 'slither/core/declarations/structure.py' 2020-04-17T16:02:39,397 adding 'slither/core/dominators/__init__.py' 2020-04-17T16:02:39,399 adding 'slither/core/dominators/node_dominator_tree.py' 2020-04-17T16:02:39,402 adding 'slither/core/dominators/utils.py' 2020-04-17T16:02:39,406 adding 'slither/core/expressions/__init__.py' 2020-04-17T16:02:39,409 adding 'slither/core/expressions/assignment_operation.py' 2020-04-17T16:02:39,412 adding 'slither/core/expressions/binary_operation.py' 2020-04-17T16:02:39,414 adding 'slither/core/expressions/call_expression.py' 2020-04-17T16:02:39,417 adding 'slither/core/expressions/conditional_expression.py' 2020-04-17T16:02:39,419 adding 'slither/core/expressions/elementary_type_name_expression.py' 2020-04-17T16:02:39,422 adding 'slither/core/expressions/expression.py' 2020-04-17T16:02:39,424 adding 'slither/core/expressions/expression_typed.py' 2020-04-17T16:02:39,426 adding 'slither/core/expressions/identifier.py' 2020-04-17T16:02:39,429 adding 'slither/core/expressions/index_access.py' 2020-04-17T16:02:39,431 adding 'slither/core/expressions/literal.py' 2020-04-17T16:02:39,434 adding 'slither/core/expressions/member_access.py' 2020-04-17T16:02:39,436 adding 'slither/core/expressions/new_array.py' 2020-04-17T16:02:39,439 adding 'slither/core/expressions/new_contract.py' 2020-04-17T16:02:39,442 adding 'slither/core/expressions/new_elementary_type.py' 2020-04-17T16:02:39,444 adding 'slither/core/expressions/super_call_expression.py' 2020-04-17T16:02:39,447 adding 'slither/core/expressions/super_identifier.py' 2020-04-17T16:02:39,449 adding 'slither/core/expressions/tuple_expression.py' 2020-04-17T16:02:39,451 adding 'slither/core/expressions/type_conversion.py' 2020-04-17T16:02:39,454 adding 'slither/core/expressions/unary_operation.py' 2020-04-17T16:02:39,458 adding 'slither/core/solidity_types/__init__.py' 2020-04-17T16:02:39,461 adding 'slither/core/solidity_types/array_type.py' 2020-04-17T16:02:39,463 adding 'slither/core/solidity_types/elementary_type.py' 2020-04-17T16:02:39,466 adding 'slither/core/solidity_types/function_type.py' 2020-04-17T16:02:39,468 adding 'slither/core/solidity_types/mapping_type.py' 2020-04-17T16:02:39,471 adding 'slither/core/solidity_types/type.py' 2020-04-17T16:02:39,473 adding 'slither/core/solidity_types/type_information.py' 2020-04-17T16:02:39,476 adding 'slither/core/solidity_types/user_defined_type.py' 2020-04-17T16:02:39,479 adding 'slither/core/source_mapping/__init__.py' 2020-04-17T16:02:39,482 adding 'slither/core/source_mapping/source_mapping.py' 2020-04-17T16:02:39,486 adding 'slither/core/variables/__init__.py' 2020-04-17T16:02:39,489 adding 'slither/core/variables/event_variable.py' 2020-04-17T16:02:39,491 adding 'slither/core/variables/function_type_variable.py' 2020-04-17T16:02:39,493 adding 'slither/core/variables/local_variable.py' 2020-04-17T16:02:39,496 adding 'slither/core/variables/local_variable_init_from_tuple.py' 2020-04-17T16:02:39,498 adding 'slither/core/variables/state_variable.py' 2020-04-17T16:02:39,501 adding 'slither/core/variables/structure_variable.py' 2020-04-17T16:02:39,504 adding 'slither/core/variables/variable.py' 2020-04-17T16:02:39,508 adding 'slither/detectors/__init__.py' 2020-04-17T16:02:39,511 adding 'slither/detectors/abstract_detector.py' 2020-04-17T16:02:39,513 adding 'slither/detectors/all_detectors.py' 2020-04-17T16:02:39,517 adding 'slither/detectors/attributes/__init__.py' 2020-04-17T16:02:39,520 adding 'slither/detectors/attributes/const_functions_asm.py' 2020-04-17T16:02:39,523 adding 'slither/detectors/attributes/const_functions_state.py' 2020-04-17T16:02:39,525 adding 'slither/detectors/attributes/constant_pragma.py' 2020-04-17T16:02:39,528 adding 'slither/detectors/attributes/incorrect_solc.py' 2020-04-17T16:02:39,531 adding 'slither/detectors/attributes/locked_ether.py' 2020-04-17T16:02:39,535 adding 'slither/detectors/erc/__init__.py' 2020-04-17T16:02:39,538 adding 'slither/detectors/erc/incorrect_erc20_interface.py' 2020-04-17T16:02:39,541 adding 'slither/detectors/erc/incorrect_erc721_interface.py' 2020-04-17T16:02:39,544 adding 'slither/detectors/erc/unindexed_event_parameters.py' 2020-04-17T16:02:39,547 adding 'slither/detectors/examples/__init__.py' 2020-04-17T16:02:39,550 adding 'slither/detectors/examples/backdoor.py' 2020-04-17T16:02:39,553 adding 'slither/detectors/functions/__init__.py' 2020-04-17T16:02:39,556 adding 'slither/detectors/functions/arbitrary_send.py' 2020-04-17T16:02:39,559 adding 'slither/detectors/functions/complex_function.py' 2020-04-17T16:02:39,567 adding 'slither/detectors/functions/external_function.py' 2020-04-17T16:02:39,569 adding 'slither/detectors/functions/suicidal.py' 2020-04-17T16:02:39,573 adding 'slither/detectors/naming_convention/__init__.py' 2020-04-17T16:02:39,576 adding 'slither/detectors/naming_convention/naming_convention.py' 2020-04-17T16:02:39,580 adding 'slither/detectors/operations/__init__.py' 2020-04-17T16:02:39,583 adding 'slither/detectors/operations/block_timestamp.py' 2020-04-17T16:02:39,586 adding 'slither/detectors/operations/low_level_calls.py' 2020-04-17T16:02:39,588 adding 'slither/detectors/operations/unchecked_low_level_return_values.py' 2020-04-17T16:02:39,591 adding 'slither/detectors/operations/unchecked_send_return_value.py' 2020-04-17T16:02:39,594 adding 'slither/detectors/operations/unused_return_values.py' 2020-04-17T16:02:39,596 adding 'slither/detectors/operations/void_constructor.py' 2020-04-17T16:02:39,600 adding 'slither/detectors/reentrancy/__init__.py' 2020-04-17T16:02:39,603 adding 'slither/detectors/reentrancy/reentrancy.py' 2020-04-17T16:02:39,607 adding 'slither/detectors/reentrancy/reentrancy_benign.py' 2020-04-17T16:02:39,610 adding 'slither/detectors/reentrancy/reentrancy_eth.py' 2020-04-17T16:02:39,613 adding 'slither/detectors/reentrancy/reentrancy_events.py' 2020-04-17T16:02:39,616 adding 'slither/detectors/reentrancy/reentrancy_no_gas.py' 2020-04-17T16:02:39,619 adding 'slither/detectors/reentrancy/reentrancy_read_before_write.py' 2020-04-17T16:02:39,623 adding 'slither/detectors/shadowing/__init__.py' 2020-04-17T16:02:39,627 adding 'slither/detectors/shadowing/abstract.py' 2020-04-17T16:02:39,630 adding 'slither/detectors/shadowing/builtin_symbols.py' 2020-04-17T16:02:39,633 adding 'slither/detectors/shadowing/local.py' 2020-04-17T16:02:39,636 adding 'slither/detectors/shadowing/state.py' 2020-04-17T16:02:39,640 adding 'slither/detectors/slither/__init__.py' 2020-04-17T16:02:39,643 adding 'slither/detectors/slither/name_reused.py' 2020-04-17T16:02:39,646 adding 'slither/detectors/source/__init__.py' 2020-04-17T16:02:39,649 adding 'slither/detectors/source/rtlo.py' 2020-04-17T16:02:39,653 adding 'slither/detectors/statements/__init__.py' 2020-04-17T16:02:39,656 adding 'slither/detectors/statements/assembly.py' 2020-04-17T16:02:39,659 adding 'slither/detectors/statements/boolean_constant_equality.py' 2020-04-17T16:02:39,662 adding 'slither/detectors/statements/boolean_constant_misuse.py' 2020-04-17T16:02:39,664 adding 'slither/detectors/statements/calls_in_loop.py' 2020-04-17T16:02:39,667 adding 'slither/detectors/statements/controlled_delegatecall.py' 2020-04-17T16:02:39,670 adding 'slither/detectors/statements/deprecated_calls.py' 2020-04-17T16:02:39,674 adding 'slither/detectors/statements/divide_before_multiply.py' 2020-04-17T16:02:39,677 adding 'slither/detectors/statements/incorrect_strict_equality.py' 2020-04-17T16:02:39,680 adding 'slither/detectors/statements/too_many_digits.py' 2020-04-17T16:02:39,682 adding 'slither/detectors/statements/tx_origin.py' 2020-04-17T16:02:39,685 adding 'slither/detectors/statements/type_based_tautology.py' 2020-04-17T16:02:39,689 adding 'slither/detectors/variables/__init__.py' 2020-04-17T16:02:39,692 adding 'slither/detectors/variables/possible_const_state_variables.py' 2020-04-17T16:02:39,695 adding 'slither/detectors/variables/uninitialized_local_variables.py' 2020-04-17T16:02:39,698 adding 'slither/detectors/variables/uninitialized_state_variables.py' 2020-04-17T16:02:39,701 adding 'slither/detectors/variables/uninitialized_storage_variables.py' 2020-04-17T16:02:39,704 adding 'slither/detectors/variables/unused_state_variables.py' 2020-04-17T16:02:39,707 adding 'slither/formatters/__init__.py' 2020-04-17T16:02:39,710 adding 'slither/formatters/exceptions.py' 2020-04-17T16:02:39,713 adding 'slither/formatters/attributes/__init__.py' 2020-04-17T16:02:39,716 adding 'slither/formatters/attributes/const_functions.py' 2020-04-17T16:02:39,719 adding 'slither/formatters/attributes/constant_pragma.py' 2020-04-17T16:02:39,721 adding 'slither/formatters/attributes/incorrect_solc.py' 2020-04-17T16:02:39,725 adding 'slither/formatters/functions/__init__.py' 2020-04-17T16:02:39,728 adding 'slither/formatters/functions/external_function.py' 2020-04-17T16:02:39,731 adding 'slither/formatters/naming_convention/__init__.py' 2020-04-17T16:02:39,736 adding 'slither/formatters/naming_convention/naming_convention.py' 2020-04-17T16:02:39,740 adding 'slither/formatters/utils/__init__.py' 2020-04-17T16:02:39,743 adding 'slither/formatters/utils/patches.py' 2020-04-17T16:02:39,746 adding 'slither/formatters/variables/__init__.py' 2020-04-17T16:02:39,749 adding 'slither/formatters/variables/possible_const_state_variables.py' 2020-04-17T16:02:39,751 adding 'slither/formatters/variables/unused_state_variables.py' 2020-04-17T16:02:39,755 adding 'slither/printers/__init__.py' 2020-04-17T16:02:39,757 adding 'slither/printers/abstract_printer.py' 2020-04-17T16:02:39,760 adding 'slither/printers/all_printers.py' 2020-04-17T16:02:39,763 adding 'slither/printers/call/__init__.py' 2020-04-17T16:02:39,766 adding 'slither/printers/call/call_graph.py' 2020-04-17T16:02:39,770 adding 'slither/printers/functions/__init__.py' 2020-04-17T16:02:39,773 adding 'slither/printers/functions/authorization.py' 2020-04-17T16:02:39,775 adding 'slither/printers/functions/cfg.py' 2020-04-17T16:02:39,779 adding 'slither/printers/guidance/__init__.py' 2020-04-17T16:02:39,783 adding 'slither/printers/guidance/echidna.py' 2020-04-17T16:02:39,786 adding 'slither/printers/inheritance/__init__.py' 2020-04-17T16:02:39,789 adding 'slither/printers/inheritance/inheritance.py' 2020-04-17T16:02:39,792 adding 'slither/printers/inheritance/inheritance_graph.py' 2020-04-17T16:02:39,796 adding 'slither/printers/summary/__init__.py' 2020-04-17T16:02:39,799 adding 'slither/printers/summary/constructor_calls.py' 2020-04-17T16:02:39,802 adding 'slither/printers/summary/contract.py' 2020-04-17T16:02:39,804 adding 'slither/printers/summary/data_depenency.py' 2020-04-17T16:02:39,807 adding 'slither/printers/summary/evm.py' 2020-04-17T16:02:39,810 adding 'slither/printers/summary/function.py' 2020-04-17T16:02:39,813 adding 'slither/printers/summary/function_ids.py' 2020-04-17T16:02:39,816 adding 'slither/printers/summary/human_summary.py' 2020-04-17T16:02:39,819 adding 'slither/printers/summary/modifier_calls.py' 2020-04-17T16:02:39,821 adding 'slither/printers/summary/require_calls.py' 2020-04-17T16:02:39,824 adding 'slither/printers/summary/slithir.py' 2020-04-17T16:02:39,826 adding 'slither/printers/summary/slithir_ssa.py' 2020-04-17T16:02:39,829 adding 'slither/printers/summary/variable_order.py' 2020-04-17T16:02:39,833 adding 'slither/slithir/__init__.py' 2020-04-17T16:02:39,842 adding 'slither/slithir/convert.py' 2020-04-17T16:02:39,845 adding 'slither/slithir/exceptions.py' 2020-04-17T16:02:39,850 adding 'slither/slithir/operations/__init__.py' 2020-04-17T16:02:39,853 adding 'slither/slithir/operations/assignment.py' 2020-04-17T16:02:39,855 adding 'slither/slithir/operations/balance.py' 2020-04-17T16:02:39,858 adding 'slither/slithir/operations/binary.py' 2020-04-17T16:02:39,861 adding 'slither/slithir/operations/call.py' 2020-04-17T16:02:39,863 adding 'slither/slithir/operations/condition.py' 2020-04-17T16:02:39,866 adding 'slither/slithir/operations/delete.py' 2020-04-17T16:02:39,868 adding 'slither/slithir/operations/dereferencing.py' 2020-04-17T16:02:39,870 adding 'slither/slithir/operations/event_call.py' 2020-04-17T16:02:39,873 adding 'slither/slithir/operations/high_level_call.py' 2020-04-17T16:02:39,876 adding 'slither/slithir/operations/index.py' 2020-04-17T16:02:39,878 adding 'slither/slithir/operations/init_array.py' 2020-04-17T16:02:39,881 adding 'slither/slithir/operations/internal_call.py' 2020-04-17T16:02:39,883 adding 'slither/slithir/operations/internal_dynamic_call.py' 2020-04-17T16:02:39,886 adding 'slither/slithir/operations/length.py' 2020-04-17T16:02:39,888 adding 'slither/slithir/operations/library_call.py' 2020-04-17T16:02:39,891 adding 'slither/slithir/operations/low_level_call.py' 2020-04-17T16:02:39,894 adding 'slither/slithir/operations/lvalue.py' 2020-04-17T16:02:39,896 adding 'slither/slithir/operations/member.py' 2020-04-17T16:02:39,898 adding 'slither/slithir/operations/new_array.py' 2020-04-17T16:02:39,901 adding 'slither/slithir/operations/new_contract.py' 2020-04-17T16:02:39,904 adding 'slither/slithir/operations/new_elementary_type.py' 2020-04-17T16:02:39,906 adding 'slither/slithir/operations/new_structure.py' 2020-04-17T16:02:39,908 adding 'slither/slithir/operations/nop.py' 2020-04-17T16:02:39,911 adding 'slither/slithir/operations/operation.py' 2020-04-17T16:02:39,913 adding 'slither/slithir/operations/phi.py' 2020-04-17T16:02:39,916 adding 'slither/slithir/operations/phi_callback.py' 2020-04-17T16:02:39,918 adding 'slither/slithir/operations/push.py' 2020-04-17T16:02:39,921 adding 'slither/slithir/operations/return_operation.py' 2020-04-17T16:02:39,923 adding 'slither/slithir/operations/send.py' 2020-04-17T16:02:39,926 adding 'slither/slithir/operations/solidity_call.py' 2020-04-17T16:02:39,928 adding 'slither/slithir/operations/transfer.py' 2020-04-17T16:02:39,930 adding 'slither/slithir/operations/type_conversion.py' 2020-04-17T16:02:39,933 adding 'slither/slithir/operations/unary.py' 2020-04-17T16:02:39,935 adding 'slither/slithir/operations/unpack.py' 2020-04-17T16:02:39,939 adding 'slither/slithir/tmp_operations/__init__.py' 2020-04-17T16:02:39,942 adding 'slither/slithir/tmp_operations/argument.py' 2020-04-17T16:02:39,944 adding 'slither/slithir/tmp_operations/tmp_call.py' 2020-04-17T16:02:39,946 adding 'slither/slithir/tmp_operations/tmp_new_array.py' 2020-04-17T16:02:39,949 adding 'slither/slithir/tmp_operations/tmp_new_contract.py' 2020-04-17T16:02:39,951 adding 'slither/slithir/tmp_operations/tmp_new_elementary_type.py' 2020-04-17T16:02:39,954 adding 'slither/slithir/tmp_operations/tmp_new_structure.py' 2020-04-17T16:02:39,958 adding 'slither/slithir/utils/__init__.py' 2020-04-17T16:02:39,964 adding 'slither/slithir/utils/ssa.py' 2020-04-17T16:02:39,966 adding 'slither/slithir/utils/utils.py' 2020-04-17T16:02:39,970 adding 'slither/slithir/variables/__init__.py' 2020-04-17T16:02:39,973 adding 'slither/slithir/variables/constant.py' 2020-04-17T16:02:39,976 adding 'slither/slithir/variables/local_variable.py' 2020-04-17T16:02:39,978 adding 'slither/slithir/variables/reference.py' 2020-04-17T16:02:39,980 adding 'slither/slithir/variables/reference_ssa.py' 2020-04-17T16:02:39,983 adding 'slither/slithir/variables/state_variable.py' 2020-04-17T16:02:39,986 adding 'slither/slithir/variables/temporary.py' 2020-04-17T16:02:39,988 adding 'slither/slithir/variables/temporary_ssa.py' 2020-04-17T16:02:39,991 adding 'slither/slithir/variables/tuple.py' 2020-04-17T16:02:39,993 adding 'slither/slithir/variables/tuple_ssa.py' 2020-04-17T16:02:39,996 adding 'slither/slithir/variables/variable.py' 2020-04-17T16:02:40,000 adding 'slither/solc_parsing/__init__.py' 2020-04-17T16:02:40,002 adding 'slither/solc_parsing/exceptions.py' 2020-04-17T16:02:40,006 adding 'slither/solc_parsing/slitherSolc.py' 2020-04-17T16:02:40,010 adding 'slither/solc_parsing/cfg/__init__.py' 2020-04-17T16:02:40,013 adding 'slither/solc_parsing/cfg/node.py' 2020-04-17T16:02:40,016 adding 'slither/solc_parsing/declarations/__init__.py' 2020-04-17T16:02:40,022 adding 'slither/solc_parsing/declarations/contract.py' 2020-04-17T16:02:40,024 adding 'slither/solc_parsing/declarations/event.py' 2020-04-17T16:02:40,033 adding 'slither/solc_parsing/declarations/function.py' 2020-04-17T16:02:40,036 adding 'slither/solc_parsing/declarations/modifier.py' 2020-04-17T16:02:40,038 adding 'slither/solc_parsing/declarations/structure.py' 2020-04-17T16:02:40,042 adding 'slither/solc_parsing/expressions/__init__.py' 2020-04-17T16:02:40,048 adding 'slither/solc_parsing/expressions/expression_parsing.py' 2020-04-17T16:02:40,052 adding 'slither/solc_parsing/solidity_types/__init__.py' 2020-04-17T16:02:40,055 adding 'slither/solc_parsing/solidity_types/type_parsing.py' 2020-04-17T16:02:40,059 adding 'slither/solc_parsing/variables/__init__.py' 2020-04-17T16:02:40,061 adding 'slither/solc_parsing/variables/event_variable.py' 2020-04-17T16:02:40,064 adding 'slither/solc_parsing/variables/function_type_variable.py' 2020-04-17T16:02:40,066 adding 'slither/solc_parsing/variables/local_variable.py' 2020-04-17T16:02:40,069 adding 'slither/solc_parsing/variables/local_variable_init_from_tuple.py' 2020-04-17T16:02:40,071 adding 'slither/solc_parsing/variables/state_variable.py' 2020-04-17T16:02:40,073 adding 'slither/solc_parsing/variables/structure_variable.py' 2020-04-17T16:02:40,076 adding 'slither/solc_parsing/variables/variable_declaration.py' 2020-04-17T16:02:40,080 adding 'slither/tools/__init__.py' 2020-04-17T16:02:40,084 adding 'slither/tools/demo/__init__.py' 2020-04-17T16:02:40,086 adding 'slither/tools/demo/__main__.py' 2020-04-17T16:02:40,090 adding 'slither/tools/erc_conformance/__init__.py' 2020-04-17T16:02:40,093 adding 'slither/tools/erc_conformance/__main__.py' 2020-04-17T16:02:40,096 adding 'slither/tools/erc_conformance/erc/__init__.py' 2020-04-17T16:02:40,099 adding 'slither/tools/erc_conformance/erc/erc20.py' 2020-04-17T16:02:40,102 adding 'slither/tools/erc_conformance/erc/ercs.py' 2020-04-17T16:02:40,106 adding 'slither/tools/flattening/__init__.py' 2020-04-17T16:02:40,108 adding 'slither/tools/flattening/__main__.py' 2020-04-17T16:02:40,111 adding 'slither/tools/flattening/flattening.py' 2020-04-17T16:02:40,115 adding 'slither/tools/kspec_coverage/__init__.py' 2020-04-17T16:02:40,118 adding 'slither/tools/kspec_coverage/__main__.py' 2020-04-17T16:02:40,121 adding 'slither/tools/kspec_coverage/analysis.py' 2020-04-17T16:02:40,124 adding 'slither/tools/kspec_coverage/kspec_coverage.py' 2020-04-17T16:02:40,127 adding 'slither/tools/possible_paths/__init__.py' 2020-04-17T16:02:40,130 adding 'slither/tools/possible_paths/__main__.py' 2020-04-17T16:02:40,133 adding 'slither/tools/possible_paths/possible_paths.py' 2020-04-17T16:02:40,137 adding 'slither/tools/properties/__init__.py' 2020-04-17T16:02:40,140 adding 'slither/tools/properties/__main__.py' 2020-04-17T16:02:40,142 adding 'slither/tools/properties/utils.py' 2020-04-17T16:02:40,146 adding 'slither/tools/properties/addresses/__init__.py' 2020-04-17T16:02:40,149 adding 'slither/tools/properties/addresses/address.py' 2020-04-17T16:02:40,153 adding 'slither/tools/properties/platforms/__init__.py' 2020-04-17T16:02:40,155 adding 'slither/tools/properties/platforms/echidna.py' 2020-04-17T16:02:40,158 adding 'slither/tools/properties/platforms/truffle.py' 2020-04-17T16:02:40,162 adding 'slither/tools/properties/properties/__init__.py' 2020-04-17T16:02:40,165 adding 'slither/tools/properties/properties/erc20.py' 2020-04-17T16:02:40,168 adding 'slither/tools/properties/properties/properties.py' 2020-04-17T16:02:40,171 adding 'slither/tools/properties/properties/ercs/__init__.py' 2020-04-17T16:02:40,175 adding 'slither/tools/properties/properties/ercs/erc20/__init__.py' 2020-04-17T16:02:40,179 adding 'slither/tools/properties/properties/ercs/erc20/properties/__init__.py' 2020-04-17T16:02:40,182 adding 'slither/tools/properties/properties/ercs/erc20/properties/burn.py' 2020-04-17T16:02:40,184 adding 'slither/tools/properties/properties/ercs/erc20/properties/initialization.py' 2020-04-17T16:02:40,187 adding 'slither/tools/properties/properties/ercs/erc20/properties/mint.py' 2020-04-17T16:02:40,190 adding 'slither/tools/properties/properties/ercs/erc20/properties/mint_and_burn.py' 2020-04-17T16:02:40,194 adding 'slither/tools/properties/properties/ercs/erc20/properties/transfer.py' 2020-04-17T16:02:40,198 adding 'slither/tools/properties/properties/ercs/erc20/unit_tests/__init__.py' 2020-04-17T16:02:40,200 adding 'slither/tools/properties/properties/ercs/erc20/unit_tests/truffle.py' 2020-04-17T16:02:40,203 adding 'slither/tools/properties/solidity/__init__.py' 2020-04-17T16:02:40,206 adding 'slither/tools/properties/solidity/generate_properties.py' 2020-04-17T16:02:40,210 adding 'slither/tools/similarity/__init__.py' 2020-04-17T16:02:40,213 adding 'slither/tools/similarity/__main__.py' 2020-04-17T16:02:40,215 adding 'slither/tools/similarity/cache.py' 2020-04-17T16:02:40,218 adding 'slither/tools/similarity/encode.py' 2020-04-17T16:02:40,221 adding 'slither/tools/similarity/info.py' 2020-04-17T16:02:40,223 adding 'slither/tools/similarity/model.py' 2020-04-17T16:02:40,226 adding 'slither/tools/similarity/plot.py' 2020-04-17T16:02:40,228 adding 'slither/tools/similarity/similarity.py' 2020-04-17T16:02:40,230 adding 'slither/tools/similarity/test.py' 2020-04-17T16:02:40,233 adding 'slither/tools/similarity/train.py' 2020-04-17T16:02:40,237 adding 'slither/tools/slither_format/__init__.py' 2020-04-17T16:02:40,239 adding 'slither/tools/slither_format/__main__.py' 2020-04-17T16:02:40,242 adding 'slither/tools/slither_format/slither_format.py' 2020-04-17T16:02:40,246 adding 'slither/tools/upgradeability/__init__.py' 2020-04-17T16:02:40,249 adding 'slither/tools/upgradeability/__main__.py' 2020-04-17T16:02:40,253 adding 'slither/tools/upgradeability/checks/__init__.py' 2020-04-17T16:02:40,256 adding 'slither/tools/upgradeability/checks/abstract_checks.py' 2020-04-17T16:02:40,259 adding 'slither/tools/upgradeability/checks/all_checks.py' 2020-04-17T16:02:40,262 adding 'slither/tools/upgradeability/checks/constant.py' 2020-04-17T16:02:40,266 adding 'slither/tools/upgradeability/checks/functions_ids.py' 2020-04-17T16:02:40,269 adding 'slither/tools/upgradeability/checks/initialization.py' 2020-04-17T16:02:40,272 adding 'slither/tools/upgradeability/checks/variable_initialization.py' 2020-04-17T16:02:40,276 adding 'slither/tools/upgradeability/checks/variables_order.py' 2020-04-17T16:02:40,280 adding 'slither/tools/upgradeability/utils/__init__.py' 2020-04-17T16:02:40,283 adding 'slither/tools/upgradeability/utils/command_line.py' 2020-04-17T16:02:40,288 adding 'slither/tools/utils/__init__.py' 2020-04-17T16:02:40,292 adding 'slither/utils/__init__.py' 2020-04-17T16:02:40,295 adding 'slither/utils/arithmetic.py' 2020-04-17T16:02:40,299 adding 'slither/utils/code_complexity.py' 2020-04-17T16:02:40,302 adding 'slither/utils/colors.py' 2020-04-17T16:02:40,306 adding 'slither/utils/command_line.py' 2020-04-17T16:02:40,310 adding 'slither/utils/erc.py' 2020-04-17T16:02:40,314 adding 'slither/utils/expression_manipulations.py' 2020-04-17T16:02:40,317 adding 'slither/utils/function.py' 2020-04-17T16:02:40,320 adding 'slither/utils/inheritance_analysis.py' 2020-04-17T16:02:40,325 adding 'slither/utils/output.py' 2020-04-17T16:02:40,329 adding 'slither/utils/output_capture.py' 2020-04-17T16:02:40,333 adding 'slither/utils/standard_libraries.py' 2020-04-17T16:02:40,336 adding 'slither/utils/type.py' 2020-04-17T16:02:40,339 adding 'slither/utils/utils.py' 2020-04-17T16:02:40,344 adding 'slither/visitors/__init__.py' 2020-04-17T16:02:40,348 adding 'slither/visitors/expression/__init__.py' 2020-04-17T16:02:40,352 adding 'slither/visitors/expression/constants_folding.py' 2020-04-17T16:02:40,355 adding 'slither/visitors/expression/export_values.py' 2020-04-17T16:02:40,359 adding 'slither/visitors/expression/expression.py' 2020-04-17T16:02:40,363 adding 'slither/visitors/expression/expression_printer.py' 2020-04-17T16:02:40,366 adding 'slither/visitors/expression/find_calls.py' 2020-04-17T16:02:40,369 adding 'slither/visitors/expression/find_push.py' 2020-04-17T16:02:40,373 adding 'slither/visitors/expression/has_conditional.py' 2020-04-17T16:02:40,376 adding 'slither/visitors/expression/left_value.py' 2020-04-17T16:02:40,379 adding 'slither/visitors/expression/read_var.py' 2020-04-17T16:02:40,383 adding 'slither/visitors/expression/right_value.py' 2020-04-17T16:02:40,386 adding 'slither/visitors/expression/write_var.py' 2020-04-17T16:02:40,391 adding 'slither/visitors/slithir/__init__.py' 2020-04-17T16:02:40,395 adding 'slither/visitors/slithir/expression_to_slithir.py' 2020-04-17T16:02:40,403 adding 'slither_analyzer-0.6.11.dist-info/METADATA' 2020-04-17T16:02:40,405 adding 'slither_analyzer-0.6.11.dist-info/WHEEL' 2020-04-17T16:02:40,408 adding 'slither_analyzer-0.6.11.dist-info/entry_points.txt' 2020-04-17T16:02:40,411 adding 'slither_analyzer-0.6.11.dist-info/top_level.txt' 2020-04-17T16:02:40,423 adding 'slither_analyzer-0.6.11.dist-info/RECORD' 2020-04-17T16:02:40,467 removing build/bdist.linux-armv7l/wheel 2020-04-17T16:02:40,978 Building wheel for slither-analyzer (setup.py): finished with status 'done' 2020-04-17T16:02:40,987 Created wheel for slither-analyzer: filename=slither_analyzer-0.6.11-py3-none-any.whl size=352603 sha256=76b2733f5066f3eaf58aae2c1b5319922f2f0c109ba18b6625cbfb2fcda8d475 2020-04-17T16:02:40,988 Stored in directory: /tmp/pip-ephem-wheel-cache-ry946e6j/wheels/53/33/ba/7e7b8b835905d956fdadc1b8b70195c2fa042cb93af532fe79 2020-04-17T16:02:40,992 Successfully built slither-analyzer 2020-04-17T16:02:41,060 Cleaning up... 2020-04-17T16:02:41,061 Removing source in /tmp/pip-wheel-oxe4omh5/slither-analyzer 2020-04-17T16:02:41,770 Removed build tracker: '/tmp/pip-req-tracker-j3uuyqnh'