Статья в продолжение темы безопасной разработки на С++ с примером работающего кода. Кратко предыдущие тезисы:
Стремление С++ стать более «безопасным» языком программирования плохо сочетается с требования к стандарту языка. Ведь любой стандарт должен обеспечивать обратную совместимость со старым легаси кодом, что автоматически сводит на нет любые попытки внедрения какой либо новой лексики на уровне единого стандарта С++.
А раз текущее состояние С++ не может гарантировать безопасную разработку на уровне стандартов, то выходит, что:
- Принятие новых стандартов С++ с изменением лексики для безопасной разработки обязательно нарушат обратную совместимость с существующим легаси кодом.
- Переписать всю имеющуюся кодовую базу С++ под новую безопасную лексику (если бы такие стандартны были приняты),
ничуть не дешевле, чем переписать этот же код на новом модном языке программирования.
Возможным выходом из данной ситуации является реализация такого синтаксиса безопасного С++, который бы позволил удовлетворить оба этих требования. Причем самый лучший вариант,
вообще не принимать какие либо новые стандарты С++ для изменения лексики, а попробовать использовать уже существующие принятые ранее.
Proof of Concept
Данный репозиторий содержит код примера маркировки объектов С++ (типов, шаблонов и т.д.) с помощью пользовательских атрибутов и их последующего лексического анализа с помощью плагина компилятора.
В качестве основы был использован прототип концепции безопасной работы с памятью на С++.
Способ маркировки объектов в программном коде С++ с помощью атрибутов очень похож на предложенный в профилях безопасности p3038 от Bjarne Stroustrup и P3081 от Herb Sutter, но не требует принятия нового стандарта С++ (достаточно использовать уже существующий С++20).
Проект для безопасной работы с памятью на С++ сейчас реализован частично и в качестве основы для разработки плагина компилятора была использована данная концепция безопасной работы с памятью С++.
В её основе лежит идея использования сильных и слабых указателей на выделенный блок памяти в куче и контроль времени жизни копий переменных с сильными указателями.
Это немного похоже на владение и заимствование из языка Rust, но реализованное на базе сильных и слабых ссылок (стандартных механизмов С++ shared_ptr и weak_ptr), и поэтому полностью совместима с последним на низком уровне.
Отказ от ответственности
Проверка лексических правил копирования и заимствования реализована частично и данный код не предназначен для промышленного использования, а служит только для демонстрации работоспособности концепции проверки лексики с помощью плагина компилятора без нарушения обратной совместимости с существующим С++ кодом!
Детали реализации:
- Реализация сделана в виде одного заголовочного файла memsafe.h + плагин для компилятора.
- Синтаксическая проверка корректности использования классов происходит в плагине, который подключается динамически при компиляции.
- Каждый используемый шаблонный класс помечен атрибутом
[[memsafe(...)]]в соответствии со своим назначением и при проверке лексики поиск имен шаблонных классов выполняется по наличию указанных атрибутов. - Плагин разработан для Clang (использована актуальная версия clang-19)
- Проверка синтаксических правил активируется автоматически во время при подключении плагина за счет использования встроенной функции
__has_attribute (memsafe). Если плагин во время компиляции отсутствует, то использование атрибутов отключается с помощью макросов препроцессора для подавления предупреждений видаwarning: unknown attribute 'memsafe' ignored [-Wunknown-attributes]. - Для целей тестирования и отладки плагин может создавать копию анализируемого файла, с добавлением в него меток в виде обычных комментариев о применении синтаксических правил или найденных ошибках для их последующего анализа.
- Для создания копии файла использует стандартный способ clang::FixItRewriter, вывод которого можно использовать в том числе и в любой среде разработки, которая его поддерживает.
Быстрые примеры:
#include "memsafe.h" using namespace memsafe; namespace MEMSAFE_ATTR("unsafe") { // Проверки плагина игнорируются VarShared<int> var_unsafe1(1); memsafe::VarShared<int> var_unsafe2(2); memsafe::VarShared<int> var_unsafe3(3); } memsafe::VarValue<int> var_value(1); memsafe::VarShared<int> var_share(1); memsafe::VarGuard<int, memsafe::VarSyncMutex> var_guard(1); static memsafe::VarValue<int> var_static(1); static auto static_fail1(var_static.take()); // Корректный С++ код, но неправлиный с точки зрения memsafe memsafe::VarShared<int> stub_function(memsafe::VarShared<int> arg, memsafe::VarValue<int> arg_val) { memsafe::VarShared<int> var_shared1(1); memsafe::VarShared<int> var_shared2(1); var_shared1 = var_shared2; // Корректный С++ код, но неправлиный с точки зрения memsafe { memsafe::VarShared<int> var_shared3(3); var_shared3 = var_shared1; // OK std::swap(var_shared1, var_shared3); // Корректный С++ код, но неправлиный с точки зрения memsafe } return 777; // OK } memsafe::VarShared<int> stub_function8(memsafe::VarShared<int> arg) { return arg; // Корректный С++ код, но неправлиный с точки зрения memsafe }
Командная строка для подключения плагина clang++ -std=c++20 -Xclang -load -Xclang ./memsafe_clang.so -Xclang -add-plugin -Xclang memsafe _example.cpp
clang++-19 -std=c++20 -c -g -DBUILD_UNITTEST -I. -std=c++20 -ferror-limit=500 -Xclang -load -Xclang ./memsafe_clang.so -Xclang -add-plugin -Xclang memsafe -MMD -MP -MF "build/UNITTEST/CLang-19-Linux/_example.o.d" -o build/UNITTEST/CLang-19-Linux/_example.o _example.cpp Register template class 'memsafe::VarAuto' and 'VarAuto' with 'auto' attribute! Register template class 'memsafe::VarValue' and 'VarValue' with 'value' attribute! Register template class 'memsafe::VarShared' and 'VarShared' with 'shared' attribute! Register template class 'memsafe::VarGuard' and 'VarGuard' with 'shared' attribute! Register template class 'memsafe::VarWeak' and 'VarWeak' with 'weak' attribute! In file included from _example.cpp:1: ./memsafe.h:645:38: remark: Memory safety plugin is enabled! 645 | namespace MEMSAFE_ATTR("enable") { | ^ _example.cpp:25:17: error: Create auto variabe as static 25 | static auto static_fail1(var_static.take()); | ^ | /* [[memsafe(error, 3002)]] */ _example.cpp:26:17: error: Create auto variabe as static 26 | static auto static_fail2 = var_static.take(); | ^ | /* [[memsafe(error, 3003)]] */ _example.cpp:52:21: error: Cannot copy a shared variable to an equal or higher lexical level 52 | var_shared1 = var_shared1; | ^ | /* [[memsafe(error, 4024)]] */ _example.cpp:53:21: error: Cannot copy a shared variable to an equal or higher lexical level 53 | var_shared1 = var_shared2; | ^ | /* [[memsafe(error, 4025)]] */ _example.cpp:57:25: error: Cannot copy a shared variable to an equal or higher lexical level 57 | var_shared1 = var_shared1; | ^ | /* [[memsafe(error, 4029)]] */ _example.cpp:58:25: error: Cannot copy a shared variable to an equal or higher lexical level 58 | var_shared2 = var_shared1; | ^ | /* [[memsafe(error, 4030)]] */ _example.cpp:59:25: error: Cannot copy a shared variable to an equal or higher lexical level 59 | var_shared3 = var_shared1; | ^ | /* [[memsafe(error, 4031)]] */ _example.cpp:65:29: error: Cannot copy a shared variable to an equal or higher lexical level 65 | var_shared1 = var_shared1; | ^ | /* [[memsafe(error, 4037)]] */ _example.cpp:66:29: error: Cannot copy a shared variable to an equal or higher lexical level 66 | var_shared2 = var_shared1; | ^ | /* [[memsafe(error, 4038)]] */ _example.cpp:67:29: error: Cannot copy a shared variable to an equal or higher lexical level 67 | var_shared3 = var_shared1; | ^ | /* [[memsafe(error, 4039)]] */ _example.cpp:69:29: error: Cannot copy a shared variable to an equal or higher lexical level 69 | var_shared4 = var_shared1; | ^ | /* [[memsafe(error, 4041)]] */ _example.cpp:70:29: error: Cannot copy a shared variable to an equal or higher lexical level 70 | var_shared4 = var_shared3; | ^ | /* [[memsafe(error, 4042)]] */ _example.cpp:72:29: error: Cannot copy a shared variable to an equal or higher lexical level 72 | var_shared4 = var_shared4; | ^ | /* [[memsafe(error, 4044)]] */ _example.cpp:77:13: error: Cannot swap a shared variables of different lexical levels 77 | std::swap(var_shared1, var_shared3); | ^ | /* [[memsafe(error, 4049)]] */ _example.cpp:95:16: error: Return share type 95 | return arg; | ^ | /* [[memsafe(error, 5004)]] */ 15 errors generated.
Описание и основные команды (атрибуты в С++ коде)
По умолчанию проверка дополнительных лексическая правил отключена. Включение или отключение лекстической проверки правил для безопасной работы с памятью производится следующими командами:
namespace [[memsafe("define")]] NAME { ... }— определение области именNAMEв которой будут присутствовать шаблонные классы для работы модуля.[[memsafe("value")]],[[memsafe("shared")]],[[memsafe("guard")]],[[memsafe("auto")]]и[[memsafe("weak")]]— атрибуты для маркировки шаблонных классов в заголовочном файле проекта.namespace [[memsafe("enable")]] { }— команда включения синтаксического анализатора плагина компилятора для шаблонных классов.namespace [[memsafe("disable")]] { }— команда выключает синтаксический анализатор плагина компилятора до конца файла или до команды включения.namespace [[memsafe("unsafe")]] { ... }— определение пространства имен в котором синтаксический анализатор игнорирует ошибки безопасного использования memsafe классов. Возможно использование атрибута[[memsafe("unsafe")]]и для отдельных операторов, но в настоящий момент это не реализовано. (Например, сейчас нельзя сделать вот так[[memsafe("unsafe")]] return nullptr;чтобы подавить проверку одного конкретного оператора. Для этого нужна более новая версия clang с реализацией Pull requests #110334)
В настоящий момент (для целей демонстрации работоспособности концепции) в плагине сделаны следующие проверки лексики:
- Запрет копирования ссылочных и защищенных переменных в рамках одного уровня (отмеченных
[[memsafe("shared")]]) - Запрет обмена значениями между двумя ссылочными переменными разных уровней (отмеченных
[[memsafe("shared")]]) - Запрет создания статических захваченных переменных отмеченных
[[memsafe("auto")]] - Запрет возврата из функции захваченных (автоматических) переменных (отмеченных
[[memsafe("auto")]]) - Запрет возврата из функции ссылочных и защищенных переменных, кроме созданных непостредственно в операторе возврата
ссылка на оригинал статьи https://habr.com/ru/articles/874648/
Добавить комментарий