/* goodG2B() - use GoodSource and BadSink */ private static void GoodG2B() { int[] data; /* FIX: hardcode data to non-null */ data = new int[5]; Dictionary <int, int[]> dataDictionary = new Dictionary <int, int[]>(); dataDictionary.Add(0, data); dataDictionary.Add(1, data); dataDictionary.Add(2, data); CWE476_NULL_Pointer_Dereference__int_array_74b.GoodG2BSink(dataDictionary); }
/* goodB2G() - use BadSource and GoodSink */ private static void GoodB2G() { int[] data; /* POTENTIAL FLAW: data is null */ data = null; Dictionary <int, int[]> dataDictionary = new Dictionary <int, int[]>(); dataDictionary.Add(0, data); dataDictionary.Add(1, data); dataDictionary.Add(2, data); CWE476_NULL_Pointer_Dereference__int_array_74b.GoodB2GSink(dataDictionary); }
public override void Bad() { int[] data; /* POTENTIAL FLAW: data is null */ data = null; Dictionary <int, int[]> dataDictionary = new Dictionary <int, int[]>(); dataDictionary.Add(0, data); dataDictionary.Add(1, data); dataDictionary.Add(2, data); CWE476_NULL_Pointer_Dereference__int_array_74b.BadSink(dataDictionary); }