fix buffer overflow in VerifySRAM