Я написал верификатор eBPF для микроконтроллера. А потом ядро Linux объяснило мне, где я неправ

Автор статьи решил усложнить задачу создания обычного термостата на базе ESP32, внедрив на микроконтроллер интерпретатор eBPF. Это позволило обновлять логику управления устройством по Wi-Fi, используя программы на C, скомпилированные под архитектуру BPF. В процессе разработки автор столкнулся с необходимостью написания собственного верификатора байткода, чтобы гарантировать безопасность выполнения кода на устройстве. Сравнив результаты работы своего верификатора с официальным инструментом ядра Linux, автор обнаружил расхождения в оценке безопасности десяти тестовых программ. В статье подробно разбираются четыре случая, в которых логика верификации автора и ядра Linux разошлась, что привело к глубокому анализу ограничений и правил безопасности eBPF. Этот проект демонстрирует возможности портирования сложных системных технологий на ограниченные аппаратные платформы и важность строгого соблюдения стандартов верификации кода.