Um defeito naquilo que o protocolo foi projetado para fazer, e não em como foi programado — a implementação está correta, a regra que ela implementa não está.
Por que isso importa
É a classe que mais sobrevive a auditorias, porque linha a linha nada parece errado. O erro está em uma suposição: a de que um valor não pode ser doado, a de que uma posição não pode se tornar não lucrativa de liquidar, a de que duas operações não podem ser combinadas. Ferramentas automáticas não apontam uma regra que ninguém mandou colocar em dúvida.
O que você pode verificar
As análises pós-incidente dessa classe se leem de forma diferente das de erros de memória: descrevem uma sequência de operações individualmente legítimas. Escopos de auditoria que mencionam testes econômicos ou de invariantes tratam dessa categoria; um escopo limitado à revisão de código, em geral, não.
Onde isso apareceu
Registros no Rastreador de Incidentes que dependem disso: ataque por doação à Euler Finance.
Não é aconselhamento. As definições servem para entender, não para instruir. Nada aqui é orientação financeira, jurídica, tributária ou de segurança.