search

trailofbits / manticore

Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.66k stars 470 forks source link

CompilationUnit object has no attribute contracts_names #2619

Open Silur opened 1 year ago

Silur commented 1 year ago

Running manticore-verifier on a template "hello world" hardhat project fails with the following trace every time:

Traceback (most recent call last):
  File "/usr/local/bin/manticore-verifier", line 8, in <module>
    sys.exit(main())
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/verifier.py", line 498, in main
    return manticore_verifier(
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/verifier.py", line 157, in manticore_verifier
    contract_account = m.solidity_create_contract(
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/manticore.py", line 585, in solidity_create_contract
    compile_results = self._compile(
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/manticore.py", line 359, in _compile
    compilation_result = ManticoreEVM._compile_through_crytic_compile(
  File "/usr/local/lib/python3.8/dist-packages/manticore/ethereum/manticore.py", line 287, in _compile_through_crytic_compile
    if contract_name not in compilation_unit.contracts_names:
AttributeError: 'CompilationUnit' object has no attribute 'contracts_names'

npx hardhat compile works and generates the artifacts successfully

Hardhat version: 2.12.7 Manticore version: Docker 60b76c160580