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