unexelf.c 31.8 KB
Newer Older
1 2
/* Copyright (C) 1985, 1986, 1987, 1988, 1990, 1992
   Free Software Foundation, Inc.
Jim Blandy's avatar
Jim Blandy committed
3

4
This file is part of GNU Emacs.
5

6 7 8 9
GNU Emacs is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
10

11 12 13 14 15 16 17 18 19
GNU Emacs is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU Emacs; see the file COPYING.  If not, write to
the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA.
Jim Blandy's avatar
Jim Blandy committed
20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103

In other words, you are welcome to use, share and improve this program.
You are forbidden to forbid anyone else to use, share and improve
what you give them.   Help stamp out software-hoarding!  */


/*
 * unexec.c - Convert a running program into an a.out file.
 *
 * Author:	Spencer W. Thomas
 * 		Computer Science Dept.
 * 		University of Utah
 * Date:	Tue Mar  2 1982
 * Modified heavily since then.
 *
 * Synopsis:
 *	unexec (new_name, a_name, data_start, bss_start, entry_address)
 *	char *new_name, *a_name;
 *	unsigned data_start, bss_start, entry_address;
 *
 * Takes a snapshot of the program and makes an a.out format file in the
 * file named by the string argument new_name.
 * If a_name is non-NULL, the symbol table will be taken from the given file.
 * On some machines, an existing a_name file is required.
 *
 * The boundaries within the a.out file may be adjusted with the data_start
 * and bss_start arguments.  Either or both may be given as 0 for defaults.
 *
 * Data_start gives the boundary between the text segment and the data
 * segment of the program.  The text segment can contain shared, read-only
 * program code and literal data, while the data segment is always unshared
 * and unprotected.  Data_start gives the lowest unprotected address.
 * The value you specify may be rounded down to a suitable boundary
 * as required by the machine you are using.
 *
 * Specifying zero for data_start means the boundary between text and data
 * should not be the same as when the program was loaded.
 * If NO_REMAP is defined, the argument data_start is ignored and the
 * segment boundaries are never changed.
 *
 * Bss_start indicates how much of the data segment is to be saved in the
 * a.out file and restored when the program is executed.  It gives the lowest
 * unsaved address, and is rounded up to a page boundary.  The default when 0
 * is given assumes that the entire data segment is to be stored, including
 * the previous data and bss as well as any additional storage allocated with
 * break (2).
 *
 * The new file is set up to start at entry_address.
 *
 * If you make improvements I'd like to get them too.
 * harpo!utah-cs!thomas, thomas@Utah-20
 *
 */

