Все косячат, кол-во багов следствие распространенности. Циска раньше стояла везде - ее ломали -> много цве.
Пришли китайцы и отобрали рынок (точно не из-за меньшего кол-ва цве), сейчас кстати у них они расти начнут.

Почему они отобрали рынок, скорее всего много было причин, но главные - это цена и фичи. Ни один нормальный менеджер не будет делать выбор в пользу «на бумаге» «более безопасного» продукта, против возможности сэкономить 20-30% бюджета и направить этот бюджет на рост. Китайцы просто предложили дешевле и с таким же качеством.

Почему качество и секюирити нельзя сравнивать - все просто, секюрити объективно не померить. В отличии от фич, которые есть или нет, или они не работают так как нужно и вы теряете деньги. И у менеджеров делема: с одной стороны понятно сколько экономия с другой стороны очень абстрактное и субъективное секюрити. Выбор всегда сделают в сторону первого.
Только особые случаи (регуляторы или спец требования) могут что-то поменять.

А есть какая то статистика способов взломов?

В общем случае нет :)

можно на cvedetails потыкать.
Но мы упираемся в призму качества описания, которое делают иногда студенты на практике

В конкретных случаях есть. Например ЦБ обязывает банки репортить обо всех случаях. Как раз для того, что бы у ЦБ была статистика как ломают и думать что делать и на что в первую очередь реагировать

И тут пример, что пока регулятор не придет, никто не дернется

ну как бы можно не косячить, есть формальная верификация, но опять же, все упирается в деньги

Не о все багах еще в цве репортят

ФинЦЕРТ в общем случае общедоступный?

но благодаря автоматизации верификация начинает дешеветь

Хз

ну в принципе, не только формальная, но и остальные подходы, типа статического/динамического анализа кода

Удачи в решении np полных задач :)

хотя это не панацея, модель все равно не абсолютная, плюс железо

но вы правильно сказали - это деньги, из экономят, потому не делают

по крайней мере это тренд

дешевеет, начинает использоваться и в коммерции

всегда можно внести ограничения ) на сабсет языка, фичь, но тут как всегда: дорого, быстро, качетсвенно - выбери любых 2

разрабы то юнит тесты не всегда пишут, а вы про формальное описание

пока не видел ситуаций, где деньги не имеют значения