/* goodG2B() - use GoodSource and BadSink */ private static void GoodG2B() { float data; /* FIX: Use a hardcoded number that won't a divide by zero */ data = 2.0f; Dictionary <int, float> dataDictionary = new Dictionary <int, float>(); dataDictionary.Add(0, data); dataDictionary.Add(1, data); dataDictionary.Add(2, data); CWE369_Divide_by_Zero__float_File_modulo_74b.GoodG2BSink(dataDictionary); }
/* goodB2G() - use BadSource and GoodSink */ private static void GoodB2G() { float data; data = -1.0f; /* Initialize data */ { File.Create("data.txt").Close(); try { /* read string from file into data */ using (StreamReader sr = new StreamReader("data.txt")) { /* POTENTIAL FLAW: Read data from a file */ /* This will be reading the first "line" of the file, which * could be very long if there are little or no newlines in the file */ string stringNumber = sr.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"); } } Dictionary <int, float> dataDictionary = new Dictionary <int, float>(); dataDictionary.Add(0, data); dataDictionary.Add(1, data); dataDictionary.Add(2, data); CWE369_Divide_by_Zero__float_File_modulo_74b.GoodB2GSink(dataDictionary); }