Представлен общий подход[0], позволяющий на основе высокоуровневых средств создать безопасную по памяти программную среду, защищённую от нарушений изнутри её собственными средствами. Основу предложения составляет ограничение псевдомодулей для работы с переменными с возможными нарушениями типизации, сохраняющее общую целостность. Даже обычный интерфейс SYSTEM позволяет применять схожий подход, что уже было проделано[1], но в силу несоответствия воплощения исходной простой задумке, это приводит к ограниченности применения и бо́льшим накладным расходам.
[0] github/vostok-space/безопасно-по-памяти.md
[1] проверяемые адреса при работе с SYSTEM
