|
|
@ -458,7 +458,9 @@ Please rename it, this name is reserved for Slither's internals""" |
|
|
|
if i in contract_parser.remapping: |
|
|
|
if i in contract_parser.remapping: |
|
|
|
contract_name = contract_parser.remapping[i] |
|
|
|
contract_name = contract_parser.remapping[i] |
|
|
|
if contract_name in contract_parser.underlying_contract.file_scope.renaming: |
|
|
|
if contract_name in contract_parser.underlying_contract.file_scope.renaming: |
|
|
|
contract_name = contract_parser.underlying_contract.file_scope.renaming[contract_name] |
|
|
|
contract_name = contract_parser.underlying_contract.file_scope.renaming[ |
|
|
|
|
|
|
|
contract_name |
|
|
|
|
|
|
|
] |
|
|
|
fathers.append( |
|
|
|
fathers.append( |
|
|
|
contract_parser.underlying_contract.file_scope.get_contract_from_name( |
|
|
|
contract_parser.underlying_contract.file_scope.get_contract_from_name( |
|
|
|
contract_name |
|
|
|
contract_name |
|
|
|