output: #fixed code
                                  void addToListNormal() {
          //<strong style="margin-left:10px;">Sesamstraße präsentiert: Eine Möhre für Zwei</strong><br />
          //<a style="margin-left:20px;" href="?programm=168&amp;id=14487&amp;ag=5" title="Sendung vom 10.10.2012" class="overlay_link">42. Ordnung ist das halbe Chaos</a><br />
          //<a style="margin-left:20px;" href="?programm=168&amp;id=14485&amp;ag=5" title="Sendung vom 10.10.2012" class="overlay_link">41. Über den Wolken</a><br />
          final String ADRESSE = "http://kikaplus.net/clients/kika/kikaplus/";
          final String MUSTER_URL = "<a style=\"margin-left:20px;\" href=\"";
          final String MUSTER_THEMA = "<strong style=\"margin-left:10px;\">";
          final String MUSTER_DATUM = "title=\"Sendung vom ";
          listeThemen.clear();
          seite = new MVStringBuilder(Konstanten.STRING_BUFFER_START_BUFFER);
          seite = getUrlIo.getUri(nameSenderMReader, ADRESSE, Konstanten.KODIERUNG_UTF, 3, seite, "KiKA: Startseite");
          int pos = 0;
          int pos1, pos2, stop, pDatum1, pDatum2, pTitel1, pTitel2;
          String url, thema, datum, titel;
          while ((pos = seite.indexOf(MUSTER_THEMA, pos)) != -1) {
              try {
                  thema = "";
                  pos += MUSTER_THEMA.length();
                  stop = seite.indexOf(MUSTER_THEMA, pos);
                  pos1 = pos;
                  if ((pos2 = seite.indexOf("<", pos1)) != -1) {
                      thema = seite.substring(pos1, pos2);
                  }
                  while ((pos1 = seite.indexOf(MUSTER_URL, pos1)) != -1) {
                      titel = "";
                      datum = "";
                      if (stop != -1 && pos1 > stop) {
                          // dann schon das nächste Thema
                          break;
                      }
                      pos1 += MUSTER_URL.length();
                      if ((pos2 = seite.indexOf("\"", pos1)) != -1) {
                          url = seite.substring(pos1, pos2);
                          //if (!url.equals("")) {
                          url = StringEscapeUtils.unescapeXml(url);
                          if (!url.equals("") && !url.startsWith("http://") && !url.startsWith("/")) {
                              // Datum
                              if ((pDatum1 = seite.indexOf(MUSTER_DATUM, pos2)) != -1) {
                                  pDatum1 += MUSTER_DATUM.length();
                                  if ((pDatum2 = seite.indexOf("\"", pDatum1)) != -1) {
                                      if (stop != -1 && pDatum1 < stop && pDatum2 < stop) {
                                          // dann schon das nächste Thema
                                          datum = seite.substring(pDatum1, pDatum2);
                                      }
                                  }
                              }
  
                              // Titel
                              if ((pTitel1 = seite.indexOf(">", pos2)) != -1) {
                                  pTitel1 += 1;
                                  if ((pTitel2 = seite.indexOf("<", pTitel1)) != -1) {
                                      //if (stop != -1 && pTitel1 > stop && pTitel2 > stop) {
                                      if (stop != -1 && pTitel1 < stop && pTitel2 < stop) {
                                          titel = seite.substring(pTitel1, pTitel2);
                                      }
                                  }
                              }
                              // in die Liste eintragen
                              String[] add = new String[]{ADRESSE + url, thema, titel, datum};
                              listeThemen.addUrl(add);
                          }
                      }
                  }
              } catch (Exception ex) {
                  Log.fehlerMeldung(-302025469, Log.FEHLER_ART_MREADER, "MediathekKiKA.addToList", ex, "");
              }
          }
      }
input: #vulnerable code 
                                  void addToListHttp() {
          //http://www.kikaplus.net/clients/kika/kikaplus/hbbtv/index.php?cmd=az&age=3&page=all
          //http://www.kikaplus.net/clients/kika/kikaplus/hbbtv/index.php?cmd=az&age=6&page=all
          //http://www.kikaplus.net/clients/kika/kikaplus/hbbtv/index.php?cmd=az&age=10&page=all
  
          final String ADRESSE_1 = "http://www.kikaplus.net/clients/kika/kikaplus/hbbtv/index.php?cmd=az&age=";
          final String ADRESSE_2 = "&page=all";
          final String MUSTER_START = "var programletterlist = {\"";
          final String[] ALTER = {"3", "6", "10"};
  //        listeThemen.clear();
          MVStringBuilder seite = new MVStringBuilder(Konstanten.STRING_BUFFER_START_BUFFER);
          meldungStart();
          int pos1 = 0, pos2, start = 0, stop = 0;
          String id = "", thema = "", url = "";
          for (String alter : ALTER) {
              seite = getUrlIo.getUri(nameSenderMReader, ADRESSE_1 + alter + ADRESSE_2, Konstanten.KODIERUNG_UTF, 3, seite, "KiKA: Startseite");
              if ((start = seite.indexOf(MUSTER_START)) != -1) {
                  start += MUSTER_START.length();
                  pos1 = start;
                  if ((stop = seite.indexOf("}};", start)) != -1) {
                      while ((pos1 = seite.indexOf("\"", pos1)) != -1) {
                          thema = "";
                          id = "";
                          pos1 += 1;
                          if ((pos2 = seite.indexOf("\"", pos1)) != -1) {
                              id = seite.substring(pos1, pos2);
                              try {
                                  // Testen auf Zehl
                                  int z = Integer.parseInt(id);
                              } catch (Exception ex) {
                                  continue;
                              }
                              ++pos2;
                              if ((pos1 = seite.indexOf("\"", pos2)) != -1) {
                                  ++pos1;
                                  if ((pos2 = seite.indexOf("\"", pos1)) != -1) {
                                      thema = seite.substring(pos1, pos2);
                                  }
                              }
                              // http://www.kikaplus.net/clients/kika/kikaplus/hbbtv/index.php?cmd=program&id=165&age=10
                              url = "http://www.kikaplus.net/clients/kika/kikaplus/hbbtv/index.php?cmd=program&id=" + id + "&age=" + alter;
                              ladenHttp(url, thema, alter);
                          }
                      }
                  }
              }
          }
      } 
                              #location 42 
                              #vulnerability type THREAD_SAFETY_VIOLATION