[analyzer]How to find ABV on this case using clang static analyzer

Thanks Balázs Benics for the reminding to add the [analyzer] tag into the title :slight_smile:
My question is that:
I want to find the buffer overflow on the following case, but clang static analyzer can’t report it out, how should I do?

=========== the case ============
int main(int argc, char **argv)
int a[10];
for (int i=0; i<=10; i++) {
a[i]=0; <---- array bound over run here

=========== the case =============

Is there anyone who cares this? Isn’t the buffer overflow checker able to find it? Or, who can tell me the way to improve it?