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

时间:2014-06-10 16:34:11

标签: c libc

在以下原型中:

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出现而不是argvubp_av是什么意思?

2 个答案:

答案 0 :(得分:3)

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

在这种情况下,ubp_av是指向argv无界指针。 GCC提供(未记录良好的)__bounded__unbounded类型注释,用于控制指针上的某些边界检查操作。大概是因为操作系统提供argv,它被认为是无界的(即可能指向基本上任何长度的存储器),并且可能由于libc编码标准而需要标记为这样。< / p>

这是与特定版本的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的无界指针”。

答案 1 :(得分:0)

编辑: nneonneo's answer比我好。

argvmain的第二个参数,它的类型为char**

此函数__libc_start_main有7个参数。第一个是指向一个函数的指针,该函数看起来与main兼容 - 还有一个额外的第三个参数可能是环境指针。此函数指针的声明省略了指向函数的参数名称。如果包含这些名称,则第一行可能是:

int __libc_start_main( int (*main) (int argc, char **argv, char **envp),

后跟其他6个参数声明。

鉴于名称,__libc_start_main可能是运行时库中的一个函数,它负责调用用户程序的main函数。

第二个参数是int argc,但这与main的第一个参数不同。

如果没有更多详细信息(尤其是来自C库的C库的实现),我可以说upb_av就是它__libc_start_main的第三个参数,它是&# 39;类型为char**的s。 av后缀表示它是某种参数向量,但我不知道upb前缀的含义。它可能与argv有关,但它是一个独特的东西。