Removal of DBG code and bug-fixes in "read" and "write" functions.

Author: marek-trtik

benchmarks/TRAINING/diffblue/taint_traces_07/test.java

@@ -1,25 +1,5 @@
 package training07;
 
-class BBB
-{
-  int bbb;
-  private byte[] s;
-  public BBB() {
-    bbb = 0;
-    s = new byte[10];
-  }
-}
-
-class DDD extends BBB
-{
-  int ddd;
-  private byte[] ss = new byte[20];
-}
-
-class XXX {
-    public DDD ddd;
-};
-
 class String {
   public String() {
     this.bytes = new byte[1];
@@ -44,8 +24,11 @@ public InputStream(String init) {
     this.s = init.getBytes();
   }
   int read(byte[] data, int shift, int count) {
-    for (int i = shift; i != count; ++i)
-      data[i] = this.s[i];
+    for (int i = 0; i != count; ++i) {
+      if (i == this.s.length)
+        return i;
+      data[shift + i] = this.s[i];
+    }
     return count;
   }
   private byte[] s;
@@ -65,8 +48,11 @@ public OutputStream() {
     this.s = new byte[100];
   }
   public void write(byte[] data, int shift, int count) {
-    for (int i = 0; i != count; ++i)
+    for (int i = 0; i != count; ++i) {
+      if (i == this.s.length)
+        return;
       this.s[i] = data[i];
+    }
   }
   public void write(byte[] data) {
     write(data,0,data.length);
@@ -117,12 +103,11 @@ public void doGet(HttpServletRequest request, HttpServletResponse response) {
     int size = getBytes(data,in);
     String str0 = new String(data, 0, size);
     String str = str0;
-    //str = sanitise(str);
+    str = sanitise(str);
     OutputStream out0 = getOutStream(response);
     OutputStream out = out0;
     out.write(data,0,size);
     out.write(str.getBytes());
-    foo();
   }
 
   private InputStream getInStream(HttpServletRequest request) {
@@ -143,11 +128,5 @@ private String sanitise(String str) {
   private OutputStream getOutStream(HttpServletResponse response) {
     return response.getOutputStream();
   }
-  
-  public void foo() {
-    XXX xxx = new XXX();
-    xxx.ddd = new DDD();
-  }
 }
 
-