Tainting checker