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

Question

在以下原型中：

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的无界指针”。