"Erich E. Hoover" ehoover@mymail.mines.edu writes:
while(min <= max){const char *encoded_symbol;pos = (min+max)/2;encoded_symbol = html_encoded_symbols[pos].html_code;dir = strncmp(encoded_symbol, amp, len);
You need to check the length, strncmp is not enough.