comparison src/unexelf.c @ 428:3ecd8885ac67 r21-2-22

Import from CVS: tag r21-2-22
author cvs
date Mon, 13 Aug 2007 11:28:15 +0200
parents
children abe6d1db359e
comparison
equal deleted inserted replaced
427:0a0253eac470 428:3ecd8885ac67
1 /* Copyright (C) 1985, 1986, 1987, 1988, 1990, 1992, 1993
2 Free Software Foundation, Inc.
3
4 This file is part of XEmacs.
5
6 XEmacs is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by the
8 Free Software Foundation; either version 2, or (at your option) any
9 later version.
10
11 XEmacs is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with XEmacs; see the file COPYING. If not, write to
18 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
20
21 /* Synched up with: FSF 20.4. */
22
23 /*
24 * unexec.c - Convert a running program into an a.out file.
25 *
26 * Author: Spencer W. Thomas
27 * Computer Science Dept.
28 * University of Utah
29 * Date: Tue Mar 2 1982
30 * Modified heavily since then.
31 *
32 * Synopsis:
33 * unexec (new_name, a_name, data_start, bss_start, entry_address)
34 * char *new_name, *a_name;
35 * unsigned data_start, bss_start, entry_address;
36 *
37 * Takes a snapshot of the program and makes an a.out format file in the
38 * file named by the string argument new_name.
39 * If a_name is non-NULL, the symbol table will be taken from the given file.
40 * On some machines, an existing a_name file is required.
41 *
42 * The boundaries within the a.out file may be adjusted with the data_start
43 * and bss_start arguments. Either or both may be given as 0 for defaults.
44 *
45 * Data_start gives the boundary between the text segment and the data
46 * segment of the program. The text segment can contain shared, read-only
47 * program code and literal data, while the data segment is always unshared
48 * and unprotected. Data_start gives the lowest unprotected address.
49 * The value you specify may be rounded down to a suitable boundary
50 * as required by the machine you are using.
51 *
52 * Specifying zero for data_start means the boundary between text and data
53 * should not be the same as when the program was loaded.
54 * If NO_REMAP is defined, the argument data_start is ignored and the
55 * segment boundaries are never changed.
56 *
57 * Bss_start indicates how much of the data segment is to be saved in the
58 * a.out file and restored when the program is executed. It gives the lowest
59 * unsaved address, and is rounded up to a page boundary. The default when 0
60 * is given assumes that the entire data segment is to be stored, including
61 * the previous data and bss as well as any additional storage allocated with
62 * break (2).
63 *
64 * The new file is set up to start at entry_address.
65 *
66 * If you make improvements I'd like to get them too.
67 * harpo!utah-cs!thomas, thomas@Utah-20
68 *
69 */
70
71 /* Even more heavily modified by james@bigtex.cactus.org of Dell Computer Co.
72 * ELF support added.
73 *
74 * Basic theory: the data space of the running process needs to be
75 * dumped to the output file. Normally we would just enlarge the size
76 * of .data, scooting everything down. But we can't do that in ELF,
77 * because there is often something between the .data space and the
78 * .bss space.
79 *
80 * In the temacs dump below, notice that the Global Offset Table
81 * (.got) and the Dynamic link data (.dynamic) come between .data1 and
82 * .bss. It does not work to overlap .data with these fields.
83 *
84 * The solution is to create a new .data segment. This segment is
85 * filled with data from the current process. Since the contents of
86 * various sections refer to sections by index, the new .data segment
87 * is made the last in the table to avoid changing any existing index.
88
89 * This is an example of how the section headers are changed. "Addr"
90 * is a process virtual address. "Offset" is a file offset.
91
92 raid:/nfs/raid/src/dist-18.56/src> dump -h temacs
93
94 temacs:
95
96 **** SECTION HEADER TABLE ****
97 [No] Type Flags Addr Offset Size Name
98 Link Info Adralgn Entsize
99
100 [1] 1 2 0x80480d4 0xd4 0x13 .interp
101 0 0 0x1 0
102
103 [2] 5 2 0x80480e8 0xe8 0x388 .hash
104 3 0 0x4 0x4
105
106 [3] 11 2 0x8048470 0x470 0x7f0 .dynsym
107 4 1 0x4 0x10
108
109 [4] 3 2 0x8048c60 0xc60 0x3ad .dynstr
110 0 0 0x1 0
111
112 [5] 9 2 0x8049010 0x1010 0x338 .rel.plt
113 3 7 0x4 0x8
114
115 [6] 1 6 0x8049348 0x1348 0x3 .init
116 0 0 0x4 0
117
118 [7] 1 6 0x804934c 0x134c 0x680 .plt
119 0 0 0x4 0x4
120
121 [8] 1 6 0x80499cc 0x19cc 0x3c56f .text
122 0 0 0x4 0
123
124 [9] 1 6 0x8085f3c 0x3df3c 0x3 .fini
125 0 0 0x4 0
126
127 [10] 1 2 0x8085f40 0x3df40 0x69c .rodata
128 0 0 0x4 0
129
130 [11] 1 2 0x80865dc 0x3e5dc 0xd51 .rodata1
131 0 0 0x4 0
132
133 [12] 1 3 0x8088330 0x3f330 0x20afc .data
134 0 0 0x4 0
135
136 [13] 1 3 0x80a8e2c 0x5fe2c 0x89d .data1
137 0 0 0x4 0
138
139 [14] 1 3 0x80a96cc 0x606cc 0x1a8 .got
140 0 0 0x4 0x4
141
142 [15] 6 3 0x80a9874 0x60874 0x80 .dynamic
143 4 0 0x4 0x8
144
145 [16] 8 3 0x80a98f4 0x608f4 0x449c .bss
146 0 0 0x4 0
147
148 [17] 2 0 0 0x608f4 0x9b90 .symtab
149 18 371 0x4 0x10
150
151 [18] 3 0 0 0x6a484 0x8526 .strtab
152 0 0 0x1 0
153
154 [19] 3 0 0 0x729aa 0x93 .shstrtab
155 0 0 0x1 0
156
157 [20] 1 0 0 0x72a3d 0x68b7 .comment
158 0 0 0x1 0
159
160 raid:/nfs/raid/src/dist-18.56/src> dump -h xemacs
161
162 xemacs:
163
164 **** SECTION HEADER TABLE ****
165 [No] Type Flags Addr Offset Size Name
166 Link Info Adralgn Entsize
167
168 [1] 1 2 0x80480d4 0xd4 0x13 .interp
169 0 0 0x1 0
170
171 [2] 5 2 0x80480e8 0xe8 0x388 .hash
172 3 0 0x4 0x4
173
174 [3] 11 2 0x8048470 0x470 0x7f0 .dynsym
175 4 1 0x4 0x10
176
177 [4] 3 2 0x8048c60 0xc60 0x3ad .dynstr
178 0 0 0x1 0
179
180 [5] 9 2 0x8049010 0x1010 0x338 .rel.plt
181 3 7 0x4 0x8
182
183 [6] 1 6 0x8049348 0x1348 0x3 .init
184 0 0 0x4 0
185
186 [7] 1 6 0x804934c 0x134c 0x680 .plt
187 0 0 0x4 0x4
188
189 [8] 1 6 0x80499cc 0x19cc 0x3c56f .text
190 0 0 0x4 0
191
192 [9] 1 6 0x8085f3c 0x3df3c 0x3 .fini
193 0 0 0x4 0
194
195 [10] 1 2 0x8085f40 0x3df40 0x69c .rodata
196 0 0 0x4 0
197
198 [11] 1 2 0x80865dc 0x3e5dc 0xd51 .rodata1
199 0 0 0x4 0
200
201 [12] 1 3 0x8088330 0x3f330 0x20afc .data
202 0 0 0x4 0
203
204 [13] 1 3 0x80a8e2c 0x5fe2c 0x89d .data1
205 0 0 0x4 0
206
207 [14] 1 3 0x80a96cc 0x606cc 0x1a8 .got
208 0 0 0x4 0x4
209
210 [15] 6 3 0x80a9874 0x60874 0x80 .dynamic
211 4 0 0x4 0x8
212
213 [16] 8 3 0x80c6800 0x7d800 0 .bss
214 0 0 0x4 0
215
216 [17] 2 0 0 0x7d800 0x9b90 .symtab
217 18 371 0x4 0x10
218
219 [18] 3 0 0 0x87390 0x8526 .strtab
220 0 0 0x1 0
221
222 [19] 3 0 0 0x8f8b6 0x93 .shstrtab
223 0 0 0x1 0
224
225 [20] 1 0 0 0x8f949 0x68b7 .comment
226 0 0 0x1 0
227
228 [21] 1 3 0x80a98f4 0x608f4 0x1cf0c .data
229 0 0 0x4 0
230
231 * This is an example of how the file header is changed. "Shoff" is
232 * the section header offset within the file. Since that table is
233 * after the new .data section, it is moved. "Shnum" is the number of
234 * sections, which we increment.
235 *
236 * "Phoff" is the file offset to the program header. "Phentsize" and
237 * "Shentsz" are the program and section header entries sizes respectively.
238 * These can be larger than the apparent struct sizes.
239
240 raid:/nfs/raid/src/dist-18.56/src> dump -f temacs
241
242 temacs:
243
244 **** ELF HEADER ****
245 Class Data Type Machine Version
246 Entry Phoff Shoff Flags Ehsize
247 Phentsize Phnum Shentsz Shnum Shstrndx
248
249 1 1 2 3 1
250 0x80499cc 0x34 0x792f4 0 0x34
251 0x20 5 0x28 21 19
252
253 raid:/nfs/raid/src/dist-18.56/src> dump -f xemacs
254
255 xemacs:
256
257 **** ELF HEADER ****
258 Class Data Type Machine Version
259 Entry Phoff Shoff Flags Ehsize
260 Phentsize Phnum Shentsz Shnum Shstrndx
261
262 1 1 2 3 1
263 0x80499cc 0x34 0x96200 0 0x34
264 0x20 5 0x28 22 19
265
266 * These are the program headers. "Offset" is the file offset to the
267 * segment. "Vaddr" is the memory load address. "Filesz" is the
268 * segment size as it appears in the file, and "Memsz" is the size in
269 * memory. Below, the third segment is the code and the fourth is the
270 * data: the difference between Filesz and Memsz is .bss
271
272 raid:/nfs/raid/src/dist-18.56/src> dump -o temacs
273
274 temacs:
275 ***** PROGRAM EXECUTION HEADER *****
276 Type Offset Vaddr Paddr
277 Filesz Memsz Flags Align
278
279 6 0x34 0x8048034 0
280 0xa0 0xa0 5 0
281
282 3 0xd4 0 0
283 0x13 0 4 0
284
285 1 0x34 0x8048034 0
286 0x3f2f9 0x3f2f9 5 0x1000
287
288 1 0x3f330 0x8088330 0
289 0x215c4 0x25a60 7 0x1000
290
291 2 0x60874 0x80a9874 0
292 0x80 0 7 0
293
294 raid:/nfs/raid/src/dist-18.56/src> dump -o xemacs
295
296 xemacs:
297 ***** PROGRAM EXECUTION HEADER *****
298 Type Offset Vaddr Paddr
299 Filesz Memsz Flags Align
300
301 6 0x34 0x8048034 0
302 0xa0 0xa0 5 0
303
304 3 0xd4 0 0
305 0x13 0 4 0
306
307 1 0x34 0x8048034 0
308 0x3f2f9 0x3f2f9 5 0x1000
309
310 1 0x3f330 0x8088330 0
311 0x3e4d0 0x3e4d0 7 0x1000
312
313 2 0x60874 0x80a9874 0
314 0x80 0 7 0
315
316
317 */
318
319 /* Modified by wtien@urbana.mcd.mot.com of Motorola Inc.
320 *
321 * The above mechanism does not work if the unexeced ELF file is being
322 * re-layout by other applications (such as `strip'). All the applications
323 * that re-layout the internal of ELF will layout all sections in ascending
324 * order of their file offsets. After the re-layout, the data2 section will
325 * still be the LAST section in the section header vector, but its file offset
326 * is now being pushed far away down, and causes part of it not to be mapped
327 * in (ie. not covered by the load segment entry in PHDR vector), therefore
328 * causes the new binary to fail.
329 *
330 * The solution is to modify the unexec algorithm to insert the new data2
331 * section header right before the new bss section header, so their file
332 * offsets will be in the ascending order. Since some of the section's (all
333 * sections AFTER the bss section) indexes are now changed, we also need to
334 * modify some fields to make them point to the right sections. This is done
335 * by macro PATCH_INDEX. All the fields that need to be patched are:
336 *
337 * 1. ELF header e_shstrndx field.
338 * 2. section header sh_link and sh_info field.
339 * 3. symbol table entry st_shndx field.
340 *
341 * The above example now should look like:
342
343 **** SECTION HEADER TABLE ****
344 [No] Type Flags Addr Offset Size Name
345 Link Info Adralgn Entsize
346
347 [1] 1 2 0x80480d4 0xd4 0x13 .interp
348 0 0 0x1 0
349
350 [2] 5 2 0x80480e8 0xe8 0x388 .hash
351 3 0 0x4 0x4
352
353 [3] 11 2 0x8048470 0x470 0x7f0 .dynsym
354 4 1 0x4 0x10
355
356 [4] 3 2 0x8048c60 0xc60 0x3ad .dynstr
357 0 0 0x1 0
358
359 [5] 9 2 0x8049010 0x1010 0x338 .rel.plt
360 3 7 0x4 0x8
361
362 [6] 1 6 0x8049348 0x1348 0x3 .init
363 0 0 0x4 0
364
365 [7] 1 6 0x804934c 0x134c 0x680 .plt
366 0 0 0x4 0x4
367
368 [8] 1 6 0x80499cc 0x19cc 0x3c56f .text
369 0 0 0x4 0
370
371 [9] 1 6 0x8085f3c 0x3df3c 0x3 .fini
372 0 0 0x4 0
373
374 [10] 1 2 0x8085f40 0x3df40 0x69c .rodata
375 0 0 0x4 0
376
377 [11] 1 2 0x80865dc 0x3e5dc 0xd51 .rodata1
378 0 0 0x4 0
379
380 [12] 1 3 0x8088330 0x3f330 0x20afc .data
381 0 0 0x4 0
382
383 [13] 1 3 0x80a8e2c 0x5fe2c 0x89d .data1
384 0 0 0x4 0
385
386 [14] 1 3 0x80a96cc 0x606cc 0x1a8 .got
387 0 0 0x4 0x4
388
389 [15] 6 3 0x80a9874 0x60874 0x80 .dynamic
390 4 0 0x4 0x8
391
392 [16] 1 3 0x80a98f4 0x608f4 0x1cf0c .data
393 0 0 0x4 0
394
395 [17] 8 3 0x80c6800 0x7d800 0 .bss
396 0 0 0x4 0
397
398 [18] 2 0 0 0x7d800 0x9b90 .symtab
399 19 371 0x4 0x10
400
401 [19] 3 0 0 0x87390 0x8526 .strtab
402 0 0 0x1 0
403
404 [20] 3 0 0 0x8f8b6 0x93 .shstrtab
405 0 0 0x1 0
406
407 [21] 1 0 0 0x8f949 0x68b7 .comment
408 0 0 0x1 0
409
410 */
411
412 #ifndef emacs
413 #define fatal(a, b, c) fprintf (stderr, a, b, c), exit (1)
414 #else
415 #include <config.h>
416 extern void fatal (CONST char *, ...);
417 #endif
418
419 #include <sys/types.h>
420 #include <stdio.h>
421 #include <sys/stat.h>
422 #include <memory.h>
423 #include <string.h>
424 #include <errno.h>
425 #include <unistd.h>
426 #include <fcntl.h>
427 #if !defined (__NetBSD__) && !defined (__OpenBSD__)
428 #include <elf.h>
429 #endif
430 #include <sys/mman.h>
431 #if defined (__sony_news) && defined (_SYSTYPE_SYSV)
432 #include <sys/elf_mips.h>
433 #include <sym.h>
434 #endif /* __sony_news && _SYSTYPE_SYSV */
435 #ifdef __sgi
436 #include <sym.h> /* for HDRR declaration */
437 #endif /* __sgi */
438
439 #if defined (__alpha__) && !defined (__NetBSD__) && !defined (__OpenBSD__)
440 /* Declare COFF debugging symbol table. This used to be in
441 /usr/include/sym.h, but this file is no longer included in Red Hat
442 5.0 and presumably in any other glibc 2.x based distribution. */
443 typedef struct {
444 short magic;
445 short vstamp;
446 int ilineMax;
447 int idnMax;
448 int ipdMax;
449 int isymMax;
450 int ioptMax;
451 int iauxMax;
452 int issMax;
453 int issExtMax;
454 int ifdMax;
455 int crfd;
456 int iextMax;
457 long cbLine;
458 long cbLineOffset;
459 long cbDnOffset;
460 long cbPdOffset;
461 long cbSymOffset;
462 long cbOptOffset;
463 long cbAuxOffset;
464 long cbSsOffset;
465 long cbSsExtOffset;
466 long cbFdOffset;
467 long cbRfdOffset;
468 long cbExtOffset;
469 } HDRR, *pHDRR;
470 #define cbHDRR sizeof(HDRR)
471 #define hdrNil ((pHDRR)0)
472 #endif
473
474 #ifdef __NetBSD__
475 /*
476 * NetBSD does not have normal-looking user-land ELF support.
477 */
478 # ifdef __alpha__
479 # define ELFSIZE 64
480 # else
481 # define ELFSIZE 32
482 # endif
483 # include <sys/exec_elf.h>
484
485 # define PT_LOAD Elf_pt_load
486 # define SHT_SYMTAB Elf_sht_symtab
487 # define SHT_DYNSYM Elf_sht_dynsym
488 # define SHT_NULL Elf_sht_null
489 # define SHT_NOBITS Elf_sht_nobits
490 # define SHT_REL Elf_sht_rel
491 # define SHT_RELA Elf_sht_rela
492
493 # define SHN_UNDEF Elf_eshn_undefined
494 # define SHN_ABS Elf_eshn_absolute
495 # define SHN_COMMON Elf_eshn_common
496
497 /*
498 * The magic of picking the right size types is handled by the ELFSIZE
499 * definition above.
500 */
501 # ifdef __STDC__
502 # define ElfW(type) Elf_##type
503 # else
504 # define ElfW(type) Elf_/**/type
505 # endif
506
507 # ifdef __alpha__
508 # include <sys/exec_ecoff.h>
509 # define HDRR struct ecoff_symhdr
510 # define pHDRR HDRR *
511 # endif
512 #endif /* __NetBSD__ */
513
514 #ifdef __OpenBSD__
515 # include <sys/exec_elf.h>
516 #endif
517
518 #if __GNU_LIBRARY__ - 0 >= 6
519 # include <link.h> /* get ElfW etc */
520 #endif
521
522 #ifndef ElfW
523 # ifdef __STDC__
524 # define ElfW(type) Elf32_##type
525 # else
526 # define ElfW(type) Elf32_/**/type
527 # endif
528 #endif
529
530 #ifndef ELF_BSS_SECTION_NAME
531 #define ELF_BSS_SECTION_NAME ".bss"
532 #endif
533
534 /* Get the address of a particular section or program header entry,
535 * accounting for the size of the entries.
536 */
537 /*
538 On PPC Reference Platform running Solaris 2.5.1
539 the plt section is also of type NOBI like the bss section.
540 (not really stored) and therefore sections after the bss
541 section start at the plt offset. The plt section is always
542 the one just before the bss section.
543 Thus, we modify the test from
544 if (NEW_SECTION_H (nn).sh_offset >= new_data2_offset)
545 to
546 if (NEW_SECTION_H (nn).sh_offset >=
547 OLD_SECTION_H (old_bss_index-1).sh_offset)
548 This is just a hack. We should put the new data section
549 before the .plt section.
550 And we should not have this routine at all but use
551 the libelf library to read the old file and create the new
552 file.
553 The changed code is minimal and depends on prep set in m/prep.h
554 Erik Deumens
555 Quantum Theory Project
556 University of Florida
557 deumens@qtp.ufl.edu
558 Apr 23, 1996
559 */
560
561 #define OLD_SECTION_H(n) \
562 (*(ElfW(Shdr) *) ((byte *) old_section_h + old_file_h->e_shentsize * (n)))
563 #define NEW_SECTION_H(n) \
564 (*(ElfW(Shdr) *) ((byte *) new_section_h + new_file_h->e_shentsize * (n)))
565 #define OLD_PROGRAM_H(n) \
566 (*(ElfW(Phdr) *) ((byte *) old_program_h + old_file_h->e_phentsize * (n)))
567 #define NEW_PROGRAM_H(n) \
568 (*(ElfW(Phdr) *) ((byte *) new_program_h + new_file_h->e_phentsize * (n)))
569
570 #define PATCH_INDEX(n) \
571 do { \
572 if ((int) (n) >= old_bss_index) \
573 (n)++; } while (0)
574 typedef unsigned char byte;
575
576 /* Round X up to a multiple of Y. */
577
578 static ElfW(Addr)
579 round_up (ElfW(Addr) x, ElfW(Addr) y)
580 {
581 int rem = x % y;
582 if (rem == 0)
583 return x;
584 return x - rem + y;
585 }
586
587 /* ****************************************************************
588 * unexec
589 *
590 * driving logic.
591 *
592 * In ELF, this works by replacing the old .bss section with a new
593 * .data section, and inserting an empty .bss immediately afterwards.
594 *
595 */
596 void unexec (char *new_name, char *old_name, unsigned int data_start,
597 unsigned int bss_start, unsigned int entry_address);
598 void
599 unexec (char *new_name, char *old_name, unsigned int data_start,
600 unsigned int bss_start, unsigned int entry_address)
601 {
602 int new_file, old_file, new_file_size;
603
604 /* Pointers to the base of the image of the two files. */
605 caddr_t old_base, new_base;
606
607 /* Pointers to the file, program and section headers for the old and new
608 * files.
609 */
610 ElfW(Ehdr) *old_file_h, *new_file_h;
611 ElfW(Phdr) *old_program_h, *new_program_h;
612 ElfW(Shdr) *old_section_h, *new_section_h;
613
614 /* Point to the section name table in the old file */
615 char *old_section_names;
616
617 ElfW(Addr) old_bss_addr, new_bss_addr;
618 ElfW(Word) old_bss_size, new_data2_size;
619 ElfW(Off) new_data2_offset;
620 ElfW(Addr) new_data2_addr;
621
622 int n, nn, old_bss_index, old_data_index, new_data2_index;
623 int old_sbss_index, old_mdebug_index;
624 struct stat stat_buf;
625
626 /* Open the old file & map it into the address space. */
627
628 old_file = open (old_name, O_RDONLY);
629
630 if (old_file < 0)
631 fatal ("Can't open %s for reading: errno %d\n", old_name, errno);
632
633 if (fstat (old_file, &stat_buf) == -1)
634 fatal ("Can't fstat (%s): errno %d\n", old_name, errno);
635
636 old_base = (caddr_t) mmap (0, stat_buf.st_size, PROT_READ, MAP_SHARED, old_file, 0);
637
638 if (old_base == (caddr_t) -1)
639 fatal ("Can't mmap (%s): errno %d\n", old_name, errno);
640
641 #ifdef DEBUG
642 fprintf (stderr, "mmap (%s, %x) -> %x\n", old_name, stat_buf.st_size,
643 old_base);
644 #endif
645
646 /* Get pointers to headers & section names */
647
648 old_file_h = (ElfW(Ehdr) *) old_base;
649 old_program_h = (ElfW(Phdr) *) ((byte *) old_base + old_file_h->e_phoff);
650 old_section_h = (ElfW(Shdr) *) ((byte *) old_base + old_file_h->e_shoff);
651 old_section_names = (char *) old_base
652 + OLD_SECTION_H (old_file_h->e_shstrndx).sh_offset;
653
654 /* Find the old .bss section. Figure out parameters of the new
655 * data2 and bss sections.
656 */
657
658 for (old_bss_index = 1; old_bss_index < (int) old_file_h->e_shnum;
659 old_bss_index++)
660 {
661 #ifdef DEBUG
662 fprintf (stderr, "Looking for .bss - found %s\n",
663 old_section_names + OLD_SECTION_H (old_bss_index).sh_name);
664 #endif
665 if (!strcmp (old_section_names + OLD_SECTION_H (old_bss_index).sh_name,
666 ELF_BSS_SECTION_NAME))
667 break;
668 }
669 if (old_bss_index == old_file_h->e_shnum)
670 fatal ("Can't find .bss in %s.\n", old_name, 0);
671
672 for (old_sbss_index = 1; old_sbss_index < (int) old_file_h->e_shnum;
673 old_sbss_index++)
674 {
675 #ifdef DEBUG
676 fprintf (stderr, "Looking for .sbss - found %s\n",
677 old_section_names + OLD_SECTION_H (old_sbss_index).sh_name);
678 #endif
679 if (!strcmp (old_section_names + OLD_SECTION_H (old_sbss_index).sh_name,
680 ".sbss"))
681 break;
682 }
683 if (old_sbss_index == old_file_h->e_shnum)
684 {
685 old_sbss_index = -1;
686 old_bss_addr = OLD_SECTION_H(old_bss_index).sh_addr;
687 old_bss_size = OLD_SECTION_H(old_bss_index).sh_size;
688 new_data2_offset = OLD_SECTION_H(old_bss_index).sh_offset;
689 new_data2_index = old_bss_index;
690 }
691 else
692 {
693 old_bss_addr = OLD_SECTION_H(old_sbss_index).sh_addr;
694 old_bss_size = OLD_SECTION_H(old_bss_index).sh_size
695 + OLD_SECTION_H(old_sbss_index).sh_size;
696 new_data2_offset = OLD_SECTION_H(old_sbss_index).sh_offset;
697 new_data2_index = old_sbss_index;
698 }
699
700 for (old_mdebug_index = 1; old_mdebug_index < (int) old_file_h->e_shnum;
701 old_mdebug_index++)
702 {
703 #ifdef DEBUG
704 fprintf (stderr, "Looking for .mdebug - found %s\n",
705 old_section_names + OLD_SECTION_H (old_mdebug_index).sh_name);
706 #endif
707 if (!strcmp (old_section_names + OLD_SECTION_H (old_mdebug_index).sh_name,
708 ".mdebug"))
709 break;
710 }
711 if (old_mdebug_index == old_file_h->e_shnum)
712 old_mdebug_index = 0;
713
714 #if defined (emacs) || !defined (DEBUG)
715 new_bss_addr = (ElfW(Addr)) sbrk (0);
716 #else
717 new_bss_addr = old_bss_addr + old_bss_size + 0x1234;
718 #endif
719 new_data2_addr = old_bss_addr;
720 new_data2_size = new_bss_addr - old_bss_addr;
721
722 #ifdef DEBUG
723 fprintf (stderr, "old_bss_index %d\n", old_bss_index);
724 fprintf (stderr, "old_bss_addr %x\n", old_bss_addr);
725 fprintf (stderr, "old_bss_size %x\n", old_bss_size);
726 fprintf (stderr, "new_bss_addr %x\n", new_bss_addr);
727 fprintf (stderr, "new_data2_addr %x\n", new_data2_addr);
728 fprintf (stderr, "new_data2_size %x\n", new_data2_size);
729 fprintf (stderr, "new_data2_offset %x\n", new_data2_offset);
730 #endif
731
732 if ((unsigned) new_bss_addr < (unsigned) old_bss_addr + old_bss_size)
733 fatal (".bss shrank when undumping???\n", 0, 0);
734
735 /* Set the output file to the right size and mmap it. Set
736 * pointers to various interesting objects. stat_buf still has
737 * old_file data.
738 */
739
740 new_file = open (new_name, O_RDWR | O_CREAT, 0666);
741 if (new_file < 0)
742 fatal ("Can't creat (%s): errno %d\n", new_name, errno);
743
744 new_file_size = stat_buf.st_size + old_file_h->e_shentsize + new_data2_size;
745
746 if (ftruncate (new_file, new_file_size))
747 fatal ("Can't ftruncate (%s): errno %d\n", new_name, errno);
748
749 new_base = (caddr_t) mmap (0, new_file_size, PROT_READ | PROT_WRITE,
750 #ifdef UNEXEC_USE_MAP_PRIVATE
751 MAP_PRIVATE,
752 #else
753 MAP_SHARED,
754 #endif
755 new_file, 0);
756
757 if (new_base == (caddr_t) -1)
758 fatal ("Can't mmap (%s): errno %d\n", new_name, errno);
759
760 new_file_h = (ElfW(Ehdr) *) new_base;
761 new_program_h = (ElfW(Phdr) *) ((byte *) new_base + old_file_h->e_phoff);
762 new_section_h = (ElfW(Shdr) *)
763 ((byte *) new_base + old_file_h->e_shoff + new_data2_size);
764
765 /* Make our new file, program and section headers as copies of the
766 * originals.
767 */
768
769 memcpy (new_file_h, old_file_h, old_file_h->e_ehsize);
770 memcpy (new_program_h, old_program_h,
771 old_file_h->e_phnum * old_file_h->e_phentsize);
772
773 /* Modify the e_shstrndx if necessary. */
774 PATCH_INDEX (new_file_h->e_shstrndx);
775
776 /* Fix up file header. We'll add one section. Section header is
777 * further away now.
778 */
779
780 new_file_h->e_shoff += new_data2_size;
781 new_file_h->e_shnum += 1;
782
783 #ifdef DEBUG
784 fprintf (stderr, "Old section offset %x\n", old_file_h->e_shoff);
785 fprintf (stderr, "Old section count %d\n", old_file_h->e_shnum);
786 fprintf (stderr, "New section offset %x\n", new_file_h->e_shoff);
787 fprintf (stderr, "New section count %d\n", new_file_h->e_shnum);
788 #endif
789
790 /* Fix up a new program header. Extend the writable data segment so
791 * that the bss area is covered too. Find that segment by looking
792 * for a segment that ends just before the .bss area. Make sure
793 * that no segments are above the new .data2. Put a loop at the end
794 * to adjust the offset and address of any segment that is above
795 * data2, just in case we decide to allow this later.
796 */
797
798 for (n = new_file_h->e_phnum - 1; n >= 0; n--)
799 {
800 /* Compute maximum of all requirements for alignment of section. */
801 ElfW(Word) alignment = (NEW_PROGRAM_H (n)).p_align;
802 if ((OLD_SECTION_H (old_bss_index)).sh_addralign > alignment)
803 alignment = OLD_SECTION_H (old_bss_index).sh_addralign;
804
805 #ifdef __mips
806 /* According to r02kar@x4u2.desy.de (Karsten Kuenne)
807 and oliva@gnu.org (Alexandre Oliva), on IRIX 5.2, we
808 always get "Program segment above .bss" when dumping
809 when the executable doesn't have an sbss section. */
810 if (old_sbss_index != -1)
811 #endif /* __mips */
812 if (NEW_PROGRAM_H (n).p_vaddr + NEW_PROGRAM_H (n).p_filesz
813 > (old_sbss_index == -1
814 ? old_bss_addr
815 : round_up (old_bss_addr, alignment)))
816 fatal ("Program segment above .bss in %s\n", old_name, 0);
817
818 if (NEW_PROGRAM_H (n).p_type == PT_LOAD
819 && (round_up ((NEW_PROGRAM_H (n)).p_vaddr
820 + (NEW_PROGRAM_H (n)).p_filesz,
821 alignment)
822 == round_up (old_bss_addr, alignment)))
823 break;
824 }
825 if (n < 0)
826 fatal ("Couldn't find segment next to .bss in %s\n", old_name, 0);
827
828 /* Make sure that the size includes any padding before the old .bss
829 section. */
830 NEW_PROGRAM_H (n).p_filesz = new_bss_addr - NEW_PROGRAM_H (n).p_vaddr;
831 NEW_PROGRAM_H (n).p_memsz = NEW_PROGRAM_H (n).p_filesz;
832
833 #if 0 /* Maybe allow section after data2 - does this ever happen? */
834 for (n = new_file_h->e_phnum - 1; n >= 0; n--)
835 {
836 if (NEW_PROGRAM_H (n).p_vaddr
837 && NEW_PROGRAM_H (n).p_vaddr >= new_data2_addr)
838 NEW_PROGRAM_H (n).p_vaddr += new_data2_size - old_bss_size;
839
840 if (NEW_PROGRAM_H (n).p_offset >= new_data2_offset)
841 NEW_PROGRAM_H (n).p_offset += new_data2_size;
842 }
843 #endif
844
845 /* Fix up section headers based on new .data2 section. Any section
846 * whose offset or virtual address is after the new .data2 section
847 * gets its value adjusted. .bss size becomes zero and new address
848 * is set. data2 section header gets added by copying the existing
849 * .data header and modifying the offset, address and size.
850 */
851 for (old_data_index = 1; old_data_index < (int) old_file_h->e_shnum;
852 old_data_index++)
853 if (!strcmp (old_section_names + OLD_SECTION_H (old_data_index).sh_name,
854 ".data"))
855 break;
856 if (old_data_index == old_file_h->e_shnum)
857 fatal ("Can't find .data in %s.\n", old_name, 0);
858
859 /* Walk through all section headers, insert the new data2 section right
860 before the new bss section. */
861 for (n = 1, nn = 1; n < (int) old_file_h->e_shnum; n++, nn++)
862 {
863 caddr_t src;
864 /* If it is (s)bss section, insert the new data2 section before it. */
865 /* new_data2_index is the index of either old_sbss or old_bss, that was
866 chosen as a section for new_data2. */
867 if (n == new_data2_index)
868 {
869 /* Steal the data section header for this data2 section. */
870 memcpy (&NEW_SECTION_H (nn), &OLD_SECTION_H (old_data_index),
871 new_file_h->e_shentsize);
872
873 NEW_SECTION_H (nn).sh_addr = new_data2_addr;
874 NEW_SECTION_H (nn).sh_offset = new_data2_offset;
875 NEW_SECTION_H (nn).sh_size = new_data2_size;
876 /* Use the bss section's alignment. This will assure that the
877 new data2 section always be placed in the same spot as the old
878 bss section by any other application. */
879 NEW_SECTION_H (nn).sh_addralign = OLD_SECTION_H (n).sh_addralign;
880
881 /* Now copy over what we have in the memory now. */
882 memcpy (NEW_SECTION_H (nn).sh_offset + new_base,
883 (caddr_t) OLD_SECTION_H (n).sh_addr,
884 new_data2_size);
885 nn++;
886 }
887
888 memcpy (&NEW_SECTION_H (nn), &OLD_SECTION_H (n),
889 old_file_h->e_shentsize);
890
891 if (n == old_bss_index
892 /* The new bss and sbss section's size is zero, and its file offset
893 and virtual address should be off by NEW_DATA2_SIZE. */
894 || n == old_sbss_index
895 )
896 {
897 /* NN should be `old_s?bss_index + 1' at this point. */
898 NEW_SECTION_H (nn).sh_offset =
899 NEW_SECTION_H (new_data2_index).sh_offset + new_data2_size;
900 NEW_SECTION_H (nn).sh_addr =
901 NEW_SECTION_H (new_data2_index).sh_addr + new_data2_size;
902 /* Let the new bss section address alignment be the same as the
903 section address alignment followed the old bss section, so
904 this section will be placed in exactly the same place. */
905 NEW_SECTION_H (nn).sh_addralign = OLD_SECTION_H (nn).sh_addralign;
906 NEW_SECTION_H (nn).sh_size = 0;
907 }
908 else
909 {
910 /* Any section that was original placed AFTER the bss
911 section should now be off by NEW_DATA2_SIZE. */
912 #ifdef SOLARIS_POWERPC
913 /* On PPC Reference Platform running Solaris 2.5.1
914 the plt section is also of type NOBI like the bss section.
915 (not really stored) and therefore sections after the bss
916 section start at the plt offset. The plt section is always
917 the one just before the bss section.
918 It would be better to put the new data section before
919 the .plt section, or use libelf instead.
920 Erik Deumens, deumens@qtp.ufl.edu. */
921 if (NEW_SECTION_H (nn).sh_offset
922 >= OLD_SECTION_H (old_bss_index-1).sh_offset)
923 NEW_SECTION_H (nn).sh_offset += new_data2_size;
924 #else
925 if (round_up (NEW_SECTION_H (nn).sh_offset,
926 OLD_SECTION_H (old_bss_index).sh_addralign)
927 >= new_data2_offset)
928 NEW_SECTION_H (nn).sh_offset += new_data2_size;
929 #endif
930 /* Any section that was originally placed after the section
931 header table should now be off by the size of one section
932 header table entry. */
933 if (NEW_SECTION_H (nn).sh_offset > new_file_h->e_shoff)
934 NEW_SECTION_H (nn).sh_offset += new_file_h->e_shentsize;
935 }
936
937 /* If any section hdr refers to the section after the new .data
938 section, make it refer to next one because we have inserted
939 a new section in between. */
940
941 PATCH_INDEX (NEW_SECTION_H (nn).sh_link);
942 /* For symbol tables, info is a symbol table index,
943 so don't change it. */
944 if (NEW_SECTION_H (nn).sh_type != SHT_SYMTAB
945 && NEW_SECTION_H (nn).sh_type != SHT_DYNSYM)
946 PATCH_INDEX (NEW_SECTION_H (nn).sh_info);
947
948 /* Now, start to copy the content of sections. */
949 if (NEW_SECTION_H (nn).sh_type == SHT_NULL
950 || NEW_SECTION_H (nn).sh_type == SHT_NOBITS)
951 continue;
952
953 /* Write out the sections. .data and .data1 (and data2, called
954 ".data" in the strings table) get copied from the current process
955 instead of the old file. */
956 if (!strcmp (old_section_names + NEW_SECTION_H (n).sh_name, ".data")
957 || !strcmp ((old_section_names + NEW_SECTION_H (n).sh_name),
958 ".sdata")
959 /* Taking these sections from the current process, breaks
960 Linux in a subtle way. Binaries only run on the
961 architecture (e.g. i586 vs i686) of the dumping machine */
962 #ifdef __sgi
963 || !strcmp ((old_section_names + NEW_SECTION_H (n).sh_name),
964 ".lit4")
965 || !strcmp ((old_section_names + NEW_SECTION_H (n).sh_name),
966 ".lit8")
967 || !strcmp ((old_section_names + NEW_SECTION_H (n).sh_name),
968 ".got")
969 #endif
970 || !strcmp ((old_section_names + NEW_SECTION_H (n).sh_name),
971 ".sdata1")
972 || !strcmp ((old_section_names + NEW_SECTION_H (n).sh_name),
973 ".data1"))
974 src = (caddr_t) OLD_SECTION_H (n).sh_addr;
975 else
976 src = old_base + OLD_SECTION_H (n).sh_offset;
977
978 memcpy (NEW_SECTION_H (nn).sh_offset + new_base, src,
979 NEW_SECTION_H (nn).sh_size);
980
981 #ifdef __alpha__
982 /* Update Alpha COFF symbol table: */
983 if (strcmp (old_section_names + OLD_SECTION_H (n).sh_name, ".mdebug")
984 == 0)
985 {
986 pHDRR symhdr = (pHDRR) (NEW_SECTION_H (nn).sh_offset + new_base);
987
988 symhdr->cbLineOffset += new_data2_size;
989 symhdr->cbDnOffset += new_data2_size;
990 symhdr->cbPdOffset += new_data2_size;
991 symhdr->cbSymOffset += new_data2_size;
992 symhdr->cbOptOffset += new_data2_size;
993 symhdr->cbAuxOffset += new_data2_size;
994 symhdr->cbSsOffset += new_data2_size;
995 symhdr->cbSsExtOffset += new_data2_size;
996 symhdr->cbFdOffset += new_data2_size;
997 symhdr->cbRfdOffset += new_data2_size;
998 symhdr->cbExtOffset += new_data2_size;
999 }
1000 #endif /* __alpha__ */
1001
1002 #if defined (__sony_news) && defined (_SYSTYPE_SYSV)
1003 if (NEW_SECTION_H (nn).sh_type == SHT_MIPS_DEBUG && old_mdebug_index)
1004 {
1005 int diff = NEW_SECTION_H(nn).sh_offset
1006 - OLD_SECTION_H(old_mdebug_index).sh_offset;
1007 HDRR *phdr = (HDRR *)(NEW_SECTION_H (nn).sh_offset + new_base);
1008
1009 if (diff)
1010 {
1011 phdr->cbLineOffset += diff;
1012 phdr->cbDnOffset += diff;
1013 phdr->cbPdOffset += diff;
1014 phdr->cbSymOffset += diff;
1015 phdr->cbOptOffset += diff;
1016 phdr->cbAuxOffset += diff;
1017 phdr->cbSsOffset += diff;
1018 phdr->cbSsExtOffset += diff;
1019 phdr->cbFdOffset += diff;
1020 phdr->cbRfdOffset += diff;
1021 phdr->cbExtOffset += diff;
1022 }
1023 }
1024 #endif /* __sony_news && _SYSTYPE_SYSV */
1025
1026 #ifdef __sgi
1027 /* Adjust the HDRR offsets in .mdebug and copy the
1028 line data if it's in its usual 'hole' in the object.
1029 Makes the new file debuggable with dbx.
1030 patches up two problems: the absolute file offsets
1031 in the HDRR record of .mdebug (see /usr/include/syms.h), and
1032 the ld bug that gets the line table in a hole in the
1033 elf file rather than in the .mdebug section proper.
1034 David Anderson. davea@sgi.com Jan 16,1994. */
1035 if (n == old_mdebug_index)
1036 {
1037 #define MDEBUGADJUST(__ct,__fileaddr) \
1038 if (n_phdrr->__ct > 0) \
1039 { \
1040 n_phdrr->__fileaddr += movement; \
1041 }
1042
1043 HDRR * o_phdrr = (HDRR *)((byte *)old_base + OLD_SECTION_H (n).sh_offset);
1044 HDRR * n_phdrr = (HDRR *)((byte *)new_base + NEW_SECTION_H (nn).sh_offset);
1045 unsigned movement = new_data2_size;
1046
1047 MDEBUGADJUST (idnMax, cbDnOffset);
1048 MDEBUGADJUST (ipdMax, cbPdOffset);
1049 MDEBUGADJUST (isymMax, cbSymOffset);
1050 MDEBUGADJUST (ioptMax, cbOptOffset);
1051 MDEBUGADJUST (iauxMax, cbAuxOffset);
1052 MDEBUGADJUST (issMax, cbSsOffset);
1053 MDEBUGADJUST (issExtMax, cbSsExtOffset);
1054 MDEBUGADJUST (ifdMax, cbFdOffset);
1055 MDEBUGADJUST (crfd, cbRfdOffset);
1056 MDEBUGADJUST (iextMax, cbExtOffset);
1057 /* The Line Section, being possible off in a hole of the object,
1058 requires special handling. */
1059 if (n_phdrr->cbLine > 0)
1060 {
1061 if (o_phdrr->cbLineOffset > (OLD_SECTION_H (n).sh_offset
1062 + OLD_SECTION_H (n).sh_size))
1063 {
1064 /* line data is in a hole in elf. do special copy and adjust
1065 for this ld mistake.
1066 */
1067 n_phdrr->cbLineOffset += movement;
1068
1069 memcpy (n_phdrr->cbLineOffset + new_base,
1070 o_phdrr->cbLineOffset + old_base, n_phdrr->cbLine);
1071 }
1072 else
1073 {
1074 /* somehow line data is in .mdebug as it is supposed to be. */
1075 MDEBUGADJUST (cbLine, cbLineOffset);
1076 }
1077 }
1078 }
1079 #endif /* __sgi */
1080
1081 /* If it is the symbol table, its st_shndx field needs to be patched. */
1082 if (NEW_SECTION_H (nn).sh_type == SHT_SYMTAB
1083 || NEW_SECTION_H (nn).sh_type == SHT_DYNSYM)
1084 {
1085 ElfW(Shdr) *spt = &NEW_SECTION_H (nn);
1086 unsigned int num = spt->sh_size / spt->sh_entsize;
1087 ElfW(Sym) * sym = (ElfW(Sym) *) (NEW_SECTION_H (nn).sh_offset +
1088 new_base);
1089 for (; num--; sym++)
1090 {
1091 if ((sym->st_shndx == SHN_UNDEF)
1092 || (sym->st_shndx == SHN_ABS)
1093 || (sym->st_shndx == SHN_COMMON))
1094 continue;
1095
1096 PATCH_INDEX (sym->st_shndx);
1097 }
1098 }
1099 }
1100
1101 /* Update the symbol values of _edata and _end. */
1102 for (n = new_file_h->e_shnum - 1; n; n--)
1103 {
1104 byte *symnames;
1105 ElfW(Sym) *symp, *symendp;
1106
1107 if (NEW_SECTION_H (n).sh_type != SHT_DYNSYM
1108 && NEW_SECTION_H (n).sh_type != SHT_SYMTAB)
1109 continue;
1110
1111 symnames = ((byte *) new_base
1112 + NEW_SECTION_H (NEW_SECTION_H (n).sh_link).sh_offset);
1113 symp = (ElfW(Sym) *) (NEW_SECTION_H (n).sh_offset + new_base);
1114 symendp = (ElfW(Sym) *) ((byte *)symp + NEW_SECTION_H (n).sh_size);
1115
1116 for (; symp < symendp; symp ++)
1117 if (strcmp ((char *) (symnames + symp->st_name), "_end") == 0
1118 || strcmp ((char *) (symnames + symp->st_name), "end") == 0
1119 || strcmp ((char *) (symnames + symp->st_name), "_edata") == 0
1120 || strcmp ((char *) (symnames + symp->st_name), "edata") == 0)
1121 memcpy (&symp->st_value, &new_bss_addr, sizeof (new_bss_addr));
1122 }
1123
1124 /* This loop seeks out relocation sections for the data section, so
1125 that it can undo relocations performed by the runtime linker. */
1126 for (n = new_file_h->e_shnum - 1; n; n--)
1127 {
1128 ElfW(Shdr) section = NEW_SECTION_H (n);
1129 switch (section.sh_type) {
1130 default:
1131 break;
1132 case SHT_REL:
1133 case SHT_RELA:
1134 /* This code handles two different size structs, but there should
1135 be no harm in that provided that r_offset is always the first
1136 member. */
1137 nn = section.sh_info;
1138 if (!strcmp (old_section_names + NEW_SECTION_H (nn).sh_name, ".data")
1139 || !strcmp ((old_section_names + NEW_SECTION_H (nn).sh_name),
1140 ".sdata")
1141 #ifdef __sgi
1142 || !strcmp ((old_section_names + NEW_SECTION_H (nn).sh_name),
1143 ".lit4")
1144 || !strcmp ((old_section_names + NEW_SECTION_H (nn).sh_name),
1145 ".lit8")
1146 || !strcmp ((old_section_names + NEW_SECTION_H (nn).sh_name),
1147 ".got")
1148 #endif
1149 || !strcmp ((old_section_names + NEW_SECTION_H (nn).sh_name),
1150 ".sdata1")
1151 || !strcmp ((old_section_names + NEW_SECTION_H (nn).sh_name),
1152 ".data1"))
1153 {
1154 ElfW(Addr) offset = NEW_SECTION_H (nn).sh_addr -
1155 NEW_SECTION_H (nn).sh_offset;
1156 caddr_t reloc = old_base + section.sh_offset, end;
1157 for (end = reloc + section.sh_size; reloc < end;
1158 reloc += section.sh_entsize)
1159 {
1160 ElfW(Addr) addr = ((ElfW(Rel) *) reloc)->r_offset - offset;
1161 #ifdef __alpha__
1162 /* The Alpha ELF binutils currently have a bug that
1163 sometimes results in relocs that contain all
1164 zeroes. Work around this for now... */
1165 if (((ElfW(Rel) *) reloc)->r_offset == 0)
1166 continue;
1167 #endif
1168 memcpy (new_base + addr, old_base + addr, sizeof(ElfW(Addr)));
1169 }
1170 }
1171 break;
1172 }
1173 }
1174
1175 #ifdef UNEXEC_USE_MAP_PRIVATE
1176 if (lseek (new_file, 0, SEEK_SET) == -1)
1177 fatal ("Can't rewind (%s): errno %d\n", new_name, errno);
1178
1179 if (write (new_file, new_base, new_file_size) != new_file_size)
1180 fatal ("Can't write (%s): errno %d\n", new_name, errno);
1181 #endif
1182
1183 /* Close the files and make the new file executable. */
1184
1185 if (close (old_file))
1186 fatal ("Can't close (%s): errno %d\n", old_name, errno);
1187
1188 if (close (new_file))
1189 fatal ("Can't close (%s): errno %d\n", new_name, errno);
1190
1191 if (stat (new_name, &stat_buf) == -1)
1192 fatal ("Can't stat (%s): errno %d\n", new_name, errno);
1193
1194 n = umask (777);
1195 umask (n);
1196 stat_buf.st_mode |= 0111 & ~n;
1197 if (chmod (new_name, stat_buf.st_mode) == -1)
1198 fatal ("Can't chmod (%s): errno %d\n", new_name, errno);
1199 }