Документация Trusted-CPP
Добро пожаловать в документацию проекта Trusted-CPP - системы, гарантирующей безопасную разработку программ на C++ на уровне исходного кода.
Содержание
О проекте
Trusted-CPP реализует концепцию безопасной разработки программного обеспечения на основе гарантий языка для C++. Наш подход решает основные проблемы C++, связанные с работой с памятью и ссылочными типами данных, без нарушения обратной совместимости со старым кодом.
Проект состоит из двух основных компонентов:
- Библиотека в виде заголовочных файлов
- Плагин компилятора Clang
Эти компоненты работают вместе, обеспечивая безопасность памяти в приложениях C++ при сохранении полной совместимости с существующими кодовыми базами.
Основные особенности
- Безопасность памяти: Автоматическое освобождение памяти при отсутствии сильных циклических ссылок
- Обратная совместимость: Работает с существующим кодом C++ без модификаций
- Потоковая безопасность: Автоматическая защита от гонок данных в многопоточных средах
- Интеграция с компилятором: Статический анализ во время компиляции для раннего обнаружения ошибок
Для получения дополнительной информации посетите наш репозиторий на GitHub.