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