public override void Bad() { StreamReader data; data = File.OpenText(@"BadSource_OpenText.txt"); /* POTENTIAL FLAW: Close the file in the source */ data.Close(); CWE675_Duplicate_Operations_on_Resource__OpenText_53b.BadSink(data); }