Create a gist now

Instantly share code, notes, and snippets.

Embed
What would you like to do?
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment