/* goodG2B() - use goodsource and badsink */
        private static void GoodG2B()
        {
            string data;

            /* FIX: Set the path as the "system" path */
            if (RuntimeInformation.IsOSPlatform(OSPlatform.Linux))
            {
                data = "/bin";
            }
            else
            {
                data = "%SystemRoot%\\system32";
            }
            CWE427_Uncontrolled_Search_Path_Element__ReadLine_71b.GoodG2BSink((Object)data);
        }
        public override void Bad()
        {
            string data;

            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");
                }
            }
            CWE427_Uncontrolled_Search_Path_Element__ReadLine_71b.BadSink((Object)data);
        }