Determine type of first argument in a call to strcpy(): (char *) vs char[]

Question

I have been given a C program with about 20.000 calls to the library function strcpy. In the program, the type of the first argument (the destination buffer) passed to strcpy is