Sí, el primer argumento de argv
será el nombre del programa. Al menos así se especifica en el estándar de C (traducción mía, reducida):
5.1.2.2.1 Inicio de programa
[...]
169 — El valor de argc
debe ser no negativo
[...]
171 — Si el valor de argc
es mayor que cero, los miembros del array argv[0]
a argv[argc-1]
(ambos incluidos) deberán contener punteros a cadenas, que tienen dados valores definidos en implementación por el entorno en el que se ejecuta el programa antes del inicio del programa.
[...]
174 — Si el valor de argc
es mayor que cero, la cadena apuntada por argv[0]
representará el nombre del programa;
175 — argv[0][0]
debe ser el carácter null
si el nombre del programa no está disponible o no ha sido provisto por el entorno de ejecución del programa.
Con lo cual argv[0]
debe contener el nombre del programa o + el valor null
si éste no está disponible (aunque no conozco ninguna plataforma o situación en la que esto último ocurra).
Para más información, puedes consultar los siguientes enlaces (en inglés):