В статье освещается кейс по использованию SAST инструментов (Semgrep/Opengrep) для проверки корректности написанных C stubs для языка программирования OCaml.

В этой статье освещается задача прошивки плат Arduino на базе микроконтроллеров AVR: разбирается низкоуровневые подробности происходящих за этим процессов. Поговорим про теорию, загрузчики, протоколы как со стороны железки, так и со стороны компьютерной прикладной части.