We scanned Wormhole's bridge as of the day before the 2022 hack. It found the bug. Then we scanned Cashio, and it missed.

По данным Hacker News, обнаружена ошибка деления на ноль в FFmpeg при использовании vibecoded fuzzer. Как сообщает dev.to, проведенное сканирование кода Wormhole's bridge за день до кибератаки 2022 года позволило найти уязвимость, в то время как при аналогичной проверке Cashio ошибка была упущена.

Simon Willison отмечает, что уже только слух о наличии ошибки может привести к обнаружению уязвимости. По словам Anil Madhavapeddy из Университета Кембриджа, проблемы безопасности в проектах на OCaml выявляются практически моментально после появления признаков попыток эксплойта.

BBC уточняет, что статический анализ кода часто может быть предвзятым, поскольку исследователи могут заранее знать о наличии уязвимости. Однако, в случае со сканированием исходного кода двух протоколов Solana без предварительных подсказок, удалось на практике продемонстрировать разницу в эффективности нахождения уязвимости.