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 ladenHttp(String filmWebsite, String thema, String alter) {
          // erst die Nummer suchen
          // >25420<4<165<23. Die b
          // <http://www.kikaplus.net/clients/kika/mediathek/previewpic/1355302530-f80b463888fd4602d925b2ef2c861928 9.jpg<
          final String MUSTER_BILD = "<http://www.";
          seiteHttp = getUrlIo.getUri(nameSenderMReader, filmWebsite, Konstanten.KODIERUNG_UTF, 1, seiteHttp, thema);
          String nummer, url, bild, urlFilm, titel;
          nummer = seiteHttp.extract(">", "<");
          bild = seiteHttp.extract(MUSTER_BILD, "<");
          if (!bild.isEmpty()) {
              bild = "http://www." + bild;
          }
          // die URL bauen:
          // http://www.kikaplus.net/clients/kika/kikaplus/hbbtv/index.php?cmd=video&age=10&id=25420&page=az
          if (!nummer.isEmpty()) {
              url = "http://www.kikaplus.net/clients/kika/kikaplus/hbbtv/index.php?cmd=video&age=" + alter + "&id=" + nummer + "&page=az";
              seiteHttp = getUrlIo.getUri(nameSenderMReader, url, Konstanten.KODIERUNG_UTF, 1, seiteHttp, thema);
              final String MUSTER_URL = "var videofile = \"";
              final String MUSTER_TITEL = "var videotitle = \"";
              urlFilm = seiteHttp.extract(MUSTER_URL, "\"");
              titel = seiteHttp.extract(MUSTER_TITEL, "\"");
              if (!urlFilm.equals("")) {
                  meldung(urlFilm);
                  // DatenFilm(String ssender, String tthema, String filmWebsite, String ttitel, String uurl, String uurlRtmp,
                  //     String datum, String zeit,
                  //     long dauerSekunden, String description, String thumbnailUrl, String imageUrl, String[] keywords) {
                  DatenFilm film = null;
                  if ((film = istInFilmListe(nameSenderMReader, thema, titel)) != null) {
                      film.addUrlKlein(urlFilm, "");
                  } else {
                      // dann gibs ihn noch nicht
                      addFilm(new DatenFilm(nameSenderMReader, thema, "http://www.kika.de/fernsehen/mediathek/index.shtml", titel, urlFilm, ""/* urlRtmp */,
                              ""/*datum*/, ""/*zeit*/,
                              0, "", bild, "", new String[]{""}));
                  }
              } else {
                  Log.fehlerMeldung(-915263078, Log.FEHLER_ART_MREADER, "MediathekKika", "keine URL: " + filmWebsite);
              }
          }
      } 
                              #location 21 
                              #vulnerability type THREAD_SAFETY_VIOLATION