Então, eu estou querendo saber se os parâmetros da linha de comando são sempre terminados em null? O Google parece dizer que sim, e compilar no GCC indica que este é o caso, mas posso garantir que isso seja sempre verdade?

int main(int argc, char** argv)
{
    char *p;

    for(int cnt=1; cnt < argc; ++cnt)
    {
        p = argv[cnt];
        printf("%d = [%s]\n", cnt, p);
    }
    return 0;
}

$ MyProgram -arg1 -arg2 -arg3
1 = -arg1
2 = -arg2
3 = -arg3