/* Even more heavily modified by james@bigtex.cactus.org of Dell Computer Co.
 * ELF support added.
 *
 * Basic theory: the data space of the running process needs to be
 * dumped to the output file.  Normally we would just enlarge the size
 * of .data, scooting everything down.  But we can't do that in ELF,
 * because there is often something between the .data space and the
 * .bss space.
 *
 * In the temacs dump below, notice that the Global Offset Table
 * (.got) and the Dynamic link data (.dynamic) come between .data1 and
 * .bss.  It does not work to overlap .data with these fields.
 *
 * The solution is to create a new .data segment.  This segment is
 * filled with data from the current process.  Since the contents of
 * various sections refer to sections by index, the new .data segment
 * is made the last in the table to avoid changing any existing index.

 * This is an example of how the section headers are changed.  "Addr"
 * is a process virtual address.  "Offset" is a file offset.

raid:/nfs/raid/src/dist-18.56/src> dump -h temacs

temacs:

           **** SECTION HEADER TABLE ****
[No]    Type    Flags   Addr         Offset       Size          Name
        Link    Info    Adralgn      Entsize

[1]     1       2       0x80480d4    0xd4         0x13          .interp
104
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
105 106

[2]     5       2       0x80480e8    0xe8         0x388         .hash
107
        3       0       0x4          0x4
Jim Blandy's avatar
Jim Blandy committed
108 109

[3]     11      2       0x8048470    0x470        0x7f0         .dynsym
110
        4       1       0x4          0x10
Jim Blandy's avatar
Jim Blandy committed
111 112

[4]     3       2       0x8048c60    0xc60        0x3ad         .dynstr
113
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
114 115

[5]     9       2       0x8049010    0x1010       0x338         .rel.plt
116
        3       7       0x4          0x8
Jim Blandy's avatar
Jim Blandy committed
117 118

[6]     1       6       0x8049348    0x1348       0x3           .init
119
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
120 121

[7]     1       6       0x804934c    0x134c       0x680         .plt
122
        0       0       0x4          0x4
Jim Blandy's avatar
Jim Blandy committed
123 124

[8]     1       6       0x80499cc    0x19cc       0x3c56f       .text
125
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
126 127

[9]     1       6       0x8085f3c    0x3df3c      0x3           .fini
128
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
129 130

[10]    1       2       0x8085f40    0x3df40      0x69c         .rodata
131
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
132 133

[11]    1       2       0x80865dc    0x3e5dc      0xd51         .rodata1
134
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
135 136

[12]    1       3       0x8088330    0x3f330      0x20afc       .data
137
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
138 139

[13]    1       3       0x80a8e2c    0x5fe2c      0x89d         .data1
140
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
141 142

[14]    1       3       0x80a96cc    0x606cc      0x1a8         .got
143
        0       0       0x4          0x4
Jim Blandy's avatar
Jim Blandy committed
144 145

[15]    6       3       0x80a9874    0x60874      0x80          .dynamic
146
        4       0       0x4          0x8
Jim Blandy's avatar
Jim Blandy committed
147 148

[16]    8       3       0x80a98f4    0x608f4      0x449c        .bss
149
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
150 151

[17]    2       0       0            0x608f4      0x9b90        .symtab
152
        18      371     0x4          0x10
Jim Blandy's avatar
Jim Blandy committed
153 154

[18]    3       0       0            0x6a484      0x8526        .strtab
155
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
156 157

[19]    3       0       0            0x729aa      0x93          .shstrtab
158
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
159 160

[20]    1       0       0            0x72a3d      0x68b7        .comment
161
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
162 163 164 165 166 167 168 169 170 171

raid:/nfs/raid/src/dist-18.56/src> dump -h xemacs

xemacs:

           **** SECTION HEADER TABLE ****
[No]    Type    Flags   Addr         Offset       Size          Name
        Link    Info    Adralgn      Entsize

[1]     1       2       0x80480d4    0xd4         0x13          .interp
172
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
173 174

[2]     5       2       0x80480e8    0xe8         0x388         .hash
175
        3       0       0x4          0x4
Jim Blandy's avatar
Jim Blandy committed
176 177

[3]     11      2       0x8048470    0x470        0x7f0         .dynsym
178
        4       1       0x4          0x10
Jim Blandy's avatar
Jim Blandy committed
179 180

[4]     3       2       0x8048c60    0xc60        0x3ad         .dynstr
181
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
182 183

[5]     9       2       0x8049010    0x1010       0x338         .rel.plt
184
        3       7       0x4          0x8
Jim Blandy's avatar
Jim Blandy committed
185 186

[6]     1       6       0x8049348    0x1348       0x3           .init
187
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
188 189

[7]     1       6       0x804934c    0x134c       0x680         .plt
190
        0       0       0x4          0x4
Jim Blandy's avatar
Jim Blandy committed
191 192

[8]     1       6       0x80499cc    0x19cc       0x3c56f       .text
193
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
194 195

[9]     1       6       0x8085f3c    0x3df3c      0x3           .fini
196
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
197 198

[10]    1       2       0x8085f40    0x3df40      0x69c         .rodata
199
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
200 201

[11]    1       2       0x80865dc    0x3e5dc      0xd51         .rodata1
202
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
203 204

[12]    1       3       0x8088330    0x3f330      0x20afc       .data
205
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
206 207

[13]    1       3       0x80a8e2c    0x5fe2c      0x89d         .data1
208
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
209 210

[14]    1       3       0x80a96cc    0x606cc      0x1a8         .got
211
        0       0       0x4          0x4
Jim Blandy's avatar
Jim Blandy committed
212 213

[15]    6       3       0x80a9874    0x60874      0x80          .dynamic
214
        4       0       0x4          0x8
Jim Blandy's avatar
Jim Blandy committed
215 216

[16]    8       3       0x80c6800    0x7d800      0             .bss
217
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
218 219

[17]    2       0       0            0x7d800      0x9b90        .symtab
220
        18      371     0x4          0x10
Jim Blandy's avatar
Jim Blandy committed
221 222

[18]    3       0       0            0x87390      0x8526        .strtab
223
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
224 225

[19]    3       0       0            0x8f8b6      0x93          .shstrtab
226
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
227 228

[20]    1       0       0            0x8f949      0x68b7        .comment
229
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
230 231

[21]    1       3       0x80a98f4    0x608f4      0x1cf0c       .data
232
        0       0       0x4          0
Jim Blandy's avatar
Jim Blandy committed
233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281

 * This is an example of how the file header is changed.  "Shoff" is
 * the section header offset within the file.  Since that table is
 * after the new .data section, it is moved.  "Shnum" is the number of
 * sections, which we increment.
 *
 * "Phoff" is the file offset to the program header.  "Phentsize" and
 * "Shentsz" are the program and section header entries sizes respectively.
 * These can be larger than the apparent struct sizes.

raid:/nfs/raid/src/dist-18.56/src> dump -f temacs

temacs:

                    **** ELF HEADER ****
Class        Data       Type         Machine     Version
Entry        Phoff      Shoff        Flags       Ehsize
Phentsize    Phnum      Shentsz      Shnum       Shstrndx

1            1          2            3           1
0x80499cc    0x34       0x792f4      0           0x34
0x20         5          0x28         21          19

raid:/nfs/raid/src/dist-18.56/src> dump -f xemacs

xemacs:

                    **** ELF HEADER ****
Class        Data       Type         Machine     Version
Entry        Phoff      Shoff        Flags       Ehsize
Phentsize    Phnum      Shentsz      Shnum       Shstrndx

1            1          2            3           1
0x80499cc    0x34       0x96200      0           0x34
0x20         5          0x28         22          19

 * These are the program headers.  "Offset" is the file offset to the
 * segment.  "Vaddr" is the memory load address.  "Filesz" is the
 * segment size as it appears in the file, and "Memsz" is the size in
 * memory.  Below, the third segment is the code and the fourth is the
 * data: the difference between Filesz and Memsz is .bss

raid:/nfs/raid/src/dist-18.56/src> dump -o temacs

temacs:
 ***** PROGRAM EXECUTION HEADER *****
Type        Offset      Vaddr       Paddr
Filesz      Memsz       Flags       Align

282 283
6           0x34        0x8048034   0
0xa0        0xa0        5           0
Jim Blandy's avatar
Jim Blandy committed
284

285 286
3           0xd4        0           0
0x13        0           4           0
Jim Blandy's avatar
Jim Blandy committed
287

288 289
1           0x34        0x8048034   0
0x3f2f9     0x3f2f9     5           0x1000
Jim Blandy's avatar
Jim Blandy committed
290

291 292
1           0x3f330     0x8088330   0
0x215c4     0x25a60     7           0x1000
Jim Blandy's avatar
Jim Blandy committed
293

294 295
2           0x60874     0x80a9874   0
0x80        0           7           0
Jim Blandy's avatar
Jim Blandy committed
296 297 298 299 300 301 302 303

raid:/nfs/raid/src/dist-18.56/src> dump -o xemacs

xemacs:
 ***** PROGRAM EXECUTION HEADER *****
Type        Offset      Vaddr       Paddr
Filesz      Memsz       Flags       Align

304 305
6           0x34        0x8048034   0
0xa0        0xa0        5           0
Jim Blandy's avatar
Jim Blandy committed
306

307 308
3           0xd4        0           0
0x13        0           4           0
Jim Blandy's avatar
Jim Blandy committed
309

310 311
1           0x34        0x8048034   0
0x3f2f9     0x3f2f9     5           0x1000
Jim Blandy's avatar
Jim Blandy committed
312

313 314
1           0x3f330     0x8088330   0
0x3e4d0     0x3e4d0     7           0x1000
Jim Blandy's avatar
Jim Blandy committed
315

316 317
2           0x60874     0x80a9874   0
0x80        0           7           0
Jim Blandy's avatar
Jim Blandy committed
318 319 320


 */
