Runtime Error (AttributeError: 'InternalCall' object has no attribute 'name'. Did you mean: 'names'?)

[shargon]

Trying with https://github.com/Fredricknjeri/Flatten-OpenZeppelin-ERC20/blob/master/flatten-OpenZeppelin.sol (changing the license)

slitherin/slitherin/detectors/public_vs_external.py

Line 29 in 33785c8

used_functions.add(call.name)

Only slitherin results:
00:27.333 error 'solc --version' running
00:27.333 error 'solc /sharedVolume/0197420b-83ae-3949-3f6b-f370bbbabaa7/github.com/Fredricknjeri/Flatten-OpenZeppelin-ERC20/flatten-OpenZeppelin.sol --combined-json abi,ast,bin,bin-runtime,srcmap,srcmap-runtime,userdoc,devdoc,hashes --allow-paths .,/sharedVolume/0197420b-83ae-3949-3f6b-f370bbbabaa7/github.com/Fredricknjeri/Flatten-OpenZeppelin-ERC20' running
00:27.333 error beforeTokenTransfer in ERC20._beforeTokenTransfer(address,address,uint256) (sharedVolume/0197420b-83ae-3949-3f6b-f370bbbabaa7/github.com/Fredricknjeri/Flatten-OpenZeppelin-ERC20/flatten-OpenZeppelin.sol#458-462) must have virtual and super.
00:27.333 error Reference: https://docs.openzeppelin.com/contracts/4.x/extending-contracts#rules_of_hooks
00:27.333 error Traceback (most recent call last):
00:27.333 error   File "/usr/local/bin/slither", line 8, in <module>
00:27.333 error     sys.exit(main())
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slither/__main__.py", line 776, in main
00:27.333 error     main_impl(all_detector_classes=detectors, all_printer_classes=printers)
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slither/__main__.py", line 882, in main_impl
00:27.333 error     ) = process_all(filename, args, detector_classes, printer_classes)
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slither/__main__.py", line 107, in process_all
00:27.333 error     ) = process_single(compilation, args, detector_classes, printer_classes)
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slither/__main__.py", line 87, in process_single
00:27.333 error     return _process(slither, detector_classes, printer_classes)
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slither/__main__.py", line 137, in _process
00:27.333 error     detector_resultss = slither.run_detectors()
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slither/slither.py", line 292, in run_detectors
00:27.333 error     results = [d.detect() for d in self._detectors]
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slither/slither.py", line 292, in <listcomp>
00:27.333 error     results = [d.detect() for d in self._detectors]
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slither/detectors/abstract_detector.py", line 203, in detect
00:27.333 error     for r in [output.data for output in self._detect()]:
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slitherin/detectors/public_vs_external.py", line 40, in _detect
00:27.333 error     res = self._analyze_contract(contract)
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slitherin/detectors/public_vs_external.py", line 29, in _analyze_contract
00:27.333 error     used_functions.add(call.name)
00:27.333 error AttributeError: 'InternalCall' object has no attribute 'name'. Did you mean: 'names'?
00:27.333 error Failed to run slither: Errored out with code: 1, while running slither
00:27.333 error     run(
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slitherin/cli.py", line 82, in run
00:27.333 error     raise e
00:27.333 error   File "/usr/local/lib/python3.10/dist-packages/slitherin/cli.py", line 76, in run
00:27.333 error     raise Exception(
00:27.333 error Exception: Errored out with code: 1, while running slither