Vulnerabilidade no contrato SynapLogic desencadeia grande arbitragem: falta de validação de parâmetros leva a extração excessiva

【链文】Há uma questão de segurança de contrato que merece atenção. A função swapExactTokensForETHSupportingFeeOnTransferTokens do SynapLogic apresenta uma vulnerabilidade grave — falta de validação adequada dos parâmetros.

O que um atacante fez ao explorar essa vulnerabilidade? Bypassou o mecanismo de lista branca, especificou seu próprio endereço de recebimento de lucros e recebeu diretamente os fundos retirados. Ainda mais impressionante, o contrato não verificou o total de tokens nativos distribuídos, permitindo que o atacante arbitrasse de duas fontes de uma só vez: primeiro, retirando excessivamente os tokens nativos, e segundo, recebendo simultaneamente os tokens SYP recém-cunhados. Uma combinação de ações.

O resultado final foi que aproximadamente 186 mil dólares foram transferidos diretamente. Este caso mais uma vez lembra os desenvolvedores — ao lidar com transferências de tokens e lógica de lista branca, a verificação de limites de parâmetros não pode faltar, e a validação do limite de valor também é obrigatória. Pequenos detalhes negligenciados podem, às vezes, se transformar em grandes vulnerabilidades.