search

crytic / slither

Static Analyzer for Solidity and Vyper
https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/
GNU Affero General Public License v3.0
5.34k stars 970 forks source link

running into this issue and unsure how to solve it #961

Closed TheOpenXproject closed 3 years ago

TheOpenXproject commented 3 years ago

Traceback (most recent call last): File "/home/alex/.local/lib/python3.8/site-packages/slither/core/cfg/node.py", line 902, in _find_read_write_call self._high_level_calls.append((ir.destination.type.type, ir.function)) AttributeError: 'NoneType' object has no attribute 'type'

During handling of the above exception, another exception occurred:

Traceback (most recent call last): File "/home/alex/.local/lib/python3.8/site-packages/slither/main.py", line 741, in main_impl ) = process_all(filename, args, detector_classes, printer_classes) File "/home/alex/.local/lib/python3.8/site-packages/slither/main.py", line 83, in process_all ) = process_single(compilation, args, detector_classes, printer_classes) File "/home/alex/.local/lib/python3.8/site-packages/slither/main.py", line 66, in process_single slither = Slither(target, ast_format=ast, **vars(args)) File "/home/alex/.local/lib/python3.8/site-packages/slither/slither.py", line 107, in init parser.analyze_contracts() File "/home/alex/.local/lib/python3.8/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 393, in analyze_contracts self._convert_to_slithir() File "/home/alex/.local/lib/python3.8/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 570, in _convert_to_slithir func.generate_slithir_and_analyze() File "/home/alex/.local/lib/python3.8/site-packages/slither/core/declarations/function.py", line 1676, in generate_slithir_and_analyze node.slithir_generation() File "/home/alex/.local/lib/python3.8/site-packages/slither/core/cfg/node.py", line 714, in slithir_generation self._find_read_write_call() File "/home/alex/.local/lib/python3.8/site-packages/slither/core/cfg/node.py", line 905, in _find_read_write_call raise SlitherException( slither.exceptions.SlitherException: Function not found on TMP_2343(None) = HIGH_LEVEL_CALL, dest:TMP_2342(None), function:sub, arguments:['REF_1028'] . Please try compiling with a recent Solidity version. 'NoneType' object has no attribute 'type' Error: Function not found on TMP_2343(None) = HIGH_LEVEL_CALL, dest:TMP_2342(None), function:sub, arguments:['REF_1028'] . Please try compiling with a recent Solidity version. 'NoneType' object has no attribute 'type'

TheOpenXproject commented 3 years ago

any help would greatly be appreciated,

thanks in advance