Я честно говоря думал ^untaint{ код } внутри работает иначе, смысл тогда в фигурных скобках если работаем со строкой?

andylars 26.06.2016 16:44 / 26.06.2016 21:20

Определение из документации - понятно.

Но думалось, что внутренний механизм ^untaint{ код } - как то на уровне компилятора вносит предварительно куски кода из "области недоверенных - tainted" в область доверительных источников (по-умолчанию), а не плоско и тупо работает со строкой-результатом (хотя и внешне, конечным результатом будет именно такой наблюдаемый эффект)

Я так рассуждал:
Если он работает "тупо" со строкой-результатом - то какой смысл делать фигурные скобочки?

^untaint[ ^some_tainted_code[] or anymore ]

не то же самое бы было?

То есть, я правильно понимаю, что ^untaint{...}
это по сути то же самое, что гипотетический:

 ^taint[as-is-for-tainted-only][ ^some_code[] ]

---