c - 为什么 __libc_start_main 的第三个参数名称为 ubp_av 而不是 argv？

Question

在以下原型(prototype)中:

int __libc_start_main( int (*main) (int, char * *, char * *),
    int argc, 
    char **ubp_av, 
    void (*init) (void),
    void (*fini) (void),
    void (*rtld_fini) (void),
    void (* stack_end) );

为什么 ubp_av出现而不是 argv ? ubp_av 是什么意思？意思是？

Answer 1

libc是一个与特定操作系统、处理器和经常使用的编译器密切相关的库。因此，在 libc 中看到一些相当神秘的东西并不少见。来源。

在这种情况下，ubp_av是指向 argv 的无界指针. GCC 提供了(没有充分记录的)__bounded和 __unbounded控制指针上某些边界检查操作的类型注释。大概是因为argv由操作系统提供，它被认为是无界的(即可以指向基本上任何长度的内存)，并且可能是由于 libc编码标准需要这样标记。

下面是与特定版本的 GNU C 库稍有不同的函数签名:

int
/* GKM FIXME: GCC: this should get __BP_ prefix by virtue of the
   BPs in the arglist of startup_info.main and startup_info.init. */
  BP_SYM (__libc_start_main) (int argc, char *__unbounded *__unbounded ubp_av,
                  char *__unbounded *__unbounded ubp_ev,
                  ElfW (auxv_t) * __unbounded auxvec,
                  void (*rtld_fini) (void),
                  struct startup_info *__unbounded stinfo,
                  char *__unbounded *__unbounded stack_on_entry)
{
#if __BOUNDED_POINTERS__
  char **argv;
#else
# define argv ubp_av
#endif

...

从中可以清楚地看到 ubp_av意思是“指向 argv 的无限指针”。