#itsec

Uncovering GStreamer secrets

TL;DR: чел написал кастомный генератор начальных данных для фаззера и нашёл 29 новых потенциальных уязвимостей в GStreamer.

Фаззинг программ, разбирающих медиа-форматы, затруднителен тем, что готовые медиа-файлы слишком большие, чтобы эффективно использовать фаззинг, поскольку фаззеры обычно применяют побайтовые мутации к входным данным. Конкретно в случае с MP4 проблема усугубляется строением формата. Именно, файл MP4 состоит из нескольких box-ов, которые могут быть вложенными, и каждый из них начинается с заголовка, который включает в себя размер всего box-а. Если фаззер применяет мутацию, которая вставляет новые данные, он не в состоянии одновременно также и скорректировать размеры в нужных местах.

В статье описан алгоритм для генерирования случайных MP4-файлов. Коротко:

• создаётся случайное дерево, описывающее вложенные box-ы
• по узлам раскидываются теги
• листья дерева получают случайные размеры, размер остальных подсчитывается из суммы вложенных
• для каждого узла генерируются случайные данные в рамках выбранных размеров
• итоговое дерево сериализуется

К сожалению, из статьи непонятно, написал ли автор только генератор тестовых данных или ещё и мутатор.

Сами найденные ошибки, кстати, все типичные сишные: OOB-чтение/запись, разыменовывания NULL-указателей и даже одно use after free.

#prog #itsec #article

Thoughts on the xz backdoor: an lzma-rs perspective

зачем нужна жена без страпона

#meme про жожу

Всех поздравляю

```
В России полностью решена проблема с импортозамещением мощных вычислительных ресурсов, заявил глава "Ростелекома" Михаил Осеевский, выступая в Совете Федерации.

"Хочу доложить, что сегодня страна чувствует себя достаточно уверенно. У нас полностью решена проблема импортозамещения мощных вычислительных ресурсов, серверов, систем хранения [данных]", - сказал топ-менеджер.
```

Глава "Ростелекома" заявил о полном импортозамещении серверов в РФ
https://tass.ru/ekonomika/22637251

#meme

За что так точно 😢

#web #meme (и, пожалуй, #suckassstory)

5snb.club/posts/2023/do-not-stab

(thanks @installationwizard)

#prog #rust #моё Если вам вдруг интересно, какой ужас я пишу для решения, то вот: github.com/AnthonyMikh/AoC

#prog #rust #article

Defeating Coherence in Rust with Tacit Trait Parameters

TL;DR: чтобы можно было иметь "две различные" реализации трейта для типа, можно добавить в трейт ти́повый параметр, нужный исключительно для придания различия, а чтобы это было эргономичным — сделать тип таким, чтобы его можно было вывести по месту применения. Для функций в качестве такого типа прекрасно работает кортеж аргументов.

willcrichton.net

Defeating Coherence in Rust with Tacit Trait Parameters

A strategy for working around Rust’s rules that prevent overlapping trait implementations.