321

322 323
/* Modified by wtien@urbana.mcd.mot.com of Motorola Inc.
 *
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 328
 * order of their file offsets. After the re-layout, the data2 section will
 * 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 332 333 334
 * causes the new binary to fail.
 *
 * The solution is to modify the unexec algorithm to insert the new data2
 * section header right before the new bss section header, so their file
335 336 337
 * offsets will be in the ascending order. Since some of the section's (all
 * sections AFTER the bss section) indexes are now changed, we also need to
 * 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 341 342 343 344 345 346 347 348 349 350
 * 1. ELF header e_shstrndx field.
 * 2. section header sh_link and sh_info field.
 * 3. symbol table entry st_shndx field.
 *
 * The above example now should look like:

           **** SECTION HEADER TABLE ****
[No]    Type    Flags   Addr         Offset       Size          Name
        Link    Info    Adralgn      Entsize

[1]     1       2       0x80480d4    0xd4         0x13          .interp
351
        0       0       0x1          0
Jim Blandy's avatar
Jim Blandy committed
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

 */

Jim Blandy's avatar
Jim Blandy committed
415 416 417 418 419 420 421 422 423 424 425 426
#include <sys/types.h>
#include <stdio.h>
#include <sys/stat.h>
#include <memory.h>
#include <string.h>
#include <errno.h>
#include <unistd.h>
#include <fcntl.h>
#include <elf.h>
#include <sys/mman.h>

#ifndef emacs
427
#define fatal(a, b, c) fprintf (stderr, a, b, c), exit (1)
Jim Blandy's avatar
Jim Blandy committed
428
#else
429
#include <config.h>
430
extern void fatal (char *, ...);
Jim Blandy's avatar
Jim Blandy committed
431 432
#endif

433 434 435 436
#ifndef ELF_BSS_SECTION_NAME
#define ELF_BSS_SECTION_NAME ".bss"
#endif

