diff --git a/slither/core/cfg/node.py b/slither/core/cfg/node.py index 9626a4a87..03aec416f 100644 --- a/slither/core/cfg/node.py +++ b/slither/core/cfg/node.py @@ -201,7 +201,10 @@ class Node(SourceMapping, ChildFunction): @property def high_level_calls(self): """ - list((Contract, Function)): List of high level calls (external calls). Include library calls + list((Contract, Function|Variable)): + List of high level calls (external calls). + A variable is called in case of call to a public state variable + Include library calls """ return list(self._high_level_calls) diff --git a/slither/core/declarations/function.py b/slither/core/declarations/function.py index c3551cd19..a16438f48 100644 --- a/slither/core/declarations/function.py +++ b/slither/core/declarations/function.py @@ -251,7 +251,10 @@ class Function(ChildContract, SourceMapping): @property def high_level_calls(self): """ - list((Contract, Function)): List of high level calls (external calls). Include library calls + list((Contract, Function|Variable)): + List of high level calls (external calls). + A variable is called in case of call to a public state variable + Include library calls """ return list(self._high_level_calls)