joseoliv
6/15/2018 - 1:24 PM

Prototype that can convert any tainted to untainted value

Prototype that can convert any tainted to untainted value

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