(myenv) ubuntu2004@ubuntu2004:~/CrossFuzz$ python CrossFuzz.py
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:31 - 通过分析合约内被写入的状态变量, 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:38 - 通过分析合约内函数的参数, 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:45 - 通过分析函数的写入变量(局部和状态都算), 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:38 - 通过分析合约内函数的参数, 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:45 - 通过分析函数的写入变量(局部和状态都算), 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | **INFO ** | comp:analysis_depend_contract:60 - 依赖合约为: {'Sub'}, 总共有: 3个合约, 需要部署的合约有: 1个
2024-06-16 16:42:36.684 | DEBUG | comp:analysis_main_contract_constructor:116 - 构造函数参数为: ['_sub contract Sub']
python3 fuzzer/main.py -s ./examples/T.sol -c E --solc v0.4.26 --evm byzantium -t 10 --result fuzzer/result/res.json --cross-contract 1 --open-trans-comp 1 --depend-contracts Sub --constructor-args _sub contract Sub --constraint-solving 1 --max-individual-length 10 --solc-path-cross /home/ubuntu2004/CrossFuzz/myenv/bin/solc --p-open-cross 80 --cross-init-mode 1 --trans-mode 1 --duplication 0
INFO:Main :Initializing seed to 0.19179909158597874
Traceback (most recent call last):
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 793, in urlopen
response = self._make_request(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 491, in _make_request
raise new_e
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 467, in _make_request
self._validate_conn(conn)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 1099, in _validate_conn
conn.connect()
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connection.py", line 653, in connect
sock_and_verified = _ssl_wrap_socket_and_match_hostname(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connection.py", line 806, in _ssl_wrap_socket_and_match_hostname
ssl_sock = ssl_wrap_socket(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/ssl_.py", line 465, in ssl_wrap_socket
ssl_sock = _ssl_wrap_socket_impl(sock, context, tls_in_tls, server_hostname)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/ssl_.py", line 509, in _ssl_wrap_socket_impl
return ssl_context.wrap_socket(sock, server_hostname=server_hostname)
File "/usr/lib/python3.8/ssl.py", line 500, in wrap_socket
return self.sslsocket_class._create(
File "/usr/lib/python3.8/ssl.py", line 1069, in _create
self.do_handshake()
File "/usr/lib/python3.8/ssl.py", line 1338, in do_handshake
self._sslobj.do_handshake()
ConnectionResetError: [Errno 104] Connection reset by peer
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/adapters.py", line 667, in send
resp = conn.urlopen(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 847, in urlopen
retries = retries.increment(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/retry.py", line 470, in increment
raise reraise(type(error), error, _stacktrace)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/util.py", line 38, in reraise
raise value.with_traceback(tb)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 793, in urlopen
response = self._make_request(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 491, in _make_request
raise new_e
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 467, in _make_request
self._validate_conn(conn)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 1099, in _validate_conn
conn.connect()
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connection.py", line 653, in connect
sock_and_verified = _ssl_wrap_socket_and_match_hostname(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connection.py", line 806, in _ssl_wrap_socket_and_match_hostname
ssl_sock = ssl_wrap_socket(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/ssl_.py", line 465, in ssl_wrap_socket
ssl_sock = _ssl_wrap_socket_impl(sock, context, tls_in_tls, server_hostname)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/ssl_.py", line 509, in _ssl_wrap_socket_impl
return ssl_context.wrap_socket(sock, server_hostname=server_hostname)
File "/usr/lib/python3.8/ssl.py", line 500, in wrap_socket
return self.sslsocket_class._create(
File "/usr/lib/python3.8/ssl.py", line 1069, in _create
self.do_handshake()
File "/usr/lib/python3.8/ssl.py", line 1338, in do_handshake
self._sslobj.do_handshake()
urllib3.exceptions.ProtocolError: ('Connection aborted.', ConnectionResetError(104, 'Connection reset by peer'))
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/home/ubuntu2004/CrossFuzz/fuzzer/utils/utils.py", line 89, in compile
solcx.install_solc(solc_version)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/solcx/install.py", line 441, in install_solc
data = requests.get(BINARY_DOWNLOAD_BASE.format(_get_os_name(), "list.json"))
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/api.py", line 73, in get
return request("get", url, params=params, **kwargs)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/api.py", line 59, in request
return session.request(method=method, url=url, **kwargs)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/sessions.py", line 589, in request
resp = self.send(prep, **send_kwargs)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/sessions.py", line 703, in send
r = adapter.send(request, **kwargs)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/adapters.py", line 682, in send
raise ConnectionError(err, request=request)
requests.exceptions.ConnectionError: ('Connection aborted.', ConnectionResetError(104, 'Connection reset by peer'))
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "fuzzer/main.py", line 532, in
main()
File "fuzzer/main.py", line 305, in main
compiler_output = compile(args.solc_version, settings.EVM_VERSION, args.source)
File "/home/ubuntu2004/CrossFuzz/fuzzer/utils/utils.py", line 115, in compile
print(e.message)
AttributeError: 'ConnectionError' object has no attribute 'message'
(myenv) ubuntu2004@ubuntu2004:~/CrossFuzz$ python CrossFuzz.py
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:31 - 通过分析合约内被写入的状态变量, 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:38 - 通过分析合约内函数的参数, 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:45 - 通过分析函数的写入变量(局部和状态都算), 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:38 - 通过分析合约内函数的参数, 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | DEBUG | comp:analysis_depend_contract:45 - 通过分析函数的写入变量(局部和状态都算), 发现依赖的合约: Sub
2024-06-16 16:42:36.683 | **INFO ** | comp:analysis_depend_contract:60 - 依赖合约为: {'Sub'}, 总共有: 3个合约, 需要部署的合约有: 1个
2024-06-16 16:42:36.684 | DEBUG | comp:analysis_main_contract_constructor:116 - 构造函数参数为: ['_sub contract Sub']
python3 fuzzer/main.py -s ./examples/T.sol -c E --solc v0.4.26 --evm byzantium -t 10 --result fuzzer/result/res.json --cross-contract 1 --open-trans-comp 1 --depend-contracts Sub --constructor-args _sub contract Sub --constraint-solving 1 --max-individual-length 10 --solc-path-cross /home/ubuntu2004/CrossFuzz/myenv/bin/solc --p-open-cross 80 --cross-init-mode 1 --trans-mode 1 --duplication 0
INFO:Main :Initializing seed to 0.19179909158597874
Traceback (most recent call last):
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 793, in urlopen
response = self._make_request(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 491, in _make_request
raise new_e
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 467, in _make_request
self._validate_conn(conn)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 1099, in _validate_conn
conn.connect()
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connection.py", line 653, in connect
sock_and_verified = _ssl_wrap_socket_and_match_hostname(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connection.py", line 806, in _ssl_wrap_socket_and_match_hostname
ssl_sock = ssl_wrap_socket(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/ssl_.py", line 465, in ssl_wrap_socket
ssl_sock = _ssl_wrap_socket_impl(sock, context, tls_in_tls, server_hostname)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/ssl_.py", line 509, in _ssl_wrap_socket_impl
return ssl_context.wrap_socket(sock, server_hostname=server_hostname)
File "/usr/lib/python3.8/ssl.py", line 500, in wrap_socket
return self.sslsocket_class._create(
File "/usr/lib/python3.8/ssl.py", line 1069, in _create
self.do_handshake()
File "/usr/lib/python3.8/ssl.py", line 1338, in do_handshake
self._sslobj.do_handshake()
ConnectionResetError: [Errno 104] Connection reset by peer
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/adapters.py", line 667, in send
resp = conn.urlopen(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 847, in urlopen
retries = retries.increment(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/retry.py", line 470, in increment
raise reraise(type(error), error, _stacktrace)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/util.py", line 38, in reraise
raise value.with_traceback(tb)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 793, in urlopen
response = self._make_request(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 491, in _make_request
raise new_e
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 467, in _make_request
self._validate_conn(conn)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connectionpool.py", line 1099, in _validate_conn
conn.connect()
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connection.py", line 653, in connect
sock_and_verified = _ssl_wrap_socket_and_match_hostname(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/connection.py", line 806, in _ssl_wrap_socket_and_match_hostname
ssl_sock = ssl_wrap_socket(
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/ssl_.py", line 465, in ssl_wrap_socket
ssl_sock = _ssl_wrap_socket_impl(sock, context, tls_in_tls, server_hostname)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/urllib3/util/ssl_.py", line 509, in _ssl_wrap_socket_impl
return ssl_context.wrap_socket(sock, server_hostname=server_hostname)
File "/usr/lib/python3.8/ssl.py", line 500, in wrap_socket
return self.sslsocket_class._create(
File "/usr/lib/python3.8/ssl.py", line 1069, in _create
self.do_handshake()
File "/usr/lib/python3.8/ssl.py", line 1338, in do_handshake
self._sslobj.do_handshake()
urllib3.exceptions.ProtocolError: ('Connection aborted.', ConnectionResetError(104, 'Connection reset by peer'))
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/home/ubuntu2004/CrossFuzz/fuzzer/utils/utils.py", line 89, in compile
solcx.install_solc(solc_version)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/solcx/install.py", line 441, in install_solc
data = requests.get(BINARY_DOWNLOAD_BASE.format(_get_os_name(), "list.json"))
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/api.py", line 73, in get
return request("get", url, params=params, **kwargs)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/api.py", line 59, in request
return session.request(method=method, url=url, **kwargs)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/sessions.py", line 589, in request
resp = self.send(prep, **send_kwargs)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/sessions.py", line 703, in send
r = adapter.send(request, **kwargs)
File "/home/ubuntu2004/CrossFuzz/myenv/lib/python3.8/site-packages/requests/adapters.py", line 682, in send
raise ConnectionError(err, request=request)
requests.exceptions.ConnectionError: ('Connection aborted.', ConnectionResetError(104, 'Connection reset by peer'))
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "fuzzer/main.py", line 532, in
main()
File "fuzzer/main.py", line 305, in main
compiler_output = compile(args.solc_version, settings.EVM_VERSION, args.source)
File "/home/ubuntu2004/CrossFuzz/fuzzer/utils/utils.py", line 115, in compile
print(e.message)
AttributeError: 'ConnectionError' object has no attribute 'message'