BASIS — разработчик программных продуктов для оказания облачных услуг и платформы динамической инфраструктуры. Компания BASIS занимается поставкой и интеграцией решений виртуализации крупнейшим государственным и коммерческим заказчикам. Мы занимаем активную позицию в вопросе замещения импортных решений нашими.
Задачи
Статический анализ кода (SAST) критических компонентов Linux
Анализ исходного кода ядра Linux, KVM/QEMU, libvirt, сетевых драйверов и технологий (OVS, DPDK), файловых систем (ext4, XFS, Btrfs)
Использование инструментов: Coverity, Coccinelle, sparse, Smatch, CodeQL
Настройка и запуск фаззеров (syzkaller, AFL++, libFuzzer, kAFL) для тестирования ядра и виртуализации
Анализ крашей, написание репортов и работа с upstream-разработчиками. Динамический анализ и отладка
Работа с KASAN, UBSAN, KMSAN, GDB, kgdb, perf, ftrace
Анализ дампов памяти, race conditions (lockdep, KCSAN). Устранение уязвимостей
Исправление найденных проблем (патчинг, backport исправлений)
Проверка на соответствие стандартам безопасности (Linux Kernel Self-Protection Project, CERT C). Аудит безопасности
Анализ механизмов SELinux, AppArmor, seccomp, namespaces, cgroups
Проверка конфигураций виртуализации (KVM hardening). Интеграция в CI/CD
Настройка автоматических проверок в Jenkins, GitLab CI, KernelCI, LKFT
Требования
Высшее техническое образование в области информационной безопасности или информационных технологий Опыт работы с ядром Linux (понимание архитектуры, знакомство с кодом)
Знание Java
Участие в разработке/анализе open-source проектов (ядро Linux, QEMU, libvirt)
Навыки статического анализа (Coverity, Coccinelle, CodeQL)
Опыт фаззинга системного ПО (syzkaller, AFL++, Trinity)