Jim Blandy's avatar
Jim Blandy committed
437 438 439
/* Get the address of a particular section or program header entry,
 * accounting for the size of the entries.
 */
440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462
/* 
   On PPC Reference Platform running Solaris 2.5.1
   the plt section is also of type NOBI like the bss section.
   (not really stored) and therefore sections after the bss
   section start at the plt offset. The plt section is always
   the one just before the bss section.
   Thus, we modify the test from
      if (NEW_SECTION_H (nn).sh_offset >= new_data2_offset)
   to
      if (NEW_SECTION_H (nn).sh_offset >= 
               OLD_SECTION_H (old_bss_index-1).sh_offset)
   This is just a hack. We should put the new data section
   before the .plt section.
   And we should not have this routine at all but use
   the libelf library to read the old file and create the new
   file.
   The changed code is minimal and depends on prep set in m/prep.h
   Erik Deumens
   Quantum Theory Project
   University of Florida
   deumens@qtp.ufl.edu
   Apr 23, 1996
   */
Jim Blandy's avatar
Jim Blandy committed
463 464 465 466 467 468 469 470 471 472

#define OLD_SECTION_H(n) \
     (*(Elf32_Shdr *) ((byte *) old_section_h + old_file_h->e_shentsize * (n)))
#define NEW_SECTION_H(n) \
     (*(Elf32_Shdr *) ((byte *) new_section_h + new_file_h->e_shentsize * (n)))
#define OLD_PROGRAM_H(n) \
     (*(Elf32_Phdr *) ((byte *) old_program_h + old_file_h->e_phentsize * (n)))
#define NEW_PROGRAM_H(n) \
     (*(Elf32_Phdr *) ((byte *) new_program_h + new_file_h->e_phentsize * (n)))

473 474
#define PATCH_INDEX(n) \
  do { \
475
	 if ((int) (n) >= old_bss_index) \
476
	   (n)++; } while (0)
Jim Blandy's avatar
Jim Blandy committed
477 478
typedef unsigned char byte;

479 480 481 482 483 484 485 486 487 488 489 490
/* Round X up to a multiple of Y.  */

int
round_up (x, y)
     int x, y;
{
  int rem = x % y;
  if (rem == 0)
    return x;
  return x - rem + y;
}

Jim Blandy's avatar
Jim Blandy committed
491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524
/* ****************************************************************
 * unexec
 *
 * driving logic.
 *
 * In ELF, this works by replacing the old .bss section with a new
 * .data section, and inserting an empty .bss immediately afterwards.
 *
 */
