Coverity reports on possible overruns of static arrays