implemented object/string over-tainting