void
unexec (new_name, old_name, data_start, bss_start, entry_address)
     char *new_name, *old_name;
     unsigned data_start, bss_start, entry_address;
{
  int new_file, old_file, new_file_size;

  /* Pointers to the base of the image of the two files. */
  caddr_t old_base, new_base;

  /* Pointers to the file, program and section headers for the old and new
   * files.
   */
  Elf32_Ehdr *old_file_h, *new_file_h;
  Elf32_Phdr *old_program_h, *new_program_h;
  Elf32_Shdr *old_section_h, *new_section_h;

  /* Point to the section name table in the old file */
  char *old_section_names;

  Elf32_Addr old_bss_addr, new_bss_addr;
  Elf32_Word old_bss_size, new_data2_size;
  Elf32_Off  new_data2_offset;
  Elf32_Addr new_data2_addr;

525
  int n, nn, old_bss_index, old_data_index, new_data2_index;
Jim Blandy's avatar
Jim Blandy committed
526 527 528 529 530 531 532 533 534 535
  struct stat stat_buf;

  /* Open the old file & map it into the address space. */

  old_file = open (old_name, O_RDONLY);

  if (old_file < 0)
    fatal ("Can't open %s for reading: errno %d\n", old_name, errno);

  if (fstat (old_file, &stat_buf) == -1)
536
    fatal ("Can't fstat (%s): errno %d\n", old_name, errno);
Jim Blandy's avatar
Jim Blandy committed
537 538 539 540

  old_base = mmap (0, stat_buf.st_size, PROT_READ, MAP_SHARED, old_file, 0);

  if (old_base == (caddr_t) -1)
541
    fatal ("Can't mmap (%s): errno %d\n", old_name, errno);
Jim Blandy's avatar
Jim Blandy committed
542 543

#ifdef DEBUG
544
  fprintf (stderr, "mmap (%s, %x) -> %x\n", old_name, stat_buf.st_size,
Jim Blandy's avatar
Jim Blandy committed
545 546 547 548 549 550 551 552 553
	   old_base);
#endif

  /* Get pointers to headers & section names */

  old_file_h = (Elf32_Ehdr *) old_base;
  old_program_h = (Elf32_Phdr *) ((byte *) old_base + old_file_h->e_phoff);
  old_section_h = (Elf32_Shdr *) ((byte *) old_base + old_file_h->e_shoff);
  old_section_names = (char *) old_base
554
    + OLD_SECTION_H (old_file_h->e_shstrndx).sh_offset;
Jim Blandy's avatar
Jim Blandy committed
555 556 557 558 559

  /* Find the old .bss section.  Figure out parameters of the new
   * data2 and bss sections.
   */

560 561
  for (old_bss_index = 1; old_bss_index < (int) old_file_h->e_shnum;
       old_bss_index++)
Jim Blandy's avatar
Jim Blandy committed
562 563 564
    {
#ifdef DEBUG
      fprintf (stderr, "Looking for .bss - found %s\n",
565
	       old_section_names + OLD_SECTION_H (old_bss_index).sh_name);
Jim Blandy's avatar
Jim Blandy committed
566
#endif
567
      if (!strcmp (old_section_names + OLD_SECTION_H (old_bss_index).sh_name,
568
		   ELF_BSS_SECTION_NAME))
Jim Blandy's avatar
Jim Blandy committed
569 570 571 572 573
	break;
    }
  if (old_bss_index == old_file_h->e_shnum)
    fatal ("Can't find .bss in %s.\n", old_name, 0);

574 575
  old_bss_addr = OLD_SECTION_H (old_bss_index).sh_addr;
  old_bss_size = OLD_SECTION_H (old_bss_index).sh_size;
Jim Blandy's avatar
Jim Blandy committed
576
#if defined(emacs) || !defined(DEBUG)
577
  new_bss_addr = (Elf32_Addr) sbrk (0);
Jim Blandy's avatar
Jim Blandy committed
578 579 580 581 582
#else
  new_bss_addr = old_bss_addr + old_bss_size + 0x1234;
#endif
  new_data2_addr = old_bss_addr;
  new_data2_size = new_bss_addr - old_bss_addr;
583
  new_data2_offset = OLD_SECTION_H (old_bss_index).sh_offset;
Jim Blandy's avatar
Jim Blandy committed
584 585 586 587 588 589 590 591 592 593 594 595 596 597

#ifdef DEBUG
  fprintf (stderr, "old_bss_index %d\n", old_bss_index);
  fprintf (stderr, "old_bss_addr %x\n", old_bss_addr);
  fprintf (stderr, "old_bss_size %x\n", old_bss_size);
  fprintf (stderr, "new_bss_addr %x\n", new_bss_addr);
  fprintf (stderr, "new_data2_addr %x\n", new_data2_addr);
  fprintf (stderr, "new_data2_size %x\n", new_data2_size);
  fprintf (stderr, "new_data2_offset %x\n", new_data2_offset);
#endif

  if ((unsigned) new_bss_addr < (unsigned) old_bss_addr + old_bss_size)
    fatal (".bss shrank when undumping???\n", 0, 0);

598
  /* Set the output file to the right size and mmap it.  Set
Jim Blandy's avatar
Jim Blandy committed
599 600 601 602 603 604
   * pointers to various interesting objects.  stat_buf still has
   * old_file data.
   */

  new_file = open (new_name, O_RDWR | O_CREAT, 0666);
  if (new_file < 0)
605
    fatal ("Can't creat (%s): errno %d\n", new_name, errno);
Jim Blandy's avatar
Jim Blandy committed
606 607 608 609

  new_file_size = stat_buf.st_size + old_file_h->e_shentsize + new_data2_size;

  if (ftruncate (new_file, new_file_size))
610
    fatal ("Can't ftruncate (%s): errno %d\n", new_name, errno);
Jim Blandy's avatar
Jim Blandy committed
611

612 613 614 615
#ifdef UNEXEC_USE_MAP_PRIVATE
  new_base = mmap (0, new_file_size, PROT_READ | PROT_WRITE, MAP_PRIVATE,
		   new_file, 0);
#else
Jim Blandy's avatar
Jim Blandy committed
616 617
  new_base = mmap (0, new_file_size, PROT_READ | PROT_WRITE, MAP_SHARED,
		   new_file, 0);
618
#endif
Jim Blandy's avatar
Jim Blandy committed
619 620

  if (new_base == (caddr_t) -1)
621
    fatal ("Can't mmap (%s): errno %d\n", new_name, errno);
Jim Blandy's avatar
Jim Blandy committed
622 623 624 625 626 627 628 629 630 631 632 633 634

  new_file_h = (Elf32_Ehdr *) new_base;
  new_program_h = (Elf32_Phdr *) ((byte *) new_base + old_file_h->e_phoff);
  new_section_h = (Elf32_Shdr *)
    ((byte *) new_base + old_file_h->e_shoff + new_data2_size);

  /* Make our new file, program and section headers as copies of the
   * originals.
   */

  memcpy (new_file_h, old_file_h, old_file_h->e_ehsize);
  memcpy (new_program_h, old_program_h,
	  old_file_h->e_phnum * old_file_h->e_phentsize);
635 636 637

  /* Modify the e_shstrndx if necessary. */
  PATCH_INDEX (new_file_h->e_shstrndx);
Jim Blandy's avatar
Jim Blandy committed
638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662

  /* Fix up file header.  We'll add one section.  Section header is
   * further away now.
   */

  new_file_h->e_shoff += new_data2_size;
  new_file_h->e_shnum += 1;

#ifdef DEBUG
  fprintf (stderr, "Old section offset %x\n", old_file_h->e_shoff);
  fprintf (stderr, "Old section count %d\n", old_file_h->e_shnum);
  fprintf (stderr, "New section offset %x\n", new_file_h->e_shoff);
  fprintf (stderr, "New section count %d\n", new_file_h->e_shnum);
#endif

  /* Fix up a new program header.  Extend the writable data segment so
   * that the bss area is covered too. Find that segment by looking
   * for a segment that ends just before the .bss area.  Make sure
   * that no segments are above the new .data2.  Put a loop at the end
   * to adjust the offset and address of any segment that is above
   * data2, just in case we decide to allow this later.
   */

  for (n = new_file_h->e_phnum - 1; n >= 0; n--)
    {
663 664 665 666 667
      /* Compute maximum of all requirements for alignment of section.  */
      int alignment = (NEW_PROGRAM_H (n)).p_align;
      if ((OLD_SECTION_H (old_bss_index)).sh_addralign > alignment)
	alignment = OLD_SECTION_H (old_bss_index).sh_addralign;

668
      if (NEW_PROGRAM_H (n).p_vaddr + NEW_PROGRAM_H (n).p_filesz > old_bss_addr)
Jim Blandy's avatar
Jim Blandy committed
669 670
	fatal ("Program segment above .bss in %s\n", old_name, 0);

671
      if (NEW_PROGRAM_H (n).p_type == PT_LOAD
672 673 674 675
	  && (round_up ((NEW_PROGRAM_H (n)).p_vaddr
			+ (NEW_PROGRAM_H (n)).p_filesz,
			alignment)
	      == round_up (old_bss_addr, alignment)))
Jim Blandy's avatar
Jim Blandy committed
676 677 678 679 680
	break;
    }
  if (n < 0)
    fatal ("Couldn't find segment next to .bss in %s\n", old_name, 0);

681 682
  NEW_PROGRAM_H (n).p_filesz += new_data2_size;
  NEW_PROGRAM_H (n).p_memsz = NEW_PROGRAM_H (n).p_filesz;
Jim Blandy's avatar
Jim Blandy committed
683 684 685 686

#if 0 /* Maybe allow section after data2 - does this ever happen? */
  for (n = new_file_h->e_phnum - 1; n >= 0; n--)
    {
687 688 689
      if (NEW_PROGRAM_H (n).p_vaddr
	  && NEW_PROGRAM_H (n).p_vaddr >= new_data2_addr)
	NEW_PROGRAM_H (n).p_vaddr += new_data2_size - old_bss_size;
Jim Blandy's avatar
Jim Blandy committed
690

691 692
      if (NEW_PROGRAM_H (n).p_offset >= new_data2_offset)
	NEW_PROGRAM_H (n).p_offset += new_data2_size;
Jim Blandy's avatar
Jim Blandy committed
693 694 695 696 697 698 699 700 701
    }
#endif

  /* Fix up section headers based on new .data2 section.  Any section
   * whose offset or virtual address is after the new .data2 section
   * gets its value adjusted.  .bss size becomes zero and new address
   * is set.  data2 section header gets added by copying the existing
   * .data header and modifying the offset, address and size.
   */
702
  for (old_data_index = 1; old_data_index < (int) old_file_h->e_shnum;
Jim Blandy's avatar
Jim Blandy committed
703
       old_data_index++)
704
    if (!strcmp (old_section_names + OLD_SECTION_H (old_data_index).sh_name,
Jim Blandy's avatar
Jim Blandy committed
705 706 707 708 709
		 ".data"))
      break;
  if (old_data_index == old_file_h->e_shnum)
    fatal ("Can't find .data in %s.\n", old_name, 0);

710
  /* Walk through all section headers, insert the new data2 section right
711
     before the new bss section. */
712
  for (n = 1, nn = 1; n < (int) old_file_h->e_shnum; n++, nn++)
Jim Blandy's avatar
Jim Blandy committed
713 714
    {
      caddr_t src;
715 716 717 718
      /* If it is bss section, insert the new data2 section before it. */
      if (n == old_bss_index)
	{
	  /* Steal the data section header for this data2 section. */
719
	  memcpy (&NEW_SECTION_H (nn), &OLD_SECTION_H (old_data_index),
720
		  new_file_h->e_shentsize);
721

722 723 724
	  NEW_SECTION_H (nn).sh_addr = new_data2_addr;
	  NEW_SECTION_H (nn).sh_offset = new_data2_offset;
	  NEW_SECTION_H (nn).sh_size = new_data2_size;
725 726 727
	  /* Use the bss section's alignment. This will assure that the
	     new data2 section always be placed in the same spot as the old
	     bss section by any other application. */
728
	  NEW_SECTION_H (nn).sh_addralign = OLD_SECTION_H (n).sh_addralign;
729 730

	  /* Now copy over what we have in the memory now. */
731 732
	  memcpy (NEW_SECTION_H (nn).sh_offset + new_base,
		  (caddr_t) OLD_SECTION_H (n).sh_addr,
733 734 735
		  new_data2_size);
	  nn++;
	}
736 737

      memcpy (&NEW_SECTION_H (nn), &OLD_SECTION_H (n),
738
	      old_file_h->e_shentsize);
739

740 741 742 743 744
      /* The new bss section's size is zero, and its file offset and virtual
	 address should be off by NEW_DATA2_SIZE. */
      if (n == old_bss_index)
	{
	  /* NN should be `old_bss_index + 1' at this point. */
745 746
	  NEW_SECTION_H (nn).sh_offset += new_data2_size;
	  NEW_SECTION_H (nn).sh_addr += new_data2_size;
747
	  /* Let the new bss section address alignment be the same as the
748
	     section address alignment followed the old bss section, so
749
	     this section will be placed in exactly the same place. */
750 751
	  NEW_SECTION_H (nn).sh_addralign = OLD_SECTION_H (nn).sh_addralign;
	  NEW_SECTION_H (nn).sh_size = 0;
752
	}
753 754 755 756
      else
	{
	  /* Any section that was original placed AFTER the bss
	     section should now be off by NEW_DATA2_SIZE. */
757 758 759 760 761 762 763 764 765 766 767 768 769
#ifdef SOLARIS_POWERPC
	  /* On PPC Reference Platform running Solaris 2.5.1
	     the plt section is also of type NOBI like the bss section.
	     (not really stored) and therefore sections after the bss
	     section start at the plt offset. The plt section is always
	     the one just before the bss section.
	     It would be better to put the new data section before
	     the .plt section, or use libelf instead.
	     Erik Deumens, deumens@qtp.ufl.edu.  */
	  if (NEW_SECTION_H (nn).sh_offset
	      >= OLD_SECTION_H (old_bss_index-1).sh_offset)
	    NEW_SECTION_H (nn).sh_offset += new_data2_size;
#else
770 771 772
	  if (round_up (NEW_SECTION_H (nn).sh_offset,
			OLD_SECTION_H (old_bss_index).sh_addralign)
	      >= new_data2_offset)
773
	    NEW_SECTION_H (nn).sh_offset += new_data2_size;
774
#endif
775 776 777 778 779 780 781
	  /* Any section that was originally placed after the section
	     header table should now be off by the size of one section
	     header table entry.  */
	  if (NEW_SECTION_H (nn).sh_offset > new_file_h->e_shoff)
	    NEW_SECTION_H (nn).sh_offset += new_file_h->e_shentsize;
	}

782
      /* If any section hdr refers to the section after the new .data
783
	 section, make it refer to next one because we have inserted
784
	 a new section in between.  */
785

786
      PATCH_INDEX (NEW_SECTION_H (nn).sh_link);
787 788 789 790 791 792 793
      /* For symbol tables, info is a symbol table index,
	 so don't change it.  */
      if (NEW_SECTION_H (nn).sh_type != SHT_SYMTAB
	  && NEW_SECTION_H (nn).sh_type != SHT_DYNSYM)
	PATCH_INDEX (NEW_SECTION_H (nn).sh_info);

      /* Now, start to copy the content of sections.  */
794 795
      if (NEW_SECTION_H (nn).sh_type == SHT_NULL
	  || NEW_SECTION_H (nn).sh_type == SHT_NOBITS)
Jim Blandy's avatar
Jim Blandy committed
796
	continue;
797

798
      /* Write out the sections. .data and .data1 (and data2, called
799 800
	 ".data" in the strings table) get copied from the current process
	 instead of the old file.  */
801 802
      if (!strcmp (old_section_names + NEW_SECTION_H (n).sh_name, ".data")
	  || !strcmp ((old_section_names + NEW_SECTION_H (n).sh_name),
Jim Blandy's avatar
Jim Blandy committed
803
		      ".data1"))
804
	src = (caddr_t) OLD_SECTION_H (n).sh_addr;
Jim Blandy's avatar
Jim Blandy committed
805
      else
806
	src = old_base + OLD_SECTION_H (n).sh_offset;
807

808 809
      memcpy (NEW_SECTION_H (nn).sh_offset + new_base, src,
	      NEW_SECTION_H (nn).sh_size);
810

811
      /* If it is the symbol table, its st_shndx field needs to be patched.  */
812 813
      if (NEW_SECTION_H (nn).sh_type == SHT_SYMTAB
	  || NEW_SECTION_H (nn).sh_type == SHT_DYNSYM)
814
	{
815
	  Elf32_Shdr *spt = &NEW_SECTION_H (nn);
816
	  unsigned int num = spt->sh_size / spt->sh_entsize;
817
	  Elf32_Sym * sym = (Elf32_Sym *) (NEW_SECTION_H (nn).sh_offset +
818 819 820 821 822 823 824
					   new_base);
	  for (; num--; sym++)
	    {
	      if ((sym->st_shndx == SHN_UNDEF)
		  || (sym->st_shndx == SHN_ABS)
		  || (sym->st_shndx == SHN_COMMON))
		continue;
825

826
	      PATCH_INDEX (sym->st_shndx);
827 828
	    }
	}
Jim Blandy's avatar
Jim Blandy committed
829 830
    }

831
  /* Update the symbol values of _edata and _end.  */
832 833 834 835 836 837 838 839 840
  for (n = new_file_h->e_shnum - 1; n; n--)
    {
      byte *symnames;
      Elf32_Sym *symp, *symendp;

      if (NEW_SECTION_H (n).sh_type != SHT_DYNSYM
	  && NEW_SECTION_H (n).sh_type != SHT_SYMTAB)
	continue;

Karl Heuer's avatar
Karl Heuer committed
841 842
      symnames = ((byte *) new_base
		  + NEW_SECTION_H (NEW_SECTION_H (n).sh_link).sh_offset);
843 844 845 846 847 848 849 850 851
      symp = (Elf32_Sym *) (NEW_SECTION_H (n).sh_offset + new_base);
      symendp = (Elf32_Sym *) ((byte *)symp + NEW_SECTION_H (n).sh_size);

      for (; symp < symendp; symp ++)
	if (strcmp ((char *) (symnames + symp->st_name), "_end") == 0
	    || strcmp ((char *) (symnames + symp->st_name), "_edata") == 0)
	  memcpy (&symp->st_value, &new_bss_addr, sizeof (new_bss_addr));
    }

852 853 854 855 856 857 858 859 860 861
  /* This loop seeks out relocation sections for the data section, so
     that it can undo relocations performed by the runtime linker.  */
  for (n = new_file_h->e_shnum - 1; n; n--)
    {
      Elf32_Shdr section = NEW_SECTION_H (n);
      switch (section.sh_type) {
      default:
	break;
      case SHT_REL:
      case SHT_RELA:
862 863 864
	/* This code handles two different size structs, but there should
	   be no harm in that provided that r_offset is always the first
	   member.  */
865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883
	nn = section.sh_info;
	if (!strcmp (old_section_names + NEW_SECTION_H (nn).sh_name, ".data")
	    || !strcmp ((old_section_names + NEW_SECTION_H (nn).sh_name),
			".data1"))
	  {
	    Elf32_Addr offset = NEW_SECTION_H (nn).sh_addr -
	      NEW_SECTION_H (nn).sh_offset;
	    caddr_t reloc = old_base + section.sh_offset, end;
	    for (end = reloc + section.sh_size; reloc < end;
		 reloc += section.sh_entsize)
	      {
		Elf32_Addr addr = ((Elf32_Rel *) reloc)->r_offset - offset;
		memcpy (new_base + addr, old_base + addr, 4);
	      }
	  }
	break;
      }
    }

884 885 886 887 888 889 890 891
#ifdef UNEXEC_USE_MAP_PRIVATE
  if (lseek (new_file, 0, SEEK_SET) == -1)
    fatal ("Can't rewind (%s): errno %d\n", new_name, errno);

  if (write (new_file, new_base, new_file_size) != new_file_size)
    fatal ("Can't write (%s): errno %d\n", new_name, errno);
#endif

892
  /* Close the files and make the new file executable.  */
Jim Blandy's avatar
Jim Blandy committed
893 894

  if (close (old_file))
895
    fatal ("Can't close (%s): errno %d\n", old_name, errno);
Jim Blandy's avatar
Jim Blandy committed
896 897

  if (close (new_file))
898
    fatal ("Can't close (%s): errno %d\n", new_name, errno);
Jim Blandy's avatar
Jim Blandy committed
899 900

  if (stat (new_name, &stat_buf) == -1)
901
    fatal ("Can't stat (%s): errno %d\n", new_name, errno);
Jim Blandy's avatar
Jim Blandy committed
902 903 904 905 906

  n = umask (777);
  umask (n);
  stat_buf.st_mode |= 0111 & ~n;
  if (chmod (new_name, stat_buf.st_mode) == -1)
907
    fatal ("Can't chmod (%s): errno %d\n", new_name, errno);
Jim Blandy's avatar
Jim Blandy committed
908
}