Один BPF-объект, два верификатора, разные вердикты: разбираемся, кто прав

08.09.2026 09:31:06 | Хабр

Хабы: Блог компании FirstVDS, Информационная безопасность, Программирование, Linux, Системное программирование

eBPF-программы проходят статический анализ до загрузки в ядро Linux. Верификатор должен доказать, что программа не выходит за границы памяти, не работает с неверными указателями и не нарушает ограничений, без которых код нельзя безопасно выполнять в ядре. Но если прогнать один объект через разные верификаторы, картина меняется. Один анализатор принимает BPF-объект, а другой считает его небезопасным и запрещает загрузку.

Именно так и вышло...

Статья для тех, кто исследует eBPF и статический анализ. Ошибку в программе мы искать не будем — её там нет. Нас интересует другое: почему два верификатора расходятся в выводах.

Подробнее

Читайте также

Я прогнал топ VRAM-калькуляторов для LLM — все ошибаются в одном и том же
08.09.2026 09:26:59 | Хабр

SSL certificate hell: как автоматизировать управление жизненным циклом цифровых сертификатов
08.09.2026 09:26:22 | Хабр

DNS без магии: как ADHammer 1.5.0 обнаруживает Active Directory без учётных данных
08.09.2026 09:23:58 | Хабр

Продавцы Wildberries попросили правительство взять «под контроль» ситуацию с задержкой выплат за проданные товары
08.09.2026 09:19:41 | vc.ru

HTML и CSS помогут вам сделать дружелюбный интерфейс! Вот моя коллекция простых лайфхаков
08.09.2026 09:01:03 | Хабр

Титан, ЭКГ и до 21 дня работы: Huawei WATCH GT 7 и GT 7 Pro поступили в продажу в РФ
08.09.2026 09:00:53 | ferra.ru

Operation CameraSwarm: как один набор инструментов добрался до 14 500 камер Dahua
08.09.2026 09:00:03 | Хабр

Я не читаю свой код. Два месяца вайбкодинга большого проекта — честный отчёт
08.09.2026 08:59:48 | Хабр

«КриптоПро» создаст собственный браузер с российской криптографией
08.09.2026 08:58:06 | it-world

Интеграция 1С через ESB: «Интегра»
08.09.2026 08:50:36 | Хабр

Как встроить GenAI в корпоративные ERP-системы
08.09.2026 08:50:02 | Хабр

SDD для AI-агентов: как мы заново изобрели очень быстрый waterfall
08.09.2026 08:46:08 | Хабр

Как мы превратили правила команды разработки в инструкции для LLM-агента
08.09.2026 08:44:45 | Хабр

HP представила ноутбуки с процессорами Nvidia RTX Spark
08.09.2026 08:31:58 | ferra.ru

Транспортная аналитика в реальном времени: интерактивные карты в дашбордах
08.09.2026 08:30:25 | Хабр

Моделирование многослойной стены в nanoCAD BIM Строительство на примере двухэтажного коттеджа
08.09.2026 08:27:51 | Хабр

День 1658: в первой половине 2026 года объём рефинансирования кредитов наличными вырос на 209%
08.09.2026 08:27:29 | vc.ru

Архитектура современных ИИ-агентов: собираем прототип за один вечер
08.09.2026 08:00:58 | Хабр

Сколько получают тестировщики и как стать QA
08.09.2026 07:58:48 | Хабр

Я перенёс kube-scheduler в формулу электронной таблицы, и он прошёл юнит-тесты
08.09.2026 07:48:11 | Хабр

Мы добавили LLM в поиск, но не стали заменять им Elasticsearch. Почему?
08.09.2026 07:44:57 | Хабр

Cursor ограничивает доступ из России. Куда переходить?
08.09.2026 07:38:52 | Хабр

Жара на серверном полюсе. XData Gen3 и Tantor Polar в цифрах
08.09.2026 07:34:10 | Хабр

Как подключить Google Calendar и Google Drive к агенту или Почему все так сложно
08.09.2026 07:33:52 | Хабр

Создание компонентов с УГО по ЕКСД в Altium за 5 секунд — GostLib
08.09.2026 07:32:28 | Хабр

On-device OCR для первички: как распознавать документы без отправки в облако
08.09.2026 07:32:17 | Хабр

Как на ровном месте сэкономить 1000+ ядер, или Куда на самом деле уходили 80% CPU
08.09.2026 07:31:51 | Хабр

Вы отозвали сертификат. Браузер об этом не спросит
08.09.2026 07:00:52 | Хабр

Куда исчезли 15 тысяч кВт·ч: автоматизируем учет на старом заводе
08.09.2026 07:00:52 | Хабр

База оборудования компании «Промрукав» для nanoCAD BIM Электро
08.09.2026 07:00:52 | Хабр

Как лень довела меня до написания кодогенератора
08.09.2026 06:53:51 | Хабр

[Перевод] Исследуйте данные Manticore с помощью OpenSearch Dashboards
08.09.2026 06:48:35 | Хабр

