https://trust-lang.net/ru/tags/safety/ Recent content in Safety on TrustLang Hugo ru https://trust-lang.net/ru/docs/safety/ Mon, 01 Jan 0001 00:00:00 +0000 https://trust-lang.net/ru/docs/safety/ <p>Раздел объединяет возможности <em>TrustLang</em>, которые отвечают за <strong>безопасность и качество</strong> программ: безопасное управление памятью, защиту от гонок данных, контроль корректности на этапе компиляции и формальную верификацию.</p> <p>Каждая возможность описана подробно <strong>ровно в одном месте</strong> (страница-источник) и лишь упоминается здесь с выжимкой и ссылкой. Подробные перечни опций/диагностик не дублируются — их источник в справке инструмента (<code>trust --help</code>, <code>trust -Whelp</code>, LSP-ховеры).</p> <h2 id="возможности-раздела">Возможности раздела<a class="td-heading-self-link" href="#%d0%b2%d0%be%d0%b7%d0%bc%d0%be%d0%b6%d0%bd%d0%be%d1%81%d1%82%d0%b8-%d1%80%d0%b0%d0%b7%d0%b4%d0%b5%d0%bb%d0%b0" aria-label="Heading self-link"></a></h2><table> <thead> <tr> <th>Возможность</th> <th>Кратко</th> <th>Подробно (источник)</th> </tr> </thead> <tbody> <tr> <td>Безопасное управление памятью без GC</td> <td>RAII, сильные/слабые ссылки, запрет сильных циклических ссылок, защита стека от переполнения</td> <td><a href="https://trust-lang.net/ru/docs/safety/memory/">Память</a></td> </tr> <tr> <td>Защита от гонок и синхронизация доступа</td> <td>Автоматическая межпотоковая синхронизация при обращении к разделяемым данным</td> <td><a href="https://trust-lang.net/ru/docs/safety/memory/">Память</a></td> </tr> <tr> <td>Контрактное программирование</td> <td>Пред-/пост-условия и утверждения (<code>trust_pre</code>/<code>trust_post</code>/<code>trust_assert</code>)</td> <td><a href="verification/">Верификация</a></td> </tr> <tr> <td>Формальная верификация (SMT)</td> <td>Авто-выполнение Z3 по контрактам, инварианты циклов, кванторы</td> <td><a href="verification/">Верификация</a></td> </tr> <tr> <td>Статическая типизация и контроль приведения</td> <td>Номинальная проверка типов на этапе компиляции; сужение с контролем диапазона</td> <td><a href="../types/type_system/">Система типов</a></td> </tr> <tr> <td>Диапазонные проверки чисел</td> <td>Ошибка при выходе за диапазон типа, а не молчаливое переполнение</td> <td><a href="https://trust-lang.net/ru/docs/types/numbers/">Числа</a></td> </tr> <tr> <td>Контроль целочисленного переполнения</td> <td>Встроен и <strong>включён по умолчанию</strong>: переполнение знаковой арифметики (UB в C++) → перехватываемое <code>IntMinus</code></td> <td><a href="https://trust-lang.net/ru/docs/types/numbers/#overflow">Числа</a></td> </tr> <tr> <td>Защита стека от переполнения (stack check)</td> <td>Переполнение стека → перехватываемое исключение <code>stack_overflow</code>, а не segfault</td> <td><a href="https://trust-lang.net/ru/docs/safety/stack_check/">stack_check</a></td> </tr> <tr> <td>Контроль инвалидации ссылок (borrowed)</td> <td>Запрет использования зависимых ссылок после мутации источника (висячие ссылки)</td> <td><a href="invalidation/">invalidation</a></td> </tr> </tbody> </table> <blockquote> <p>Модель безопасной памяти портирована на C++ в отдельный проект <a href="https://github.com/rsashka/memsafe">memsafe</a>.</p> https://trust-lang.net/ru/docs/safety/stack_check/ Mon, 01 Jan 0001 00:00:00 +0000 https://trust-lang.net/ru/docs/safety/stack_check/ <p>В <em>TrustLang</em> встроена <a href="https://github.com/afteri-ru/stack-check">защита стека от переполнения</a>. Перед вызовом защищаемой функции проверяется свободное место на стеке потока, и если его недостаточно — вместо аварийного завершения всего приложения (<code>segmentation fault</code>) создаётся <strong>программное исключение <code>stack_overflow</code></strong>, которое можно перехватить и обработать внутри приложения, после чего продолжить выполнение программы.</p> <p>Здесь будет подробное описание реализации и способов использования.</p> <p>А сейчас можно посмотреть примеры использования: <a href="https://trust-lang.net/ru/playground/?file=fibonacci">рекурсивное вычисление чисел Фибоначчи</a> и <a href="https://trust-lang.net/ru/playground/?file=prime">рекурсивная проверка чисел на простоту</a></p> <!-- ## Атрибут `@[stack_check@]` Защищаемые функции помечаются атрибутом `@[stack_check@]`: - `@[stack_check@]` — перед каждым вызовом функции проверяется максимальный размер её стека из секции `.stack_sizes` (`check_stack_limit`, требуется сборка с `-fstack-size-section`); - `@[stack_check(N)@]` — проверяется, что свободно не меньше `N` байт плюс резерв (`check_overflow(N)`). Пример рекурсии, защищённой атрибутом (переполнение ловится, а не роняет программу): ```trust @[ stack_check @] %fib(n:BigInteger):Tuple(sum:BigInteger, fib:BigInteger) := { if (n < 3) { $one:BigInteger := 1; return :Tuple($one, $one); }; p := fib(n - 1); return (p.0 + p.1, p.sum,):Tuple; }; @main(argv^:Dict, args^:Dict) := { try_error { fib(1000000); } catch(_) { @print('STACK OVERFLOW caught\\n'); }; return 0; }; ``` ## Режимы контроля (`--stack-check=<mode>`) Монотонная шкала режимов (`trust --help`): - `off` — контроль выключен (атрибуты — no-op, рекурсия не анализируется); - `explicit` (по умолчанию) — проверки только явно размеченных функций и явных вызовов; - `recursion` — как `explicit` плюс диагностика незащищённых рекурсивных функций (`-Wstack-check-infer`); - `auto` — как `recursion` плюс авто-маркировка рекурсивных функций. Защитный резерв задаётся `--stack-check-reserve=<байты>` (по умолчанию — рантайм-дефолт `8192`). Работающие примеры — [песочница fibonacci](/ru/playground/?file=fibonacci); готовые тесты контроля стека — `test/lit/.../e2e/stack/*`. ## Рантайм-функции контроля Для явного управления доступны нативные функции `%trust_stack_check(N)`, `%trust_stack_check_set_reserve(...)`, `%trust_stack_check_get_reserve()`, `%trust_stack_check_get_limit()` и `%trust_stack_check_set_limit(...)`. Полные сигнатуры — в справке `trust --help` / `-Whelp`. -->