Реестр Интентов (Public)
Публичная библиотека EDN-контрактов для безопасного C/C++ кода.
Доступные интенты
| Интент | Описание | Статус |
|---|---|---|
| Безопасность памяти (C-SAFE) | Жизненный цикл указателей, safe-free | ✅ Public |
| Контроль границ (BOUNDS) | Проверка границ массивов | 🚧 Draft |
| Защита указателей | Защита арифметики указателей | 🚧 Draft |
| Валидация типов (TYPE-INTENT) | Безопасное приведение типов | 🚧 Draft |
| Lifecycle Tracking (Пастух) | Отслеживание рождения/смерти переменных | 🚧 Draft |
Как использовать
- Выберите нужный интент из реестра
- Добавьте EDN-контракт в свой проект
- Разметьте код garden-тегами
- Запустите валидацию через Enforcer
Ссылки
Bake the Future. Build the Substrate. 🛠️⚡️