120+ гайдов, как писать статьи на Хабр, VC, DTF и Дзен от топовых авторов Рунета
08.09.2026 06:45:18 | Хабр

Как мы в ПСБ с монолита на микросервисы переходили: шаблоны, нюансы, чек-листы от команды системных аналитиков
08.09.2026 06:43:50 | Хабр

Kaniko vs BuildKit: замеряем время, CPU и память сборки в кластере
08.09.2026 06:40:55 | Хабр

Смотреть все

НОВОСТИ

Зеленский назвал сферы, где Киев готов искать компромисс с Россией
08.09.2026 13:18:20 | Life.ru

Осень решила не церемониться: Синоптик предупредил москвичей о первых заморозках
08.09.2026 13:16:06 | Life.ru

Четыре картины на 9 млн евро украли из музея Ренуара во Франции
08.09.2026 13:16:00 | Российская Газета

На Сахалине спасли пенсионера, которого унесло на резиновой лодке в море
08.09.2026 13:15:49 | ТАСС

Таллин не довёз часть вооружения для ВСУ: 72 млн евро могут просто исчезнуть
08.09.2026 13:15:39 | Life.ru

Россиянам объяснили, с чем связано массовое роение божьих коровок в городах
08.09.2026 13:15:34 | ТАСС

Выбитые зубы и побои: 50-летний «Казанова» умер спустя три месяца после свадьбы с молодой женой
08.09.2026 13:15:24 | Life.ru

Чем чревата для Зеленского операция "Карфаген"
08.09.2026 13:15:00 | Российская Газета

Свищев предложил провести исследование о влиянии продажи пива на стадионах
08.09.2026 13:14:57 | ТАСС

Стали известны соперники сборной России по товарищеским матчам в октябре
08.09.2026 13:14:35 | Lenta.ru

Кириенко: в России живет ген победителей и преемственности патриотизма
08.09.2026 13:13:40 | ТАСС

Попытка россиянина произвести впечатление на сожительницу привела к уголовному делу
08.09.2026 13:11:57 | Lenta.ru

В Киеве произошел пожар в складских помещениях
08.09.2026 13:11:54 | ТАСС

Названы запрещенные действия при укусе паука
08.09.2026 13:11:16 | Lenta.ru

В Херсонской области ВСУ дважды за неделю атаковали пожарную часть МЧС
08.09.2026 13:11:01 | ТАСС

Губернатор Нью-Мексико оценила идею о переименовании штата
08.09.2026 13:10:02 | ТАСС

Подростки-вандалы напали на россиян
08.09.2026 13:09:56 | Lenta.ru

Семья пропавшей на Ставрополье девушки заплатит 500 тысяч за информацию о ней
08.09.2026 13:09:38 | Life.ru

Россия ответит на высылку дипломатов из Венгрии
08.09.2026 13:08:57 | Lenta.ru

РФ намерена распространить в странах ЕАЭС учет молочной продукции по партиям
08.09.2026 13:08:56 | ТАСС

«И много виселиц»: Стрикленд призвал к революции в США
08.09.2026 13:08:38 | Life.ru

Песков: Условия завершения СВО чётко определены, решение остаётся за Киевом
08.09.2026 13:08:37 | Life.ru

В Брянской области из-за ударов ВСУ погиб человек
08.09.2026 13:08:32 | ТАСС

В России запускают новый способ внесения наличных: что изменится с 1 октября
08.09.2026 13:08:32 | Life.ru

Минтруд рассказал, до какого числа можно поменять вариант получения набора соцуслуг
08.09.2026 13:08:11 | ТАСС

Директор тайно снимал школьниц в раздевалках с помощью перьевых ручек
08.09.2026 13:06:53 | Lenta.ru

Назван неочевидный признак повышенного риска преждевременной смерти
08.09.2026 13:06:39 | Lenta.ru

В Севастополе сбили два беспилотника
08.09.2026 13:06:32 | ТАСС

Сбривание бород на границе с Китаем объяснили
08.09.2026 13:06:03 | Lenta.ru

В Петербурге задержали водителя фуры, которых въехал в машину с ребенком
08.09.2026 13:05:05 | ТАСС

«Будет жёстко и болезненно»: Захарова предупредила Венгрию о расплате за высылку дипломатов
08.09.2026 13:05:05 | Life.ru

Песков назвал темы предстоящих переговоров Путина с Моди
08.09.2026 13:05:00 | Российская Газета

Частицу мощей Донского доставят в войсковые части на передовой
08.09.2026 13:03:42 | ТАСС

Защита экс-президента Армении Кочаряна обратится в ЕСПЧ или ООН
08.09.2026 13:03:36 | ТАСС

Первый председатель ЦБ Георгий Матюхин умер за день до 92-летия
08.09.2026 13:03:28 | Life.ru

Все новости

ВСЕ НОВОСТИ

ПИШИТЕ

Техническая поддержка проекта ВсеТут

info@vsetut.pro