コード例 #1
0
 void sendTaint() {
   assert (getTaint(d1.getDescription()) == 0);
 }
コード例 #2
0
 static void testFieldSensitivity4() {
   Datacontainer d1 = new Datacontainer();
   d1.setDescription("abcd");
   d1.setDescription(taintedString("abcdefg"));
   assert (getTaint(d1.getDescription()) != 0);
 }
コード例 #3
0
 void setTaint(Datacontainer data) {
   data.setDescription("abcd");
   data.setSecret(taintedString("abcdefg"));
 }