3 * ELF Executable Loader Code
\r
10 #define DEBUG_WARN 1
\r
13 // === PROTOTYPES ===
\r
14 tBinary *Elf_Load(int fp);
\r
15 int Elf_Relocate(void *Base);
\r
16 int Elf_GetSymbol(void *Base, char *Name, Uint *ret);
\r
17 int Elf_Int_DoRelocate(Uint r_info, Uint32 *ptr, Uint32 addend, Elf32_Sym *symtab, Uint base);
\r
18 Uint Elf_Int_HashString(char *str);
\r
21 tBinaryType gELF_Info = {
\r
23 0x464C457F, 0xFFFFFFFF, // '\x7FELF'
\r
25 Elf_Load, Elf_Relocate, Elf_GetSymbol
\r
29 tBinary *Elf_Load(int fp)
\r
41 VFS_Read(fp, sizeof(hdr), &hdr);
\r
43 // Check the file type
\r
44 if(hdr.ident[0] != 0x7F || hdr.ident[1] != 'E' || hdr.ident[2] != 'L' || hdr.ident[3] != 'F') {
\r
45 Warning("Non-ELF File was passed to the ELF loader\n");
\r
50 // Check for a program header
\r
51 if(hdr.phoff == 0) {
\r
53 Warning("ELF File does not contain a program header\n");
\r
59 // Read Program Header Table
\r
60 phtab = malloc( sizeof(Elf32_Phdr) * hdr.phentcount );
\r
65 LOG("hdr.phoff = 0x%08x", hdr.phoff);
\r
66 VFS_Seek(fp, hdr.phoff, SEEK_SET);
\r
67 VFS_Read(fp, sizeof(Elf32_Phdr)*hdr.phentcount, phtab);
\r
71 LOG("hdr.phentcount = %i", hdr.phentcount);
\r
72 for( i = 0; i < hdr.phentcount; i++ )
\r
74 // Ignore Non-LOAD types
\r
75 if(phtab[i].Type != PT_LOAD)
\r
77 iPageCount += ((phtab[i].VAddr&0xFFF) + phtab[i].MemSize + 0xFFF) >> 12;
\r
78 LOG("phtab[%i] = {VAddr:0x%x, MemSize:0x%x}", i, phtab[i].VAddr, phtab[i].MemSize);
\r
81 LOG("iPageCount = %i", iPageCount);
\r
83 // Allocate Information Structure
\r
84 ret = malloc( sizeof(tBinary) + sizeof(tBinaryPage)*iPageCount );
\r
86 ret->Entry = hdr.entrypoint;
\r
87 ret->Base = -1; // Set Base to maximum value
\r
88 ret->NumPages = iPageCount;
\r
89 ret->Interpreter = NULL;
\r
93 for( i = 0; i < hdr.phentcount; i++ )
\r
96 //LOG("phtab[%i].Type = 0x%x", i, phtab[i].Type);
\r
97 LOG("phtab[%i] = {", i);
\r
98 LOG(" .Type = 0x%08x", phtab[i].Type);
\r
99 LOG(" .Offset = 0x%08x", phtab[i].Offset);
\r
100 LOG(" .VAddr = 0x%08x", phtab[i].VAddr);
\r
101 LOG(" .PAddr = 0x%08x", phtab[i].PAddr);
\r
102 LOG(" .FileSize = 0x%08x", phtab[i].FileSize);
\r
103 LOG(" .MemSize = 0x%08x", phtab[i].MemSize);
\r
104 LOG(" .Flags = 0x%08x", phtab[i].Flags);
\r
105 LOG(" .Align = 0x%08x", phtab[i].Align);
\r
107 // Get Interpreter Name
\r
108 if( phtab[i].Type == PT_INTERP )
\r
111 if(ret->Interpreter) continue;
\r
112 tmp = malloc(phtab[i].FileSize);
\r
113 VFS_Seek(fp, phtab[i].Offset, 1);
\r
114 VFS_Read(fp, phtab[i].FileSize, tmp);
\r
115 ret->Interpreter = Binary_RegInterp(tmp);
\r
116 LOG("Interpreter '%s'", tmp);
\r
120 // Ignore non-LOAD types
\r
121 if(phtab[i].Type != PT_LOAD) continue;
\r
124 if(phtab[i].VAddr < ret->Base) ret->Base = phtab[i].VAddr;
\r
126 LOG("phtab[%i] = {VAddr:0x%x,Offset:0x%x,FileSize:0x%x}",
\r
127 i, phtab[i].VAddr, phtab[i].Offset, phtab[i].FileSize);
\r
129 if( (phtab[i].FileSize & 0xFFF) < 0x1000 - (phtab[i].VAddr & 0xFFF) )
\r
130 lastSize = phtab[i].FileSize;
\r
132 lastSize = (phtab[i].FileSize & 0xFFF) + (phtab[i].VAddr & 0xFFF);
\r
135 LOG("lastSize = 0x%x", lastSize);
\r
138 count = ( (phtab[i].VAddr&0xFFF) + phtab[i].FileSize + 0xFFF) >> 12;
\r
139 for( k = 0; k < count; k ++ )
\r
141 ret->Pages[j+k].Virtual = phtab[i].VAddr + (k<<12);
\r
142 ret->Pages[j+k].Physical = phtab[i].Offset + (k<<12); // Store the offset in the physical address
\r
144 ret->Pages[j+k].Physical -= ret->Pages[j+k].Virtual&0xFFF;
\r
145 ret->Pages[j+k].Virtual &= ~0xFFF;
\r
148 ret->Pages[j+k].Size = lastSize; // Byte count in page
\r
150 ret->Pages[j+k].Size = 4096 - (phtab[i].VAddr&0xFFF);
\r
152 ret->Pages[j+k].Size = 4096;
\r
153 LOG("ret->Pages[%i].Size = 0x%x", j+k, ret->Pages[j+k].Size);
\r
154 ret->Pages[j+k].Flags = 0;
\r
156 count = (phtab[i].MemSize + 0xFFF) >> 12;
\r
159 ret->Pages[j+k].Virtual = phtab[i].VAddr + (k<<12);
\r
160 ret->Pages[j+k].Physical = -1; // -1 = Fill with zeros
\r
161 if(k != 0) ret->Pages[j+k].Virtual &= ~0xFFF;
\r
162 if(k == count-1 && (phtab[i].MemSize & 0xFFF))
\r
163 ret->Pages[j+k].Size = phtab[i].MemSize & 0xFFF; // Byte count in page
\r
165 ret->Pages[j+k].Size = 4096;
\r
166 ret->Pages[j+k].Flags = 0;
\r
167 LOG("%i - 0x%x => 0x%x - 0x%x", j+k,
\r
168 ret->Pages[j+k].Physical, ret->Pages[j+k].Virtual, ret->Pages[j+k].Size);
\r
174 LOG("Cleaning up overlaps");
\r
175 // Clear up Overlaps
\r
184 tmpRgns = malloc(sizeof(*tmpRgns)*count);
\r
186 for(i=0;i<count;i++) {
\r
187 tmpRgns[i].V = ret->Pages[i].Virtual;
\r
188 tmpRgns[i].P = ret->Pages[i].Physical;
\r
189 tmpRgns[i].S = ret->Pages[i].Size;
\r
190 tmpRgns[i].F = ret->Pages[i].Flags;
\r
193 for(i=1,j=0; i < count; i++)
\r
195 if( tmpRgns[j].F == tmpRgns[i].F
\r
196 && tmpRgns[j].V + tmpRgns[j].S == tmpRgns[i].V
\r
197 && ((tmpRgns[j].P == -1 && tmpRgns[i].P == -1)
\r
198 || (tmpRgns[j].P + tmpRgns[j].S == tmpRgns[i].P)) )
\r
200 tmpRgns[j].S += tmpRgns[i].S;
\r
203 tmpRgns[j].V = tmpRgns[i].V;
\r
204 tmpRgns[j].P = tmpRgns[i].P;
\r
205 tmpRgns[j].F = tmpRgns[i].F;
\r
206 tmpRgns[j].S = tmpRgns[i].S;
\r
212 for(i=0;i<count;i++) {
\r
213 //LogF(" Elf_Load: %i - 0x%x => 0x%x - 0x%x\n", i, tmpRgns[i].P, tmpRgns[i].V, tmpRgns[i].S);
\r
214 tmpRgns[i].S += tmpRgns[i].V & 0xFFF;
\r
215 if(tmpRgns[i].P != -1) tmpRgns[i].P -= tmpRgns[i].V & 0xFFF;
\r
216 tmpRgns[i].V &= ~0xFFF;
\r
217 j += (tmpRgns[i].S + 0xFFF) >> 12;
\r
218 //LogF(" Elf_Load: %i - 0x%x => 0x%x - 0x%x\n", i, tmpRgns[i].P, tmpRgns[i].V, tmpRgns[i].S);
\r
221 ret = realloc( ret, sizeof(tBinary) + 3*sizeof(Uint)*j );
\r
223 Warning("BIN", "ElfLoad: Unable to reallocate return structure");
\r
229 for(i=0;i<count;i++) {
\r
230 for( j = 0; j < (tmpRgns[i].S + 0xFFF) >> 12; j++,k++ ) {
\r
231 ret->Pages[k].Flags = tmpRgns[i].F;
\r
232 ret->Pages[k].Virtual = tmpRgns[i].V + (j<<12);
\r
233 if(tmpRgns[i].P != -1) {
\r
234 ret->Pages[k].Physical = tmpRgns[i].P + (j<<12);
\r
236 ret->Pages[k].Physical = -1;
\r
237 ret->Pages[k].Size = tmpRgns[i].S - (j << 12);
\r
238 // Clamp to page size
\r
239 if(ret->Pages[k].Size > 0x1000) ret->Pages[k].Size = 0x1000;
\r
254 // --- ELF RELOCATION ---
\r
255 // Taken from 'ld-acess.so'
\r
257 \fn int Elf_Relocate(void *Base)
\r
258 \brief Relocates a loaded ELF Executable
\r
260 int Elf_Relocate(void *Base)
\r
262 Elf32_Ehdr *hdr = Base;
\r
264 int i, j; // Counters
\r
266 Uint iRealBase = -1;
\r
270 Elf32_Rel *rel = NULL;
\r
271 Elf32_Rela *rela = NULL;
\r
272 Uint32 *pltgot = NULL;
\r
275 int relSz=0, relEntSz=8;
\r
276 int relaSz=0, relaEntSz=8;
\r
277 int pltSz=0, pltType=0;
\r
278 Elf32_Dyn *dynamicTab = NULL; // Dynamic Table Pointer
\r
279 char *dynstrtab = NULL; // .dynamic String Table
\r
280 Elf32_Sym *dynsymtab = NULL;
\r
283 ENTER("pBase", Base);
\r
285 // Parse Program Header to get Dynamic Table
\r
286 phtab = Base + hdr->phoff;
\r
287 iSegmentCount = hdr->phentcount;
\r
288 for(i=0;i<iSegmentCount;i++)
\r
290 // Determine linked base address
\r
291 if(phtab[i].Type == PT_LOAD && iRealBase > phtab[i].VAddr)
\r
292 iRealBase = phtab[i].VAddr;
\r
294 // Find Dynamic Section
\r
295 if(phtab[i].Type == PT_DYNAMIC) {
\r
297 Warning("ELF", "Elf_Relocate - Multiple PT_DYNAMIC segments\n");
\r
300 dynamicTab = (void *) phtab[i].VAddr;
\r
301 j = i; // Save Dynamic Table ID
\r
306 // Check if a PT_DYNAMIC segement was found
\r
308 Warning("ELF", "Elf_Relocate: No PT_DYNAMIC segment in image, returning\n");
\r
309 LEAVE('x', hdr->entrypoint);
\r
310 return hdr->entrypoint;
\r
313 // Page Align real base
\r
314 iRealBase &= ~0xFFF;
\r
316 // Adjust "Real" Base
\r
317 iBaseDiff = (Uint)Base - iRealBase;
\r
318 // Adjust Dynamic Table
\r
319 dynamicTab = (void *) ((Uint)dynamicTab + iBaseDiff);
\r
321 // === Get Symbol table and String Table ===
\r
322 for( j = 0; dynamicTab[j].d_tag != DT_NULL; j++)
\r
324 switch(dynamicTab[j].d_tag)
\r
326 // --- Symbol Table ---
\r
328 dynamicTab[j].d_val += iBaseDiff;
\r
329 dynsymtab = (void*)(dynamicTab[j].d_val);
\r
330 hdr->misc.SymTable = dynamicTab[j].d_val; // Saved in unused bytes of ident
\r
333 // --- String Table ---
\r
335 dynamicTab[j].d_val += iBaseDiff;
\r
336 dynstrtab = (void*)(dynamicTab[j].d_val);
\r
339 // --- Hash Table --
\r
341 dynamicTab[j].d_val += iBaseDiff;
\r
342 iSymCount = ((Uint*)(dynamicTab[j].d_val))[1];
\r
343 hdr->misc.HashTable = dynamicTab[j].d_val; // Saved in unused bytes of ident
\r
349 // Alter Symbols to true base
\r
350 for(i=0;i<iSymCount;i++)
\r
352 dynsymtab[i].value += iBaseDiff;
\r
353 dynsymtab[i].nameOfs += (Uint)dynstrtab;
\r
354 //LOG("Sym '%s' = 0x%x (relocated)\n", dynsymtab[i].name, dynsymtab[i].value);
\r
357 // === Add to loaded list (can be imported now) ===
\r
358 //Binary_AddLoaded( (Uint)Base );
\r
360 // === Parse Relocation Data ===
\r
361 for( j = 0; dynamicTab[j].d_tag != DT_NULL; j++)
\r
363 switch(dynamicTab[j].d_tag)
\r
365 // --- Shared Library Name ---
\r
367 LOG(".so Name '%s'\n", dynstrtab+dynamicTab[j].d_val);
\r
369 // --- Needed Library ---
\r
371 libPath = dynstrtab + dynamicTab[j].d_val;
\r
372 LOG("Required Library '%s' (IGNORED in kernel mode)\n", libPath);
\r
375 case DT_PLTGOT: pltgot = (void*)iBaseDiff+(dynamicTab[j].d_val); break;
\r
376 case DT_JMPREL: plt = (void*)(iBaseDiff+dynamicTab[j].d_val); break;
\r
377 case DT_PLTREL: pltType = dynamicTab[j].d_val; break;
\r
378 case DT_PLTRELSZ: pltSz = dynamicTab[j].d_val; break;
\r
380 // --- Relocation ---
\r
381 case DT_REL: rel = (void*)(iBaseDiff + dynamicTab[j].d_val); break;
\r
382 case DT_RELSZ: relSz = dynamicTab[j].d_val; break;
\r
383 case DT_RELENT: relEntSz = dynamicTab[j].d_val; break;
\r
384 case DT_RELA: rela = (void*)(iBaseDiff + dynamicTab[j].d_val); break;
\r
385 case DT_RELASZ: relaSz = dynamicTab[j].d_val; break;
\r
386 case DT_RELAENT: relaEntSz = dynamicTab[j].d_val; break;
\r
390 // Parse Relocation Entries
\r
393 j = relSz / relEntSz;
\r
394 for( i = 0; i < j; i++ )
\r
396 ptr = (void*)(iBaseDiff + rel[i].r_offset);
\r
397 if( !Elf_Int_DoRelocate(rel[i].r_info, ptr, *ptr, dynsymtab, (Uint)Base) ) {
\r
402 // Parse Relocation Entries
\r
405 j = relaSz / relaEntSz;
\r
406 for( i = 0; i < j; i++ )
\r
408 ptr = (void*)(iBaseDiff + rela[i].r_offset);
\r
409 if( !Elf_Int_DoRelocate(rel[i].r_info, ptr, rela[i].r_addend, dynsymtab, (Uint)Base) ) {
\r
415 // === Process PLT (Procedure Linkage Table) ===
\r
418 if(pltType == DT_REL)
\r
420 Elf32_Rel *pltRel = plt;
\r
421 j = pltSz / sizeof(Elf32_Rel);
\r
422 for(i = 0; i < j; i++)
\r
424 ptr = (void*)(iBaseDiff + pltRel[i].r_offset);
\r
425 if( !Elf_Int_DoRelocate(pltRel[i].r_info, ptr, *ptr, dynsymtab, (Uint)Base) ) {
\r
432 Elf32_Rela *pltRela = plt;
\r
433 j = pltSz / sizeof(Elf32_Rela);
\r
436 ptr = (void*)((Uint)Base + pltRela[i].r_offset);
\r
437 if( !Elf_Int_DoRelocate(pltRela[i].r_info, ptr, pltRela[i].r_addend, dynsymtab, (Uint)Base) ) {
\r
449 LEAVE('x', hdr->entrypoint);
\r
450 return hdr->entrypoint;
\r
454 * \fn void Elf_Int_DoRelocate(Uint r_info, Uint32 *ptr, Uint32 addend, Elf32_Sym *symtab, Uint base)
\r
455 * \brief Performs a relocation
\r
456 * \param r_info Field from relocation entry
\r
457 * \param ptr Pointer to location of relocation
\r
458 * \param addend Value to add to symbol
\r
459 * \param symtab Symbol Table
\r
460 * \param base Base of loaded binary
\r
462 int Elf_Int_DoRelocate(Uint r_info, Uint32 *ptr, Uint32 addend, Elf32_Sym *symtab, Uint base)
\r
465 int type = ELF32_R_TYPE(r_info);
\r
466 int sym = ELF32_R_SYM(r_info);
\r
467 char *sSymName = symtab[sym].name;
\r
469 //LogF("Elf_Int_DoRelocate: (r_info=0x%x, ptr=0x%x, addend=0x%x, .., base=0x%x)\n",
\r
470 // r_info, ptr, addend, base);
\r
474 // Standard 32 Bit Relocation (S+A)
\r
476 if( !Elf_GetSymbol((void*)base, sSymName, &val) ) // Search this binary first
\r
477 if( !Binary_GetSymbol( sSymName, &val ) )
\r
479 LOG("R_386_32 *0x%x += 0x%x('%s')", ptr, val, sSymName);
\r
480 *ptr = val + addend;
\r
483 // 32 Bit Relocation wrt. Offset (S+A-P)
\r
485 if( !Elf_GetSymbol( (void*)base, sSymName, &val ) )
\r
486 if( !Binary_GetSymbol( sSymName, &val ) )
\r
488 LOG("R_386_PC32 *0x%x = 0x%x + 0x%x('%s') - 0x%x", ptr, *ptr, val, sSymName, (Uint)ptr );
\r
489 // TODO: Check if it needs the true value of ptr or the compiled value
\r
490 // NOTE: Testing using true value
\r
491 *ptr = val + addend - (Uint)ptr;
\r
494 // Absolute Value of a symbol (S)
\r
495 case R_386_GLOB_DAT:
\r
496 if( !Elf_GetSymbol( (void*)base, sSymName, &val ) )
\r
497 if( !Binary_GetSymbol( sSymName, &val ) )
\r
499 LOG("R_386_GLOB_DAT *0x%x = 0x%x (%s)", ptr, val, sSymName);
\r
503 // Absolute Value of a symbol (S)
\r
504 case R_386_JMP_SLOT:
\r
505 if( !Elf_GetSymbol( (void*)base, sSymName, &val ) )
\r
506 if( !Binary_GetSymbol( sSymName, &val ) )
\r
508 LOG("R_386_JMP_SLOT *0x%x = 0x%x (%s)", ptr, val, sSymName);
\r
512 // Base Address (B+A)
\r
513 case R_386_RELATIVE:
\r
514 LOG("R_386_RELATIVE *0x%x = 0x%x + 0x%x", ptr, base, addend);
\r
515 *ptr = base + addend;
\r
519 LOG("Rel 0x%x: 0x%x,%i", ptr, sym, type);
\r
526 * \fn int Elf_GetSymbol(void *Base, char *name, Uint *ret)
\r
527 * \brief Get a symbol from the loaded binary
\r
529 int Elf_GetSymbol(void *Base, char *Name, Uint *ret)
\r
531 Elf32_Ehdr *hdr = (void*)Base;
\r
540 if(!Base) return 0;
\r
542 pBuckets = (void *) hdr->misc.HashTable;
\r
543 symtab = (void *) hdr->misc.SymTable;
\r
545 nbuckets = pBuckets[0];
\r
546 iSymCount = pBuckets[1];
\r
547 pBuckets = &pBuckets[2];
\r
548 pChains = &pBuckets[ nbuckets ];
\r
551 iNameHash = Elf_Int_HashString(Name);
\r
552 iNameHash %= nbuckets;
\r
555 i = pBuckets[ iNameHash ];
\r
556 if(symtab[i].shndx != SHN_UNDEF && strcmp(symtab[i].name, Name) == 0) {
\r
557 if(ret) *ret = symtab[ i ].value;
\r
562 while(pChains[i] != STN_UNDEF)
\r
565 if(symtab[i].shndx != SHN_UNDEF && strcmp(symtab[ i ].name, Name) == 0) {
\r
566 if(ret) *ret = symtab[ i ].value;
\r
574 * \fn Uint Elf_Int_HashString(char *str)
\r
575 * \brief Hash a string in the ELF format
\r
576 * \param str String to hash
\r
577 * \return Hash value
\r
579 Uint Elf_Int_HashString(char *str)
\r
584 h = (h << 4) + *str++;
\r
585 if( (g = h & 0xf0000000) )
\r