سلام و روز بخیر. من میخوام قرارداد هوشمندم رو با استفاده از ابزار Oyente ارزیابی امنیتی کنم البته با توجه به ظرفیت سیستم من از گوگل کولب استفاده میکنم اما زمانی که میخوام این کد !python3 /content/oyente/oyente/oyente.py -s GoldOwnership.sol رو بزنم این ارور رو میده میشه لطفا راهنمایی کنید یا اگه راهکاری برای ارزیابی امنیتی با استفاده از این ابزار میشناسید معرفی کنید ممنون
WARNING:root:You are using evm version 1.12.0. The supported version is 1.7.3
WARNING:root:You are using solc version 0.8.0, The latest supported version is 0.4.19
INFO:CryticCompile:'solc --version' running
INFO:CryticCompile:'solc GoldOwnership.sol --combined-json abi,ast,bin,bin-runtime,srcmap,srcmap-runtime,userdoc,devdoc,hashes,compact-format --allow-paths .,/content' running
Traceback (most recent call last):
File "/content/oyente/oyente/oyente.py", line 232, in <module>
main()
File "/content/oyente/oyente/oyente.py", line 227, in main
exit_code = analyze_solidity()
File "/content/oyente/oyente/oyente.py", line 109, in analyze_solidity
inputs = helper.get_inputs(global_params.TARGET_CONTRACTS)
File "/content/oyente/oyente/input_helper.py", line 70, in get_inputs
contracts = self._get_compiled_contracts()
File "/content/oyente/oyente/input_helper.py", line 103, in _get_compiled_contracts
self.compiled_contracts = self._compile_solidity()
File "/content/oyente/oyente/input_helper.py", line 121, in _compile_solidity
contracts = self._extract_bin_obj(com)
File "/content/oyente/oyente/input_helper.py", line 112, in _extract_bin_obj
return [(com.contracts_filenames[name].absolute + ':' + name, com.bytecode_runtime(name)) for name in com.contracts_names if com.bytecode_runtime(name)]
AttributeError: 'CryticCompile' object has no attribute 'contracts_names'
