text 可以将任何污染转换为无污染值的原型

Posted 2021-05-02

package untainted


object TaintedToUntainted

    func toUntaintedSql: String@tainted(sql) s -> String@untainted(sql) = s;
    
    func toUntaintedHtml: String@tainted(html) s -> String@untainted(html) = s;

end