Overridden function's base function is also available in the contract

[Tiko7454]

Describe the issue:

When a function is overridden in the contract B, the contract B contains two functions with identical signatures but one of that functions are not accessible from an object of type B

Code example to reproduce the issue:

abstract contract A {
	function f() virtual public returns(uint);
}

contract B is A {
	function f() public override returns(uint) {
		return 2;
	}
}

Version:

0.9.3

Relevant log output:

>>> from slither import Slither
>>> B = Slither('override.sol').contracts[1]
>>> B.functions_signatures
['f()']
>>> B.functions
[<slither.core.declarations.function_contract.FunctionContract object at 0x7fd18b823940>, <slither.core.declarations.function_contract.FunctionContract object at 0x7fd18b88e050>]
>>> B.functions[0].contract == B
True
>>> B.functions[1].contract == B
True
>>> B.functions[0].signature == B.functions[1].signature
True

[0xalpharush]

functions_signatures is created using a set so it won't have duplicates. However, functions can contain unique functions with identical signatures for the case you point out. If you need to get the functions a contract declares you can use https://crytic.github.io/slither/slither/core/declarations/contract.html#Contract.functions_declared. If you want to know which contract declares a function, you can use
https://crytic.github.io/slither/slither/core/declarations/function_contract.html#FunctionContract.contract_declarer.

Does that clarify things or is there info missing or you're not sure how to do something with the API?

[Tiko7454]

Okay, thank you for clarification and additional help