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