dlstart.c 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146
  1. #include <stddef.h>
  2. #include "dynlink.h"
  3. #ifndef START
  4. #define START "_dlstart"
  5. #endif
  6. #include "crt_arch.h"
  7. #ifndef GETFUNCSYM
  8. #define GETFUNCSYM(fp, sym, got) do { \
  9. __attribute__((__visibility__("hidden"))) void sym(); \
  10. static void (*static_func_ptr)() = sym; \
  11. __asm__ __volatile__ ( "" : "+m"(static_func_ptr) : : "memory"); \
  12. *(fp) = static_func_ptr; } while(0)
  13. #endif
  14. __attribute__((__visibility__("hidden")))
  15. void _dlstart_c(size_t *sp, size_t *dynv)
  16. {
  17. size_t i, aux[AUX_CNT], dyn[DYN_CNT];
  18. size_t *rel, rel_size, base;
  19. int argc = *sp;
  20. char **argv = (void *)(sp+1);
  21. for (i=argc+1; argv[i]; i++);
  22. size_t *auxv = (void *)(argv+i+1);
  23. for (i=0; i<AUX_CNT; i++) aux[i] = 0;
  24. for (i=0; auxv[i]; i+=2) if (auxv[i]<AUX_CNT)
  25. aux[auxv[i]] = auxv[i+1];
  26. #if DL_FDPIC
  27. struct fdpic_loadseg *segs, fakeseg;
  28. size_t j;
  29. if (dynv) {
  30. /* crt_arch.h entry point asm is responsible for reserving
  31. * space and moving the extra fdpic arguments to the stack
  32. * vector where they are easily accessible from C. */
  33. segs = ((struct fdpic_loadmap *)(sp[-1] ? sp[-1] : sp[-2]))->segs;
  34. } else {
  35. /* If dynv is null, the entry point was started from loader
  36. * that is not fdpic-aware. We can assume normal fixed-
  37. * displacement ELF loading was performed, but when ldso was
  38. * run as a command, finding the Ehdr is a heursitic: we
  39. * have to assume Phdrs start in the first 4k of the file. */
  40. base = aux[AT_BASE];
  41. if (!base) base = aux[AT_PHDR] & -4096;
  42. segs = &fakeseg;
  43. segs[0].addr = base;
  44. segs[0].p_vaddr = 0;
  45. segs[0].p_memsz = -1;
  46. Ehdr *eh = (void *)base;
  47. Phdr *ph = (void *)(base + eh->e_phoff);
  48. size_t phnum = eh->e_phnum;
  49. size_t phent = eh->e_phentsize;
  50. while (phnum-- && ph->p_type != PT_DYNAMIC)
  51. ph = (void *)((size_t)ph + phent);
  52. dynv = (void *)(base + ph->p_vaddr);
  53. }
  54. #endif
  55. for (i=0; i<DYN_CNT; i++) dyn[i] = 0;
  56. for (i=0; dynv[i]; i+=2) if (dynv[i]<DYN_CNT)
  57. dyn[dynv[i]] = dynv[i+1];
  58. #if DL_FDPIC
  59. for (i=0; i<DYN_CNT; i++) {
  60. if (i==DT_RELASZ || i==DT_RELSZ) continue;
  61. if (!dyn[i]) continue;
  62. for (j=0; dyn[i]-segs[j].p_vaddr >= segs[j].p_memsz; j++);
  63. dyn[i] += segs[j].addr - segs[j].p_vaddr;
  64. }
  65. base = 0;
  66. const Sym *syms = (void *)dyn[DT_SYMTAB];
  67. rel = (void *)dyn[DT_RELA];
  68. rel_size = dyn[DT_RELASZ];
  69. for (; rel_size; rel+=3, rel_size-=3*sizeof(size_t)) {
  70. if (!IS_RELATIVE(rel[1], syms)) continue;
  71. for (j=0; rel[0]-segs[j].p_vaddr >= segs[j].p_memsz; j++);
  72. size_t *rel_addr = (void *)
  73. (rel[0] + segs[j].addr - segs[j].p_vaddr);
  74. if (R_TYPE(rel[1]) == REL_FUNCDESC_VAL) {
  75. *rel_addr += segs[rel_addr[1]].addr
  76. - segs[rel_addr[1]].p_vaddr
  77. + syms[R_SYM(rel[1])].st_value;
  78. rel_addr[1] = dyn[DT_PLTGOT];
  79. } else {
  80. size_t val = syms[R_SYM(rel[1])].st_value;
  81. for (j=0; val-segs[j].p_vaddr >= segs[j].p_memsz; j++);
  82. *rel_addr = rel[2] + segs[j].addr - segs[j].p_vaddr + val;
  83. }
  84. }
  85. #else
  86. /* If the dynamic linker is invoked as a command, its load
  87. * address is not available in the aux vector. Instead, compute
  88. * the load address as the difference between &_DYNAMIC and the
  89. * virtual address in the PT_DYNAMIC program header. */
  90. base = aux[AT_BASE];
  91. if (!base) {
  92. size_t phnum = aux[AT_PHNUM];
  93. size_t phentsize = aux[AT_PHENT];
  94. Phdr *ph = (void *)aux[AT_PHDR];
  95. for (i=phnum; i--; ph = (void *)((char *)ph + phentsize)) {
  96. if (ph->p_type == PT_DYNAMIC) {
  97. base = (size_t)dynv - ph->p_vaddr;
  98. break;
  99. }
  100. }
  101. }
  102. /* MIPS uses an ugly packed form for GOT relocations. Since we
  103. * can't make function calls yet and the code is tiny anyway,
  104. * it's simply inlined here. */
  105. if (NEED_MIPS_GOT_RELOCS) {
  106. size_t local_cnt = 0;
  107. size_t *got = (void *)(base + dyn[DT_PLTGOT]);
  108. for (i=0; dynv[i]; i+=2) if (dynv[i]==DT_MIPS_LOCAL_GOTNO)
  109. local_cnt = dynv[i+1];
  110. for (i=0; i<local_cnt; i++) got[i] += base;
  111. }
  112. rel = (void *)(base+dyn[DT_REL]);
  113. rel_size = dyn[DT_RELSZ];
  114. for (; rel_size; rel+=2, rel_size-=2*sizeof(size_t)) {
  115. if (!IS_RELATIVE(rel[1], 0)) continue;
  116. size_t *rel_addr = (void *)(base + rel[0]);
  117. *rel_addr += base;
  118. }
  119. rel = (void *)(base+dyn[DT_RELA]);
  120. rel_size = dyn[DT_RELASZ];
  121. for (; rel_size; rel+=3, rel_size-=3*sizeof(size_t)) {
  122. if (!IS_RELATIVE(rel[1], 0)) continue;
  123. size_t *rel_addr = (void *)(base + rel[0]);
  124. *rel_addr = base + rel[2];
  125. }
  126. #endif
  127. stage2_func dls2;
  128. GETFUNCSYM(&dls2, __dls2, base+dyn[DT_PLTGOT]);
  129. dls2((void *)base, sp);
  130. }