Skip to content

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
You can’t perform that action at this time.