Так оно наверняка поможет, хотя это явно избыточная проверка: for(int i=Adres; i < Adres+Kolvo && i < MaxReg; i++)
{
PUT(Reg[i]>>0);
PUT(Reg[i]>>8);
}
Полагаю, что статический анализатор побеждать не надо - с его сомнениями допустимо не соглашаться. Другое дело, если бы это был warning компилятора.