wake.analysis.utils module

get_all_base_and_child_declarations(declaration, *, base=True, child=True)

Parameters:

Name	Type	Description	Default
declaration	Union[FunctionDefinition, ModifierDefinition, VariableDeclaration]	Declaration to get base and child declarations of.	required
base	bool	Return base declarations of the given declaration.	True
child	bool	Return child declarations of the given declaration.	True

Returns:

Type	Description
Union[Set[Union[FunctionDefinition, VariableDeclaration]], Set[ModifierDefinition]]	Recursively all base and child declarations of the given declaration plus the given declaration itself. Set of ModifierDefinitions is returned for ModifierDefinition input, otherwise set of FunctionDefinitions and VariableDeclarations is returned.

Source code in wake/analysis/utils.py

def get_all_base_and_child_declarations(
    declaration: Union[FunctionDefinition, ModifierDefinition, VariableDeclaration],
    *,
    base: bool = True,
    child: bool = True,
) -> Union[
    Set[Union[FunctionDefinition, VariableDeclaration]], Set[ModifierDefinition]
]:
    """
    Args:
        declaration: Declaration to get base and child declarations of.
        base: Return base declarations of the given declaration.
        child: Return child declarations of the given declaration.

    Returns:
        Recursively all base and child declarations of the given declaration plus the given declaration itself.

            Set of [ModifierDefinitions][wake.ir.declarations.modifier_definition.ModifierDefinition] is returned for [ModifierDefinition][wake.ir.declarations.modifier_definition.ModifierDefinition] input,
            otherwise set of [FunctionDefinitions][wake.ir.declarations.function_definition.FunctionDefinition] and [VariableDeclarations][wake.ir.declarations.variable_declaration.VariableDeclaration] is returned.
    """
    ret = {declaration}
    queue: Deque[
        Union[FunctionDefinition, ModifierDefinition, VariableDeclaration]
    ] = deque([declaration])

    while len(queue) > 0:
        declaration = queue.popleft()

        if isinstance(declaration, VariableDeclaration):
            for base_func in declaration.base_functions:
                if base and base_func not in ret:
                    ret.add(base_func)
                    queue.append(base_func)
        elif isinstance(declaration, FunctionDefinition):
            for base_func in declaration.base_functions:
                if base and base_func not in ret:
                    ret.add(base_func)
                    queue.append(base_func)
            for child_func in declaration.child_functions:
                if child and child_func not in ret:
                    ret.add(child_func)
                    queue.append(child_func)
        elif isinstance(declaration, ModifierDefinition):
            for base_mod in declaration.base_modifiers:
                if base and base_mod not in ret:
                    ret.add(base_mod)
                    queue.append(base_mod)
            for child_mod in declaration.child_modifiers:
                if child and child_mod not in ret:
                    ret.add(child_mod)
                    queue.append(child_mod)
    return ret  # pyright: ignore reportGeneralTypeIssues

get_function_implementations(function, *, variables=True)

Also returns the given function if it is implemented.

Parameters:

Name	Type	Description	Default
function	FunctionDefinition	Function to get implementations of.	required
variables	bool	Include variable declarations in the returned set.	True

Returns:

Type	Description
Set[Union[FunctionDefinition, VariableDeclaration]]	All overridden implemented functions and variable declarations of the given function.

Source code in wake/analysis/utils.py

def get_function_implementations(  # pyright: ignore reportGeneralTypeIssues
    function: FunctionDefinition,
    *,
    variables: bool = True,
) -> Set[Union[FunctionDefinition, VariableDeclaration]]:
    """
    Also returns the given function if it is implemented.

    Args:
        function: Function to get implementations of.
        variables: Include variable declarations in the returned set.

    Returns:
        All overridden implemented functions and variable declarations of the given function.
    """
    ret = set()

    for child in get_all_base_and_child_declarations(function, base=False):
        if isinstance(child, VariableDeclaration):
            if variables:
                ret.add(child)
        else:
            if child.implemented:
                ret.add(child)

    return ret  # pyright: ignore reportGeneralTypeIssues

get_modifier_implementations(modifier)

Also returns the given modifier if it is implemented.

Parameters:

Name	Type	Description	Default
modifier	ModifierDefinition	Modifier to get implementations of.	required

Returns:

Type	Description
Set[ModifierDefinition]	All overridden implemented modifiers of the given modifier.

Source code in wake/analysis/utils.py

def get_modifier_implementations(
    modifier: ModifierDefinition,
) -> Set[ModifierDefinition]:
    """
    Also returns the given modifier if it is implemented.

    Args:
        modifier: Modifier to get implementations of.

    Returns:
        All overridden implemented modifiers of the given modifier.
    """
    ret = set()

    for child in get_all_base_and_child_declarations(modifier, base=False):
        if child.implemented:
            ret.add(child)

    return ret

pair_function_call_arguments(definition, call)

Pairs function call arguments with error/event/function/struct definition parameters. Returned pairs are in the same order as the definition parameters/members.

Example

The function also handles calls of bounded functions with the using for directive.

contract C {
    using SafeERC20 for IERC20;

    function withdraw(IERC20 token, uint256 amount) external {
        token.safeTransfer(msg.sender, amount); // token is the first argument of safeTransfer
    }
}

Parameters:

Name	Type	Description	Default
definition	Union[ErrorDefinition, EventDefinition, FunctionDefinition, StructDefinition]	Definition called.	required
call	FunctionCall	Function call or struct constructor call.	required

Returns:

Type	Description
Tuple[Tuple[VariableDeclaration, ExpressionAbc], ...]	Tuple of pairs of definition parameters/members and function call arguments.

Source code in wake/analysis/utils.py

def pair_function_call_arguments(
    definition: Union[
        ErrorDefinition, EventDefinition, FunctionDefinition, StructDefinition
    ],
    call: FunctionCall,
) -> Tuple[Tuple[VariableDeclaration, ExpressionAbc], ...]:
    """
    Pairs function call arguments with error/event/function/struct definition parameters.
    Returned pairs are in the same order as the definition parameters/members.

    !!! example
        The function also handles calls of bounded functions with the `using for` directive.

        ```solidity
        contract C {
            using SafeERC20 for IERC20;

            function withdraw(IERC20 token, uint256 amount) external {
                token.safeTransfer(msg.sender, amount); // token is the first argument of safeTransfer
            }
        }
        ```

    Args:
        definition: Definition called.
        call: Function call or struct constructor call.

    Returns:
        Tuple of pairs of definition parameters/members and function call arguments.
    """
    assert len(call.names) == 0 or len(call.names) == len(
        call.arguments
    ), "Call names must be empty or same length as arguments"

    vars = (
        [v for v in definition.members if not isinstance(v.type_name, Mapping)]
        if isinstance(definition, StructDefinition)
        else definition.parameters.parameters
    )

    if len(vars) == len(call.arguments):
        if len(call.names) == 0:
            return tuple(zip(vars, call.arguments))
        else:
            return tuple((p, call.arguments[call.names.index(p.name)]) for p in vars)
    elif len(vars) == len(call.arguments) + 1:
        # using for
        node = call.expression
        if isinstance(node, FunctionCallOptions):
            node = node.expression
        if isinstance(node, MemberAccess):
            node = node.expression

        if len(call.names) == 0:
            return ((vars[0], node),) + tuple(zip(vars[1:], call.arguments))
        else:
            return ((vars[0], node),) + tuple(
                (p, call.arguments[call.names.index(p.name)]) for p in vars[1:]
            )
    else:
        raise ValueError(
            f"{definition.name} has {len(vars)} parameters but called with {len(call.arguments)} arguments"
        )