Поскольку создание надёжных программ требует использования надёжного инструментария, что в случае языка для защищённого программирования подразумевает не только компилятор, но и статический анализатор, систему формального доказательства правильности и запутыватель логики, то быть простым для инструментария, значит сильно повысить шансы на успех.
Быть простым для транслятора означает возможность использовать более простые подходы для трансляции, обойдясь без сторонних инструментов, вроде компиляторов грамматик. Меньшее количество кода и инструментов и их меньшая сложность — это также и меньшее количество ошибок. Это обстоятельство стоит помнить всегда, особенно во время творческих порывов.
Статический анализатор — это продолжение контроля транслятора над более сложными ошибками, проверка которых, зачастую, требует более длительного времени, чем это приемлемо для трансляции. Чтобы упростить воплощение анализатора, нужно вынести ряд ошибок в ряд невозможных, уменьшить разнообразие способов сделать одно и то же и сделать код более структурным.
Быть простым для системы доказательств формальной правильности, значит вывести эту необходимую технику из академических и маргинальных кругов. Более того, в случае написания транслятора на его входном языке, можно дополнительно повысить его качество, проведя формальное доказательство правильности, чему также будет способствовать простота транслятора, созданного без сторонних инструментов.
Запутыватель логики(обфускатор) необходим как часть противодействия ряду атак. Учёт необходимости такой возможности позволит применять её более эффективно.
Простота для инструментария не означает, что инструментарий обязан быть простым. Многие возможности повышения надёжности требуют сложных подходов. Простота означает отсутствие избыточных усложнений для инструментов.
Комментариев нет:
Отправить комментарий