Check and handle when a tainted variable is used
Auto-untaint variables passed through 'escape'
Add tainting tests