/* goodB2G() - use badsource and goodsink */
 private static void GoodB2G(HttpRequest req, HttpResponse resp)
 {
     data = ""; /* Initialize data */
     {
         /* read user input from console with ReadLine */
         try
         {
             /* POTENTIAL FLAW: Read data from the console using ReadLine */
             data = Console.ReadLine();
         }
         catch (IOException exceptIO)
         {
             IO.Logger.Log(NLog.LogLevel.Warn, exceptIO, "Error with stream reading");
         }
     }
     CWE113_HTTP_Response_Splitting__Web_ReadLine_addHeader_68b.GoodB2GSink(req, resp);
 }
 /* goodG2B() - use goodsource and badsink */
 private static void GoodG2B(HttpRequest req, HttpResponse resp)
 {
     /* FIX: Use a hardcoded string */
     data = "foo";
     CWE113_HTTP_Response_Splitting__Web_ReadLine_addHeader_68b.GoodG2BSink(req, resp);
 }