Skip to main content

match_sink

forge_lint::sol::high::arbitrary_send_erc20

Function match_sink 

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

recv.transferFrom(from, to, amt) / recv.safeTransferFrom(from, to, amt) on a contract declaring ERC20’s transferFrom(address,address,uint256) returns (bool) (ERC721’s same-named overload is excluded), addr.safeTransferFrom(..) via using SafeTransferLib for address, or the library form Lib.safeTransferFrom(token, from, to, amt).