O prémio para a base de código pré-auditoria mais limpa que já vi (até agora) vai para: Aave v4. Apesar da alta complexidade, quase não há problemas "simples" que se esperaria encontrar em qualquer base de código deste tamanho. Suspeito que isto seja uma combinação de um design cuidadoso, aplicação consistente das melhores práticas (por exemplo, arredondamento explícito, casts verificados) e um conjunto de testes detalhado que utiliza fuzzing e invariantes.