Checks for taintedness of variables Andy Lester (andy@petdance.com)