Пример #1
0
 /* goodB2G() - use badsource and goodsink */
 private static void GoodB2G()
 {
     /* init data */
     data = 0;
     /* POTENTIAL FLAW: Read data from console with ReadLine*/
     try
     {
         string stringNumber = Console.ReadLine();
         if (stringNumber != null)
         {
             data = sbyte.Parse(stringNumber.Trim());
         }
     }
     catch (IOException exceptIO)
     {
         IO.Logger.Log(NLog.LogLevel.Warn, "Error with stream reading", exceptIO);
     }
     catch (FormatException exceptNumberFormat)
     {
         IO.Logger.Log(NLog.LogLevel.Warn, "Error with number parsing", exceptNumberFormat);
     }
     CWE190_Integer_Overflow__SByte_console_readLine_multiply_68b.GoodB2GSink();
 }
Пример #2
0
 /* goodG2B() - use goodsource and badsink */
 private static void GoodG2B()
 {
     /* FIX: Use a hardcoded number that won't cause underflow, overflow, divide by zero, or loss-of-precision issues */
     data = 2;
     CWE190_Integer_Overflow__SByte_console_readLine_multiply_68b.GoodG2BSink();
 }