скрипты генерят скрипты

[гоша]

"Потенциальная уязвимость" заключается в том, что количество различных генерируемых кодов (в общем случае) практически бесконечно.

Ошибка в обычном коде выявляется тестированием, полное же тестирование порожденного кода (в общем случае) невозможно.

 

[Raziel[SD]]

JVN в данном примере это используется для кэширования.

 

[Crazy]

Автор оригинала: гоша
"Потенциальная уязвимость" заключается в том, что количество различных генерируемых кодов (в общем случае) практически бесконечно.

Точнее, их столько же, сколько вариантов исполнения кода, который делал бы то же самое без метапрограммирования. Так что довод опять в молоко.

Ошибка в обычном коде выявляется тестированием, полное же тестирование порожденного кода (в общем случае) невозможно.

Если мы доказали корректность порождающего кода, то абсолютно незачем доказывать что-то еще. Да, доказательство будет более сложным. Потому и не рекомендуется это для начинающих.

 

[PhpGuest]

Автор оригинала: гоша
"Потенциальная уязвимость" заключается в том, что количество различных генерируемых кодов (в общем случае) практически бесконечно.
Ошибка в обычном коде выявляется тестированием, полное же тестирование порожденного кода (в общем случае) невозможно.

Ну а тоже самое разве нельзя сказать что (в общем случае) кол-во входных данных на негенерируемый скрипт бесконечно, поэтому и нельзя провести полное его тестирование?

 

[Demiurg]

гоша
ты хочешь сказать, что компиляторы протестировать в том же объеме, что и редакторы невозможно ?