Основная цель проекта — обеспечить улучшенную безопасность существующих баз данных кода на C с минимальными изменениями.

Некоторые особенности CHERI C:

Использование аппаратных возможностей для защиты памяти. Адрес памяти связан с дополнительными метаданными, связанными с безопасностью, такими как разрешения доступа и границы доступных областей памяти.
Использование машинного представления указателей C (называемых возможностями) и расширений существующих архитектур наборов команд (ISA), которые позволяют безопасно манипулировать возможностями.
Использование новых возможностей для явного управления указателями, например, для проверки их полей или дальнейшего сужения их границ.

CHERI C реализован изначально как модификации к компиляторам Clang/LLVM, а также в виде порта GCC от Arm.

Наука. Технологии. Партнерство

Наука. Технологии. Партнерство2