/* 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; CWE369_Divide_by_Zero__float_File_modulo_71b.GoodG2BSink((Object)data); }
/* 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"); } } CWE369_Divide_by_Zero__float_File_modulo_71b.GoodB2GSink((Object)data); }