Skip to main content

match_sink

forge_lint::sol::high::arbitrary_send_eth

Function match_sink 

Source 
fn match_sink<'gcx>(
    gcx: Gcx<'gcx>,
    expr: &'gcx Expr<'gcx>,
) -> Option<&'gcx Expr<'gcx>>
Expand description

Destination of an ETH-sending call: selfdestruct(x), x.{call,send,transfer}, f{value: v}(), IFoo(x).f{value: v}() and common OpenZeppelin/Solady helpers. Sends to address(this) or of a literal-zero amount are not sinks.