1 // This function is broken, but this file is ignorelisted externalBrokenFunction(int argc)2 int externalBrokenFunction(int argc) { 3 char x[10] = {0}; 4 return x[argc * 10]; // BOOM 5 } 6