public override void Bad()
 {
     int[] data = null;
     /* POTENTIAL FLAW: data is null */
     data            = null;
     badPublicStatic = true;
     CWE476_NULL_Pointer_Dereference__int_array_22b.BadSink(data);
 }