hardware-assisted-safety

5 статей

2 авг. 2026 г.

Ваш код на C может работать на capability-оборудовании без полного rewrite

Гибридный ABI CHERI позволяет портировать код на C на capability-оборудование постепенно. Вот как компилировать, что ломается и как это исправить без rewrite всей codebase.

hardware-assisted-safety cheri c porting

1 авг. 2026 г.

Hardware capability не провалился. Он пришёл на 40 лет раньше времени.

Безопасность памяти на уровне hardware была возможна с 1970-х. Вот почему архитектуры capability проигрывали плоским моделям памяти, и почему CHERI наконец меняет расклад.

hardware-assisted-safety capability-hardware cheri software-history

31 июл. 2026 г.

Ваша зависимость на C может уронить весь процесс. WebAssembly может это остановить.

Контейнеры — это overkill для изоляции одной C-библиотеки. Скомпилируйте её в WebAssembly и запустите внутри WASI-sandbox для memory safety, capability-based доступа к файловой системе и crash containment без Docker.

hardware-assisted-safety sandboxing c webassembly

30 июл. 2026 г.

Ваш телефон уже оснащён аппаратным обеспечением, которое обнаруживает повреждение памяти

ARM Memory Tagging Extension и GWP-ASan делают возможным обнаружение проблем безопасности памяти в продакшене на современных мобильных устройствах. Вот как они работают и каковы компромиссы.

hardware-assisted-safety memory-corruption mobile asan

29 июл. 2026 г.

Buffer Overflows Продолжают Происходить, Потому Что Мы Исправляем Их в Software

CHERI — это hardware-расширение, которое превращает каждый pointer в bounded capability. Вот как оно останавливает buffer overflows на уровне CPU, что это стоит и как попробовать его на реальном оборудовании.

hardware-assisted-safety buffer-overflow memory-safety cheri