Скачать или смотреть Обнаружение двойного свободного буфера с помощью BPF — Боджун Со, LG Electronics

Обнаружение двойного освобождения памяти с помощью BPF — Боджун Со, LG Electronics

Уязвимости, связанные с двойным освобождением памяти, остаются критически важной проблемой безопасности в программах на C и C++. Эти ошибки, связанные с многократным освобождением памяти, могут приводить к сбоям или уязвимостям безопасности, которые можно эксплуатировать. Разработчики обычно полагаются на инструменты статического и динамического анализа, которые эффективно выявляют большинство проблем во время тестирования. Однако обнаружение двойного освобождения памяти в производственной среде, особенно во встраиваемых системах, представляет собой сложную задачу. Причина в том, что традиционные инструменты отладки часто изменяют объём занимаемой памяти и приводят к значительным накладным расходам, часто не воспроизводя проблему из-за этих изменений, так называемых гейзенбагов.

В этом докладе представлен новый инструмент обнаружения двойного освобождения памяти, использующий BPF (Berkeley Packet Filter). Собирая данные в отдельном процессе, этот инструмент сохраняет объём памяти целевого процесса, минимизируя помехи. Благодаря значительно меньшим накладным расходам по сравнению с традиционными инструментами отладки, он повышает надёжность обнаружения двойного освобождения памяти в производственной среде, особенно во встраиваемых системах, чувствительных к производительности. Я продемонстрирую, как возможности облегченной трассировки BPF повышают безопасность памяти, предлагая эффективное решение для реального обнаружения двойного освобождения.