"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.