Exemplos de testcases.CWE369_Divide_by_Zero CWE369_Divide_by_Zero__float_console_readLine_modulo_66b.BadSink em C# (CSharp)

Exemplo n.º 1

Arquivo: CWE369_Divide_by_Zero__float_console_readLine_modulo_66a.cs Projeto: Anzsley/Juliet_Test_Suite_v1.3_for_C_Sharp

        public override void Bad()
        {
            float data;

            data = -1.0f; /* Initialize data */
            {
                /* read user input from console with ReadLine */
                try
                {
                    /* POTENTIAL FLAW: Read data from the console using ReadLine */
                    string stringNumber = Console.ReadLine();
                    if (stringNumber != null) // avoid NPD incidental warnings
                    {
                        try
                        {
                            data = int.Parse(stringNumber.Trim());
                        }
                        catch (FormatException exceptNumberFormat)
                        {
                            IO.Logger.Log(NLog.LogLevel.Warn, exceptNumberFormat, "Number format exception parsing data from string");
                        }
                    }
                }
                catch (IOException exceptIO)
                {
                    IO.Logger.Log(NLog.LogLevel.Warn, exceptIO, "Error with stream reading");
                }
            }
            float[] dataArray = new float[5];
            dataArray[2] = data;
            CWE369_Divide_by_Zero__float_console_readLine_modulo_66b.BadSink(dataArray);
        }