Средства и методы разработки

Гоняю проект на статическом анализаторе.

Сомнения у меня вызывал это кусок

//
    unsigned char TmpString[LinkUDPRazmerBufferIP];
    strncpy((char*)TmpString, (char*)IpAdressLinkUDP, LinkUDPRazmerBufferIP); //Копируем
    unsigned char* TmpUk= memchr(TmpString, '.', 4);//Первая точка
    TmpUk= memchr(TmpUk+1, '.', 4); //Вторая точка 
    TmpUk= memchr(TmpUk+1, '.', 4); //Третья точка 
    (TmpUk+1)[0]='2';
    (TmpUk+1)[1]='5';
    (TmpUk+1)[2]='5';
    (TmpUk+1)[3]=0;
    PutStrModemM(TmpString);//

Реальный способ выстрелить себе в ногу. Пишем по указателю, полученному из функции, указатель не проверяем.

А анализатор пишет ОК.

Кому верить?