static void testFieldSensitivity4() { Datacontainer d1 = new Datacontainer(); d1.setDescription("abcd"); d1.setDescription(taintedString("abcdefg")); assert (getTaint(d1.getDescription()) != 0); }
void sendTaint() { assert (getTaint(d1.getDescription()) == 0); }