Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1195)

Side by Side Diff: tools/relocation_packer/src/elf_file.cc

Issue 392653002: Upgrade logging to resemble base/logging.h. (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: Silence 'Death tests use fork()' gtest warnings Created 6 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
OLDNEW
1 // Copyright 2014 The Chromium Authors. All rights reserved. 1 // Copyright 2014 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 // TODO(simonb): Extend for 64-bit target libraries. 5 // TODO(simonb): Extend for 64-bit target libraries.
6 6
7 #include "elf_file.h" 7 #include "elf_file.h"
8 8
9 #include <stdlib.h> 9 #include <stdlib.h>
10 #include <sys/types.h> 10 #include <sys/types.h>
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after
49 const void* section_data, 49 const void* section_data,
50 size_t size) { 50 size_t size) {
51 CHECK(size == data->d_size); 51 CHECK(size == data->d_size);
52 uint8_t* area = new uint8_t[size]; 52 uint8_t* area = new uint8_t[size];
53 memcpy(area, section_data, size); 53 memcpy(area, section_data, size);
54 data->d_buf = area; 54 data->d_buf = area;
55 } 55 }
56 56
57 // Verbose ELF header logging. 57 // Verbose ELF header logging.
58 void VerboseLogElfHeader(const Elf32_Ehdr* elf_header) { 58 void VerboseLogElfHeader(const Elf32_Ehdr* elf_header) {
59 VLOG("e_phoff = %u\n", elf_header->e_phoff); 59 VLOG(1) << "e_phoff = " << elf_header->e_phoff;
60 VLOG("e_shoff = %u\n", elf_header->e_shoff); 60 VLOG(1) << "e_shoff = " << elf_header->e_shoff;
61 VLOG("e_ehsize = %u\n", elf_header->e_ehsize); 61 VLOG(1) << "e_ehsize = " << elf_header->e_ehsize;
62 VLOG("e_phentsize = %u\n", elf_header->e_phentsize); 62 VLOG(1) << "e_phentsize = " << elf_header->e_phentsize;
63 VLOG("e_phnum = %u\n", elf_header->e_phnum); 63 VLOG(1) << "e_phnum = " << elf_header->e_phnum;
64 VLOG("e_shnum = %u\n", elf_header->e_shnum); 64 VLOG(1) << "e_shnum = " << elf_header->e_shnum;
65 VLOG("e_shstrndx = %u\n", elf_header->e_shstrndx); 65 VLOG(1) << "e_shstrndx = " << elf_header->e_shstrndx;
66 } 66 }
67 67
68 // Verbose ELF program header logging. 68 // Verbose ELF program header logging.
69 void VerboseLogProgramHeader(size_t program_header_index, 69 void VerboseLogProgramHeader(size_t program_header_index,
70 const Elf32_Phdr* program_header) { 70 const Elf32_Phdr* program_header) {
71 std::string type; 71 std::string type;
72 switch (program_header->p_type) { 72 switch (program_header->p_type) {
73 case PT_NULL: type = "NULL"; break; 73 case PT_NULL: type = "NULL"; break;
74 case PT_LOAD: type = "LOAD"; break; 74 case PT_LOAD: type = "LOAD"; break;
75 case PT_DYNAMIC: type = "DYNAMIC"; break; 75 case PT_DYNAMIC: type = "DYNAMIC"; break;
76 case PT_INTERP: type = "INTERP"; break; 76 case PT_INTERP: type = "INTERP"; break;
77 case PT_NOTE: type = "NOTE"; break; 77 case PT_NOTE: type = "NOTE"; break;
78 case PT_SHLIB: type = "SHLIB"; break; 78 case PT_SHLIB: type = "SHLIB"; break;
79 case PT_PHDR: type = "PHDR"; break; 79 case PT_PHDR: type = "PHDR"; break;
80 case PT_TLS: type = "TLS"; break; 80 case PT_TLS: type = "TLS"; break;
81 default: type = "(OTHER)"; break; 81 default: type = "(OTHER)"; break;
82 } 82 }
83 VLOG("phdr %lu : %s\n", program_header_index, type.c_str()); 83 VLOG(1) << "phdr " << program_header_index << " : " << type;
84 VLOG(" p_offset = %u\n", program_header->p_offset); 84 VLOG(1) << " p_offset = " << program_header->p_offset;
85 VLOG(" p_vaddr = %u\n", program_header->p_vaddr); 85 VLOG(1) << " p_vaddr = " << program_header->p_vaddr;
86 VLOG(" p_paddr = %u\n", program_header->p_paddr); 86 VLOG(1) << " p_paddr = " << program_header->p_paddr;
87 VLOG(" p_filesz = %u\n", program_header->p_filesz); 87 VLOG(1) << " p_filesz = " << program_header->p_filesz;
88 VLOG(" p_memsz = %u\n", program_header->p_memsz); 88 VLOG(1) << " p_memsz = " << program_header->p_memsz;
89 } 89 }
90 90
91 // Verbose ELF section header logging. 91 // Verbose ELF section header logging.
92 void VerboseLogSectionHeader(const std::string& section_name, 92 void VerboseLogSectionHeader(const std::string& section_name,
93 const Elf32_Shdr* section_header) { 93 const Elf32_Shdr* section_header) {
94 VLOG("section %s\n", section_name.c_str()); 94 VLOG(1) << "section " << section_name;
95 VLOG(" sh_addr = %u\n", section_header->sh_addr); 95 VLOG(1) << " sh_addr = " << section_header->sh_addr;
96 VLOG(" sh_offset = %u\n", section_header->sh_offset); 96 VLOG(1) << " sh_offset = " << section_header->sh_offset;
97 VLOG(" sh_size = %u\n", section_header->sh_size); 97 VLOG(1) << " sh_size = " << section_header->sh_size;
98 VLOG(" sh_addralign = %u\n", section_header->sh_addralign); 98 VLOG(1) << " sh_addralign = " << section_header->sh_addralign;
99 } 99 }
100 100
101 // Verbose ELF section data logging. 101 // Verbose ELF section data logging.
102 void VerboseLogSectionData(const Elf_Data* data) { 102 void VerboseLogSectionData(const Elf_Data* data) {
103 VLOG(" data\n"); 103 VLOG(1) << " data";
104 VLOG(" d_buf = %p\n", data->d_buf); 104 VLOG(1) << " d_buf = " << data->d_buf;
105 VLOG(" d_off = %lu\n", data->d_off); 105 VLOG(1) << " d_off = " << data->d_off;
106 VLOG(" d_size = %lu\n", data->d_size); 106 VLOG(1) << " d_size = " << data->d_size;
107 VLOG(" d_align = %lu\n", data->d_align); 107 VLOG(1) << " d_align = " << data->d_align;
108 } 108 }
109 109
110 } // namespace 110 } // namespace
111 111
112 // Load the complete ELF file into a memory image in libelf, and identify 112 // Load the complete ELF file into a memory image in libelf, and identify
113 // the .rel.dyn, .dynamic, and .android.rel.dyn sections. No-op if the 113 // the .rel.dyn, .dynamic, and .android.rel.dyn sections. No-op if the
114 // ELF file has already been loaded. 114 // ELF file has already been loaded.
115 bool ElfFile::Load() { 115 bool ElfFile::Load() {
116 if (elf_) 116 if (elf_)
117 return true; 117 return true;
118 118
119 elf_ = elf_begin(fd_, ELF_C_RDWR, NULL); 119 elf_ = elf_begin(fd_, ELF_C_RDWR, NULL);
120 CHECK(elf_); 120 CHECK(elf_);
121 121
122 if (elf_kind(elf_) != ELF_K_ELF) { 122 if (elf_kind(elf_) != ELF_K_ELF) {
123 LOG("ERROR: File not in ELF format\n"); 123 LOG(ERROR) << "File not in ELF format";
124 return false; 124 return false;
125 } 125 }
126 126
127 Elf32_Ehdr* elf_header = elf32_getehdr(elf_); 127 Elf32_Ehdr* elf_header = elf32_getehdr(elf_);
128 if (!elf_header) { 128 if (!elf_header) {
129 LOG("ERROR: Failed to load ELF header\n"); 129 LOG(ERROR) << "Failed to load ELF header";
130 return false; 130 return false;
131 } 131 }
132 if (elf_header->e_machine != EM_ARM) { 132 if (elf_header->e_machine != EM_ARM) {
133 LOG("ERROR: File is not an arm32 ELF file\n"); 133 LOG(ERROR) << "File is not an arm32 ELF file";
134 return false; 134 return false;
135 } 135 }
136 136
137 // Require that our endianness matches that of the target, and that both 137 // Require that our endianness matches that of the target, and that both
138 // are little-endian. Safe for all current build/target combinations. 138 // are little-endian. Safe for all current build/target combinations.
139 const int endian = static_cast<int>(elf_header->e_ident[5]); 139 const int endian = static_cast<int>(elf_header->e_ident[5]);
140 CHECK(endian == ELFDATA2LSB); 140 CHECK(endian == ELFDATA2LSB);
141 CHECK(__BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__); 141 CHECK(__BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__);
142 142
143 VLOG("endian = %u\n", endian); 143 VLOG(1) << "endian = " << endian;
144 VerboseLogElfHeader(elf_header); 144 VerboseLogElfHeader(elf_header);
145 145
146 const Elf32_Phdr* elf_program_header = elf32_getphdr(elf_); 146 const Elf32_Phdr* elf_program_header = elf32_getphdr(elf_);
147 CHECK(elf_program_header); 147 CHECK(elf_program_header);
148 148
149 const Elf32_Phdr* dynamic_program_header = NULL; 149 const Elf32_Phdr* dynamic_program_header = NULL;
150 for (size_t i = 0; i < elf_header->e_phnum; ++i) { 150 for (size_t i = 0; i < elf_header->e_phnum; ++i) {
151 const Elf32_Phdr* program_header = &elf_program_header[i]; 151 const Elf32_Phdr* program_header = &elf_program_header[i];
152 VerboseLogProgramHeader(i, program_header); 152 VerboseLogProgramHeader(i, program_header);
153 153
(...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after
201 201
202 Elf_Data* data = NULL; 202 Elf_Data* data = NULL;
203 while ((data = elf_getdata(section, data)) != NULL) { 203 while ((data = elf_getdata(section, data)) != NULL) {
204 CHECK(data->d_align <= kPreserveAlignment); 204 CHECK(data->d_align <= kPreserveAlignment);
205 VerboseLogSectionData(data); 205 VerboseLogSectionData(data);
206 } 206 }
207 } 207 }
208 208
209 // Loading failed if we did not find the required special sections. 209 // Loading failed if we did not find the required special sections.
210 if (!found_rel_dyn_section) { 210 if (!found_rel_dyn_section) {
211 LOG("ERROR: Missing .rel.dyn section\n"); 211 LOG(ERROR) << "Missing .rel.dyn section";
212 return false; 212 return false;
213 } 213 }
214 if (!found_dynamic_section) { 214 if (!found_dynamic_section) {
215 LOG("ERROR: Missing .dynamic section\n"); 215 LOG(ERROR) << "Missing .dynamic section";
216 return false; 216 return false;
217 } 217 }
218 if (!found_android_rel_dyn_section) { 218 if (!found_android_rel_dyn_section) {
219 LOG("ERROR: Missing .android.rel.dyn section " 219 LOG(ERROR) << "Missing .android.rel.dyn section "
220 "(to fix, run with --help and follow the pre-packing instructions)\n"); 220 << "(to fix, run with --help and follow the pre-packing "
221 << "instructions)";
221 return false; 222 return false;
222 } 223 }
223 224
224 if (has_debug_section) { 225 if (has_debug_section) {
225 LOG("WARNING: found .debug section(s), and ignored them\n"); 226 LOG(WARNING) << "Found .debug section(s), and ignored them";
226 } 227 }
227 228
228 rel_dyn_section_ = found_rel_dyn_section; 229 rel_dyn_section_ = found_rel_dyn_section;
229 dynamic_section_ = found_dynamic_section; 230 dynamic_section_ = found_dynamic_section;
230 android_rel_dyn_section_ = found_android_rel_dyn_section; 231 android_rel_dyn_section_ = found_android_rel_dyn_section;
231 return true; 232 return true;
232 } 233 }
233 234
234 namespace { 235 namespace {
235 236
236 // Helper for ResizeSection(). Adjust the main ELF header for the hole. 237 // Helper for ResizeSection(). Adjust the main ELF header for the hole.
237 void AdjustElfHeaderForHole(Elf32_Ehdr* elf_header, 238 void AdjustElfHeaderForHole(Elf32_Ehdr* elf_header,
238 Elf32_Off hole_start, 239 Elf32_Off hole_start,
239 int32_t hole_size) { 240 int32_t hole_size) {
240 if (elf_header->e_phoff > hole_start) { 241 if (elf_header->e_phoff > hole_start) {
241 elf_header->e_phoff += hole_size; 242 elf_header->e_phoff += hole_size;
242 VLOG("e_phoff adjusted to %u\n", elf_header->e_phoff); 243 VLOG(1) << "e_phoff adjusted to " << elf_header->e_phoff;
243 } 244 }
244 if (elf_header->e_shoff > hole_start) { 245 if (elf_header->e_shoff > hole_start) {
245 elf_header->e_shoff += hole_size; 246 elf_header->e_shoff += hole_size;
246 VLOG("e_shoff adjusted to %u\n", elf_header->e_shoff); 247 VLOG(1) << "e_shoff adjusted to " << elf_header->e_shoff;
247 } 248 }
248 } 249 }
249 250
250 // Helper for ResizeSection(). Adjust all program headers for the hole. 251 // Helper for ResizeSection(). Adjust all program headers for the hole.
251 void AdjustProgramHeadersForHole(Elf32_Phdr* elf_program_header, 252 void AdjustProgramHeadersForHole(Elf32_Phdr* elf_program_header,
252 size_t program_header_count, 253 size_t program_header_count,
253 Elf32_Off hole_start, 254 Elf32_Off hole_start,
254 int32_t hole_size) { 255 int32_t hole_size) {
255 for (size_t i = 0; i < program_header_count; ++i) { 256 for (size_t i = 0; i < program_header_count; ++i) {
256 Elf32_Phdr* program_header = &elf_program_header[i]; 257 Elf32_Phdr* program_header = &elf_program_header[i];
257 258
258 if (program_header->p_offset > hole_start) { 259 if (program_header->p_offset > hole_start) {
259 // The hole start is past this segment, so adjust offsets and addrs. 260 // The hole start is past this segment, so adjust offsets and addrs.
260 program_header->p_offset += hole_size; 261 program_header->p_offset += hole_size;
261 VLOG("phdr %lu p_offset adjusted to %u\n", i, program_header->p_offset); 262 VLOG(1) << "phdr " << i
263 << " p_offset adjusted to "<< program_header->p_offset;
262 264
263 // Only adjust vaddr and paddr if this program header has them. 265 // Only adjust vaddr and paddr if this program header has them.
264 if (program_header->p_vaddr != 0) { 266 if (program_header->p_vaddr != 0) {
265 program_header->p_vaddr += hole_size; 267 program_header->p_vaddr += hole_size;
266 VLOG("phdr %lu p_vaddr adjusted to %u\n", i, program_header->p_vaddr); 268 VLOG(1) << "phdr " << i
269 << " p_vaddr adjusted to " << program_header->p_vaddr;
267 } 270 }
268 if (program_header->p_paddr != 0) { 271 if (program_header->p_paddr != 0) {
269 program_header->p_paddr += hole_size; 272 program_header->p_paddr += hole_size;
270 VLOG("phdr %lu p_paddr adjusted to %u\n", i, program_header->p_paddr); 273 VLOG(1) << "phdr " << i
274 << " p_paddr adjusted to " << program_header->p_paddr;
271 } 275 }
272 } else if (program_header->p_offset + 276 } else if (program_header->p_offset +
273 program_header->p_filesz > hole_start) { 277 program_header->p_filesz > hole_start) {
274 // The hole start is within this segment, so adjust file and in-memory 278 // The hole start is within this segment, so adjust file and in-memory
275 // sizes, but leave offsets and addrs unchanged. 279 // sizes, but leave offsets and addrs unchanged.
276 program_header->p_filesz += hole_size; 280 program_header->p_filesz += hole_size;
277 VLOG("phdr %lu p_filesz adjusted to %u\n", i, program_header->p_filesz); 281 VLOG(1) << "phdr " << i
282 << " p_filesz adjusted to " << program_header->p_filesz;
278 program_header->p_memsz += hole_size; 283 program_header->p_memsz += hole_size;
279 VLOG("phdr %lu p_memsz adjusted to %u\n", i, program_header->p_memsz); 284 VLOG(1) << "phdr " << i
285 << " p_memsz adjusted to " << program_header->p_memsz;
280 } 286 }
281 } 287 }
282 } 288 }
283 289
284 // Helper for ResizeSection(). Adjust all section headers for the hole. 290 // Helper for ResizeSection(). Adjust all section headers for the hole.
285 void AdjustSectionHeadersForHole(Elf* elf, 291 void AdjustSectionHeadersForHole(Elf* elf,
286 Elf32_Off hole_start, 292 Elf32_Off hole_start,
287 int32_t hole_size) { 293 int32_t hole_size) {
288 size_t string_index; 294 size_t string_index;
289 elf_getshdrstrndx(elf, &string_index); 295 elf_getshdrstrndx(elf, &string_index);
290 296
291 Elf_Scn* section = NULL; 297 Elf_Scn* section = NULL;
292 while ((section = elf_nextscn(elf, section)) != NULL) { 298 while ((section = elf_nextscn(elf, section)) != NULL) {
293 Elf32_Shdr* section_header = elf32_getshdr(section); 299 Elf32_Shdr* section_header = elf32_getshdr(section);
294 std::string name = elf_strptr(elf, string_index, section_header->sh_name); 300 std::string name = elf_strptr(elf, string_index, section_header->sh_name);
295 301
296 if (section_header->sh_offset > hole_start) { 302 if (section_header->sh_offset > hole_start) {
297 section_header->sh_offset += hole_size; 303 section_header->sh_offset += hole_size;
298 VLOG("section %s sh_offset" 304 VLOG(1) << "section " << name
299 " adjusted to %u\n", name.c_str(), section_header->sh_offset); 305 << " sh_offset adjusted to " << section_header->sh_offset;
300 // Only adjust section addr if this section has one. 306 // Only adjust section addr if this section has one.
301 if (section_header->sh_addr != 0) { 307 if (section_header->sh_addr != 0) {
302 section_header->sh_addr += hole_size; 308 section_header->sh_addr += hole_size;
303 VLOG("section %s sh_addr" 309 VLOG(1) << "section " << name
304 " adjusted to %u\n", name.c_str(), section_header->sh_addr); 310 << " sh_addr adjusted to " << section_header->sh_addr;
305 } 311 }
306 } 312 }
307 } 313 }
308 } 314 }
309 315
310 // Helper for ResizeSection(). Adjust the .dynamic section for the hole. 316 // Helper for ResizeSection(). Adjust the .dynamic section for the hole.
311 void AdjustDynamicSectionForHole(Elf_Scn* dynamic_section, 317 void AdjustDynamicSectionForHole(Elf_Scn* dynamic_section,
312 bool is_rel_dyn_resize, 318 bool is_rel_dyn_resize,
313 Elf32_Off hole_start, 319 Elf32_Off hole_start,
314 int32_t hole_size) { 320 int32_t hole_size) {
(...skipping 15 matching lines...) Expand all
330 tag == DT_RELA || 336 tag == DT_RELA ||
331 tag == DT_INIT || 337 tag == DT_INIT ||
332 tag == DT_FINI || 338 tag == DT_FINI ||
333 tag == DT_REL || 339 tag == DT_REL ||
334 tag == DT_JMPREL || 340 tag == DT_JMPREL ||
335 tag == DT_INIT_ARRAY || 341 tag == DT_INIT_ARRAY ||
336 tag == DT_FINI_ARRAY || 342 tag == DT_FINI_ARRAY ||
337 tag == DT_ANDROID_ARM_REL_OFFSET); 343 tag == DT_ANDROID_ARM_REL_OFFSET);
338 if (is_adjustable && dynamic->d_un.d_ptr > hole_start) { 344 if (is_adjustable && dynamic->d_un.d_ptr > hole_start) {
339 dynamic->d_un.d_ptr += hole_size; 345 dynamic->d_un.d_ptr += hole_size;
340 VLOG("dynamic[%lu] %u" 346 VLOG(1) << "dynamic[" << i << "] " << dynamic->d_tag
341 " d_ptr adjusted to %u\n", i, dynamic->d_tag, dynamic->d_un.d_ptr); 347 << " d_ptr adjusted to " << dynamic->d_un.d_ptr;
342 } 348 }
343 349
344 // If we are specifically resizing .rel.dyn, we need to make some added 350 // If we are specifically resizing .rel.dyn, we need to make some added
345 // adjustments to tags that indicate the counts of R_ARM_RELATIVE 351 // adjustments to tags that indicate the counts of R_ARM_RELATIVE
346 // relocations in the shared object. 352 // relocations in the shared object.
347 if (is_rel_dyn_resize) { 353 if (is_rel_dyn_resize) {
348 // DT_RELSZ is the overall size of relocations. Adjust by hole size. 354 // DT_RELSZ is the overall size of relocations. Adjust by hole size.
349 if (tag == DT_RELSZ) { 355 if (tag == DT_RELSZ) {
350 dynamic->d_un.d_val += hole_size; 356 dynamic->d_un.d_val += hole_size;
351 VLOG("dynamic[%lu] %u" 357 VLOG(1) << "dynamic[" << i << "] " << dynamic->d_tag
352 " d_val adjusted to %u\n", i, dynamic->d_tag, dynamic->d_un.d_val); 358 << " d_val adjusted to " << dynamic->d_un.d_val;
353 } 359 }
354 360
355 // The crazy linker does not use DT_RELCOUNT, but we keep it updated 361 // DT_RELCOUNT is the count of relative relocations. Packing reduces it
356 // anyway. In practice the section hole is always equal to the size 362 // to the alignment padding, if any; unpacking restores it to its former
357 // of R_ARM_RELATIVE relocations, and DT_RELCOUNT is the count of 363 // value. The crazy linker does not use it, but we update it anyway.
358 // relative relocations. So closing a hole on packing reduces
359 // DT_RELCOUNT to zero, and opening a hole on unpacking restores it to
360 // its pre-packed value.
361 if (tag == DT_RELCOUNT) { 364 if (tag == DT_RELCOUNT) {
362 dynamic->d_un.d_val += hole_size / sizeof(Elf32_Rel); 365 // Cast sizeof to a signed type to avoid the division result being
363 VLOG("dynamic[%lu] %u" 366 // promoted into an unsigned size_t.
364 " d_val adjusted to %u\n", i, dynamic->d_tag, dynamic->d_un.d_val); 367 const ssize_t sizeof_rel = static_cast<ssize_t>(sizeof(Elf32_Rel));
368 dynamic->d_un.d_val += hole_size / sizeof_rel;
369 VLOG(1) << "dynamic[" << i << "] " << dynamic->d_tag
370 << " d_val adjusted to " << dynamic->d_un.d_val;
365 } 371 }
366 372
367 // DT_RELENT doesn't change, but make sure it is what we expect. 373 // DT_RELENT doesn't change, but make sure it is what we expect.
368 if (tag == DT_RELENT) { 374 if (tag == DT_RELENT) {
369 CHECK(dynamic->d_un.d_val == sizeof(Elf32_Rel)); 375 CHECK(dynamic->d_un.d_val == sizeof(Elf32_Rel));
370 } 376 }
371 } 377 }
372 } 378 }
373 379
374 void* section_data = &dynamics[0]; 380 void* section_data = &dynamics[0];
(...skipping 17 matching lines...) Expand all
392 Elf32_Sym* dynsym = &dynsyms[i]; 398 Elf32_Sym* dynsym = &dynsyms[i];
393 const int type = static_cast<int>(ELF32_ST_TYPE(dynsym->st_info)); 399 const int type = static_cast<int>(ELF32_ST_TYPE(dynsym->st_info));
394 const bool is_adjustable = (type == STT_OBJECT || 400 const bool is_adjustable = (type == STT_OBJECT ||
395 type == STT_FUNC || 401 type == STT_FUNC ||
396 type == STT_SECTION || 402 type == STT_SECTION ||
397 type == STT_FILE || 403 type == STT_FILE ||
398 type == STT_COMMON || 404 type == STT_COMMON ||
399 type == STT_TLS); 405 type == STT_TLS);
400 if (is_adjustable && dynsym->st_value > hole_start) { 406 if (is_adjustable && dynsym->st_value > hole_start) {
401 dynsym->st_value += hole_size; 407 dynsym->st_value += hole_size;
402 VLOG("dynsym[%lu] type=%u" 408 VLOG(1) << "dynsym[" << i << "] type=" << type
403 " st_value adjusted to %u\n", i, type, dynsym->st_value); 409 << " st_value adjusted to " << dynsym->st_value;
404 } 410 }
405 } 411 }
406 412
407 void* section_data = &dynsyms[0]; 413 void* section_data = &dynsyms[0];
408 size_t bytes = dynsyms.size() * sizeof(dynsyms[0]); 414 size_t bytes = dynsyms.size() * sizeof(dynsyms[0]);
409 RewriteSectionData(data, section_data, bytes); 415 RewriteSectionData(data, section_data, bytes);
410 } 416 }
411 417
412 // Helper for ResizeSection(). Adjust the .rel.plt section for the hole. 418 // Helper for ResizeSection(). Adjust the .rel.plt section for the hole.
413 // We need to adjust the offset of every relocation inside it that falls 419 // We need to adjust the offset of every relocation inside it that falls
414 // beyond the hole start. 420 // beyond the hole start.
415 void AdjustRelPltSectionForHole(Elf_Scn* relplt_section, 421 void AdjustRelPltSectionForHole(Elf_Scn* relplt_section,
416 Elf32_Off hole_start, 422 Elf32_Off hole_start,
417 int32_t hole_size) { 423 int32_t hole_size) {
418 Elf_Data* data = GetSectionData(relplt_section); 424 Elf_Data* data = GetSectionData(relplt_section);
419 425
420 const Elf32_Rel* relplt_base = reinterpret_cast<Elf32_Rel*>(data->d_buf); 426 const Elf32_Rel* relplt_base = reinterpret_cast<Elf32_Rel*>(data->d_buf);
421 std::vector<Elf32_Rel> relplts( 427 std::vector<Elf32_Rel> relplts(
422 relplt_base, 428 relplt_base,
423 relplt_base + data->d_size / sizeof(relplts[0])); 429 relplt_base + data->d_size / sizeof(relplts[0]));
424 430
425 for (size_t i = 0; i < relplts.size(); ++i) { 431 for (size_t i = 0; i < relplts.size(); ++i) {
426 Elf32_Rel* relplt = &relplts[i]; 432 Elf32_Rel* relplt = &relplts[i];
427 if (relplt->r_offset > hole_start) { 433 if (relplt->r_offset > hole_start) {
428 relplt->r_offset += hole_size; 434 relplt->r_offset += hole_size;
429 VLOG("relplt[%lu] r_offset adjusted to %u\n", i, relplt->r_offset); 435 VLOG(1) << "relplt[" << i
436 << "] r_offset adjusted to " << relplt->r_offset;
430 } 437 }
431 } 438 }
432 439
433 void* section_data = &relplts[0]; 440 void* section_data = &relplts[0];
434 size_t bytes = relplts.size() * sizeof(relplts[0]); 441 size_t bytes = relplts.size() * sizeof(relplts[0]);
435 RewriteSectionData(data, section_data, bytes); 442 RewriteSectionData(data, section_data, bytes);
436 } 443 }
437 444
438 // Helper for ResizeSection(). Adjust the .symtab section for the hole. 445 // Helper for ResizeSection(). Adjust the .symtab section for the hole.
439 // We want to adjust the value of every symbol in it that falls beyond 446 // We want to adjust the value of every symbol in it that falls beyond
440 // the hole start. 447 // the hole start.
441 void AdjustSymTabSectionForHole(Elf_Scn* symtab_section, 448 void AdjustSymTabSectionForHole(Elf_Scn* symtab_section,
442 Elf32_Off hole_start, 449 Elf32_Off hole_start,
443 int32_t hole_size) { 450 int32_t hole_size) {
444 Elf_Data* data = GetSectionData(symtab_section); 451 Elf_Data* data = GetSectionData(symtab_section);
445 452
446 const Elf32_Sym* symtab_base = reinterpret_cast<Elf32_Sym*>(data->d_buf); 453 const Elf32_Sym* symtab_base = reinterpret_cast<Elf32_Sym*>(data->d_buf);
447 std::vector<Elf32_Sym> symtab( 454 std::vector<Elf32_Sym> symtab(
448 symtab_base, 455 symtab_base,
449 symtab_base + data->d_size / sizeof(symtab[0])); 456 symtab_base + data->d_size / sizeof(symtab[0]));
450 457
451 for (size_t i = 0; i < symtab.size(); ++i) { 458 for (size_t i = 0; i < symtab.size(); ++i) {
452 Elf32_Sym* sym = &symtab[i]; 459 Elf32_Sym* sym = &symtab[i];
453 if (sym->st_value > hole_start) { 460 if (sym->st_value > hole_start) {
454 sym->st_value += hole_size; 461 sym->st_value += hole_size;
455 VLOG("symtab[%lu] value adjusted to %u\n", i, sym->st_value); 462 VLOG(1) << "symtab[" << i << "] value adjusted to " << sym->st_value;
456 } 463 }
457 } 464 }
458 465
459 void* section_data = &symtab[0]; 466 void* section_data = &symtab[0];
460 size_t bytes = symtab.size() * sizeof(symtab[0]); 467 size_t bytes = symtab.size() * sizeof(symtab[0]);
461 RewriteSectionData(data, section_data, bytes); 468 RewriteSectionData(data, section_data, bytes);
462 } 469 }
463 470
464 // Resize a section. If the new size is larger than the current size, open 471 // Resize a section. If the new size is larger than the current size, open
465 // up a hole by increasing file offsets that come after the hole. If smaller 472 // up a hole by increasing file offsets that come after the hole. If smaller
(...skipping 17 matching lines...) Expand all
483 Elf_Data* data = GetSectionData(section); 490 Elf_Data* data = GetSectionData(section);
484 CHECK(data->d_off == 0 && data->d_size == section_header->sh_size); 491 CHECK(data->d_off == 0 && data->d_size == section_header->sh_size);
485 492
486 // Require that the section is not zero-length (that is, has allocated 493 // Require that the section is not zero-length (that is, has allocated
487 // data that we can validly expand). 494 // data that we can validly expand).
488 CHECK(data->d_size && data->d_buf); 495 CHECK(data->d_size && data->d_buf);
489 496
490 const Elf32_Off hole_start = section_header->sh_offset; 497 const Elf32_Off hole_start = section_header->sh_offset;
491 const int32_t hole_size = new_size - data->d_size; 498 const int32_t hole_size = new_size - data->d_size;
492 499
493 VLOG_IF(hole_size > 0, "expand section size = %lu\n", data->d_size); 500 VLOG_IF(1, (hole_size > 0)) << "expand section size = " << data->d_size;
494 VLOG_IF(hole_size < 0, "shrink section size = %lu\n", data->d_size); 501 VLOG_IF(1, (hole_size < 0)) << "shrink section size = " << data->d_size;
495 502
496 // Resize the data and the section header. 503 // Resize the data and the section header.
497 data->d_size += hole_size; 504 data->d_size += hole_size;
498 section_header->sh_size += hole_size; 505 section_header->sh_size += hole_size;
499 506
500 Elf32_Ehdr* elf_header = elf32_getehdr(elf); 507 Elf32_Ehdr* elf_header = elf32_getehdr(elf);
501 Elf32_Phdr* elf_program_header = elf32_getphdr(elf); 508 Elf32_Phdr* elf_program_header = elf32_getphdr(elf);
502 509
503 // Add the hole size to all offsets in the ELF file that are after the 510 // Add the hole size to all offsets in the ELF file that are after the
504 // start of the hole. If the hole size is positive we are expanding the 511 // start of the hole. If the hole size is positive we are expanding the
(...skipping 83 matching lines...) Expand 10 before | Expand all | Expand 10 after
588 // Replace the first free (unused) slot in a dynamics vector with the given 595 // Replace the first free (unused) slot in a dynamics vector with the given
589 // value. The vector always ends with a free (unused) element, so the slot 596 // value. The vector always ends with a free (unused) element, so the slot
590 // found cannot be the last one in the vector. 597 // found cannot be the last one in the vector.
591 void AddDynamicEntry(Elf32_Dyn dyn, 598 void AddDynamicEntry(Elf32_Dyn dyn,
592 std::vector<Elf32_Dyn>* dynamics) { 599 std::vector<Elf32_Dyn>* dynamics) {
593 // Loop until the penultimate entry. We cannot replace the end sentinel. 600 // Loop until the penultimate entry. We cannot replace the end sentinel.
594 for (size_t i = 0; i < dynamics->size() - 1; ++i) { 601 for (size_t i = 0; i < dynamics->size() - 1; ++i) {
595 Elf32_Dyn &slot = dynamics->at(i); 602 Elf32_Dyn &slot = dynamics->at(i);
596 if (slot.d_tag == DT_NULL) { 603 if (slot.d_tag == DT_NULL) {
597 slot = dyn; 604 slot = dyn;
598 VLOG("dynamic[%lu] overwritten with %u\n", i, dyn.d_tag); 605 VLOG(1) << "dynamic[" << i << "] overwritten with " << dyn.d_tag;
599 return; 606 return;
600 } 607 }
601 } 608 }
602 609
603 // No free dynamics vector slot was found. 610 // No free dynamics vector slot was found.
604 LOG("FATAL: No spare dynamic vector slots found " 611 LOG(FATAL) << "No spare dynamic vector slots found "
605 "(to fix, increase gold's --spare-dynamic-tags value)\n"); 612 << "(to fix, increase gold's --spare-dynamic-tags value)";
606 NOTREACHED();
607 } 613 }
608 614
609 // Remove the element in the dynamics vector that matches the given tag with 615 // Remove the element in the dynamics vector that matches the given tag with
610 // unused slot data. Shuffle the following elements up, and ensure that the 616 // unused slot data. Shuffle the following elements up, and ensure that the
611 // last is the null sentinel. 617 // last is the null sentinel.
612 void RemoveDynamicEntry(Elf32_Sword tag, 618 void RemoveDynamicEntry(Elf32_Sword tag,
613 std::vector<Elf32_Dyn>* dynamics) { 619 std::vector<Elf32_Dyn>* dynamics) {
614 // Loop until the penultimate entry, and never match the end sentinel. 620 // Loop until the penultimate entry, and never match the end sentinel.
615 for (size_t i = 0; i < dynamics->size() - 1; ++i) { 621 for (size_t i = 0; i < dynamics->size() - 1; ++i) {
616 Elf32_Dyn &slot = dynamics->at(i); 622 Elf32_Dyn &slot = dynamics->at(i);
617 if (slot.d_tag == tag) { 623 if (slot.d_tag == tag) {
618 for ( ; i < dynamics->size() - 1; ++i) { 624 for ( ; i < dynamics->size() - 1; ++i) {
619 dynamics->at(i) = dynamics->at(i + 1); 625 dynamics->at(i) = dynamics->at(i + 1);
620 VLOG("dynamic[%lu] overwritten with dynamic[%lu]\n", i, i + 1); 626 VLOG(1) << "dynamic[" << i
627 << "] overwritten with dynamic[" << i + 1 << "]";
621 } 628 }
622 CHECK(dynamics->at(i).d_tag == DT_NULL); 629 CHECK(dynamics->at(i).d_tag == DT_NULL);
623 return; 630 return;
624 } 631 }
625 } 632 }
626 633
627 // No matching dynamics vector entry was found. 634 // No matching dynamics vector entry was found.
628 NOTREACHED(); 635 NOTREACHED();
629 } 636 }
630 637
(...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after
666 if (*target > hole_start) { 673 if (*target > hole_start) {
667 // Copy on first write. Recompute target to point into the newly 674 // Copy on first write. Recompute target to point into the newly
668 // allocated buffer. 675 // allocated buffer.
669 if (area == data->d_buf) { 676 if (area == data->d_buf) {
670 area = new uint8_t[data->d_size]; 677 area = new uint8_t[data->d_size];
671 memcpy(area, data->d_buf, data->d_size); 678 memcpy(area, data->d_buf, data->d_size);
672 target = reinterpret_cast<Elf32_Off*>(area + byte_offset); 679 target = reinterpret_cast<Elf32_Off*>(area + byte_offset);
673 } 680 }
674 681
675 *target += hole_size; 682 *target += hole_size;
676 VLOG("relocation[%lu] target adjusted to %u\n", i, *target); 683 VLOG(1) << "relocation[" << i << "] target adjusted to " << *target;
677 } 684 }
678 } 685 }
679 } 686 }
680 687
681 // If we applied any relocation to this section, write it back. 688 // If we applied any relocation to this section, write it back.
682 if (area != data->d_buf) { 689 if (area != data->d_buf) {
683 RewriteSectionData(data, area, data->d_size); 690 RewriteSectionData(data, area, data->d_size);
684 delete [] area; 691 delete [] area;
685 } 692 }
686 } 693 }
(...skipping 10 matching lines...) Expand all
697 // Adjust relocations so that the offset that they indicate will be correct 704 // Adjust relocations so that the offset that they indicate will be correct
698 // after the hole in .rel.dyn is added or removed (in effect, relocate the 705 // after the hole in .rel.dyn is added or removed (in effect, relocate the
699 // relocations). 706 // relocations).
700 void AdjustRelocations(Elf32_Off hole_start, 707 void AdjustRelocations(Elf32_Off hole_start,
701 size_t hole_size, 708 size_t hole_size,
702 std::vector<Elf32_Rel>* relocations) { 709 std::vector<Elf32_Rel>* relocations) {
703 for (size_t i = 0; i < relocations->size(); ++i) { 710 for (size_t i = 0; i < relocations->size(); ++i) {
704 Elf32_Rel* relocation = &relocations->at(i); 711 Elf32_Rel* relocation = &relocations->at(i);
705 if (relocation->r_offset > hole_start) { 712 if (relocation->r_offset > hole_start) {
706 relocation->r_offset += hole_size; 713 relocation->r_offset += hole_size;
707 VLOG("relocation[%lu] offset adjusted to %u\n", i, relocation->r_offset); 714 VLOG(1) << "relocation[" << i
715 << "] offset adjusted to " << relocation->r_offset;
708 } 716 }
709 } 717 }
710 } 718 }
711 719
712 } // namespace 720 } // namespace
713 721
714 // Remove R_ARM_RELATIVE entries from .rel.dyn and write as packed data 722 // Remove R_ARM_RELATIVE entries from .rel.dyn and write as packed data
715 // into .android.rel.dyn. 723 // into .android.rel.dyn.
716 bool ElfFile::PackRelocations() { 724 bool ElfFile::PackRelocations() {
717 // Load the ELF file into libelf. 725 // Load the ELF file into libelf.
718 if (!Load()) { 726 if (!Load()) {
719 LOG("ERROR: Failed to load as ELF (elf_error=%d)\n", elf_errno()); 727 LOG(ERROR) << "Failed to load as ELF (elf_error=" << elf_errno() << ")";
720 return false; 728 return false;
721 } 729 }
722 730
723 // Retrieve the current .rel.dyn section data. 731 // Retrieve the current .rel.dyn section data.
724 Elf_Data* data = GetSectionData(rel_dyn_section_); 732 Elf_Data* data = GetSectionData(rel_dyn_section_);
725 733
726 // Convert data to a vector of Elf32 relocations. 734 // Convert data to a vector of Elf32 relocations.
727 const Elf32_Rel* relocations_base = reinterpret_cast<Elf32_Rel*>(data->d_buf); 735 const Elf32_Rel* relocations_base = reinterpret_cast<Elf32_Rel*>(data->d_buf);
728 std::vector<Elf32_Rel> relocations( 736 std::vector<Elf32_Rel> relocations(
729 relocations_base, 737 relocations_base,
730 relocations_base + data->d_size / sizeof(relocations[0])); 738 relocations_base + data->d_size / sizeof(relocations[0]));
731 739
732 std::vector<Elf32_Rel> relative_relocations; 740 std::vector<Elf32_Rel> relative_relocations;
733 std::vector<Elf32_Rel> other_relocations; 741 std::vector<Elf32_Rel> other_relocations;
734 742
735 // Filter relocations into those that are R_ARM_RELATIVE and others. 743 // Filter relocations into those that are R_ARM_RELATIVE and others.
736 for (size_t i = 0; i < relocations.size(); ++i) { 744 for (size_t i = 0; i < relocations.size(); ++i) {
737 const Elf32_Rel& relocation = relocations[i]; 745 const Elf32_Rel& relocation = relocations[i];
738 if (ELF32_R_TYPE(relocation.r_info) == R_ARM_RELATIVE) { 746 if (ELF32_R_TYPE(relocation.r_info) == R_ARM_RELATIVE) {
739 CHECK(ELF32_R_SYM(relocation.r_info) == 0); 747 CHECK(ELF32_R_SYM(relocation.r_info) == 0);
740 relative_relocations.push_back(relocation); 748 relative_relocations.push_back(relocation);
741 } else { 749 } else {
742 other_relocations.push_back(relocation); 750 other_relocations.push_back(relocation);
743 } 751 }
744 } 752 }
745 LOG("R_ARM_RELATIVE: %lu entries\n", relative_relocations.size()); 753 LOG(INFO) << "R_ARM_RELATIVE: " << relative_relocations.size() << " entries";
746 LOG("Other : %lu entries\n", other_relocations.size()); 754 LOG(INFO) << "Other : " << other_relocations.size() << " entries";
747 LOG("Total : %lu entries\n", relocations.size()); 755 LOG(INFO) << "Total : " << relocations.size() << " entries";
748 756
749 // If no relative relocations then we have nothing packable. Perhaps 757 // If no relative relocations then we have nothing packable. Perhaps
750 // the shared object has already been packed? 758 // the shared object has already been packed?
751 if (relative_relocations.empty()) { 759 if (relative_relocations.empty()) {
752 LOG("ERROR: No R_ARM_RELATIVE relocations found (already packed?)\n"); 760 LOG(ERROR) << "No R_ARM_RELATIVE relocations found (already packed?)";
753 return false; 761 return false;
754 } 762 }
755 763
756 // Unless padding, pre-apply R_ARM_RELATIVE relocations to account for the 764 // Unless padding, pre-apply R_ARM_RELATIVE relocations to account for the
757 // hole, and pre-adjust all relocation offsets accordingly. 765 // hole, and pre-adjust all relocation offsets accordingly.
758 if (!is_padding_rel_dyn_) { 766 if (!is_padding_rel_dyn_) {
759 // Pre-calculate the size of the hole we will close up when we rewrite 767 // Pre-calculate the size of the hole we will close up when we rewrite
760 // .rel.dyn. We have to adjust relocation addresses to account for this. 768 // .rel.dyn. We have to adjust relocation addresses to account for this.
761 Elf32_Shdr* section_header = elf32_getshdr(rel_dyn_section_); 769 Elf32_Shdr* section_header = elf32_getshdr(rel_dyn_section_);
762 const Elf32_Off hole_start = section_header->sh_offset; 770 const Elf32_Off hole_start = section_header->sh_offset;
763 size_t hole_size = 771 size_t hole_size =
764 relative_relocations.size() * sizeof(relative_relocations[0]); 772 relative_relocations.size() * sizeof(relative_relocations[0]);
765 const size_t unaligned_hole_size = hole_size; 773 const size_t unaligned_hole_size = hole_size;
766 774
767 // Adjust the actual hole size to preserve alignment. 775 // Adjust the actual hole size to preserve alignment.
768 hole_size -= hole_size % kPreserveAlignment; 776 hole_size -= hole_size % kPreserveAlignment;
769 LOG("Compaction : %lu bytes\n", hole_size); 777 LOG(INFO) << "Compaction : " << hole_size << " bytes";
770 778
771 // Adjusting for alignment may have removed any packing benefit. 779 // Adjusting for alignment may have removed any packing benefit.
772 if (hole_size == 0) { 780 if (hole_size == 0) {
773 LOG("Too few R_ARM_RELATIVE relocations to pack after alignment\n"); 781 LOG(INFO) << "Too few R_ARM_RELATIVE relocations to pack after alignment";
774 return false; 782 return false;
775 } 783 }
776 784
777 // Add R_ARM_NONE relocations to other_relocations to preserve alignment. 785 // Add R_ARM_NONE relocations to other_relocations to preserve alignment.
778 const size_t padding_bytes = unaligned_hole_size - hole_size; 786 const size_t padding_bytes = unaligned_hole_size - hole_size;
779 CHECK(padding_bytes % sizeof(other_relocations[0]) == 0); 787 CHECK(padding_bytes % sizeof(other_relocations[0]) == 0);
780 const size_t required = padding_bytes / sizeof(other_relocations[0]); 788 const size_t required = padding_bytes / sizeof(other_relocations[0]);
781 PadRelocations(required, &other_relocations); 789 PadRelocations(required, &other_relocations);
782 LOG("Alignment pad : %lu relocations\n", required); 790 LOG(INFO) << "Alignment pad : " << required << " relocations";
783 791
784 // Apply relocations to all R_ARM_RELATIVE data to relocate it into the 792 // Apply relocations to all R_ARM_RELATIVE data to relocate it into the
785 // area it will occupy once the hole in .rel.dyn is removed. 793 // area it will occupy once the hole in .rel.dyn is removed.
786 AdjustRelocationTargets(elf_, hole_start, -hole_size, relative_relocations); 794 AdjustRelocationTargets(elf_, hole_start, -hole_size, relative_relocations);
787 // Relocate the relocations. 795 // Relocate the relocations.
788 AdjustRelocations(hole_start, -hole_size, &relative_relocations); 796 AdjustRelocations(hole_start, -hole_size, &relative_relocations);
789 AdjustRelocations(hole_start, -hole_size, &other_relocations); 797 AdjustRelocations(hole_start, -hole_size, &other_relocations);
790 } else { 798 } else {
791 // If padding, add R_ARM_NONE relocations to other_relocations to make it 799 // If padding, add R_ARM_NONE relocations to other_relocations to make it
792 // the same size as the the original relocations we read in. This makes 800 // the same size as the the original relocations we read in. This makes
793 // the ResizeSection() below a no-op. 801 // the ResizeSection() below a no-op.
794 const size_t required = relocations.size() - other_relocations.size(); 802 const size_t required = relocations.size() - other_relocations.size();
795 PadRelocations(required, &other_relocations); 803 PadRelocations(required, &other_relocations);
796 } 804 }
797 805
798 806
799 // Pack R_ARM_RELATIVE relocations. 807 // Pack R_ARM_RELATIVE relocations.
800 const size_t initial_bytes = 808 const size_t initial_bytes =
801 relative_relocations.size() * sizeof(relative_relocations[0]); 809 relative_relocations.size() * sizeof(relative_relocations[0]);
802 LOG("Unpacked R_ARM_RELATIVE: %lu bytes\n", initial_bytes); 810 LOG(INFO) << "Unpacked R_ARM_RELATIVE: " << initial_bytes << " bytes";
803 std::vector<uint8_t> packed; 811 std::vector<uint8_t> packed;
804 RelocationPacker packer; 812 RelocationPacker packer;
805 packer.PackRelativeRelocations(relative_relocations, &packed); 813 packer.PackRelativeRelocations(relative_relocations, &packed);
806 const void* packed_data = &packed[0]; 814 const void* packed_data = &packed[0];
807 const size_t packed_bytes = packed.size() * sizeof(packed[0]); 815 const size_t packed_bytes = packed.size() * sizeof(packed[0]);
808 LOG("Packed R_ARM_RELATIVE: %lu bytes\n", packed_bytes); 816 LOG(INFO) << "Packed R_ARM_RELATIVE: " << packed_bytes << " bytes";
809 817
810 // If we have insufficient R_ARM_RELATIVE relocations to form a run then 818 // If we have insufficient R_ARM_RELATIVE relocations to form a run then
811 // packing fails. 819 // packing fails.
812 if (packed.empty()) { 820 if (packed.empty()) {
813 LOG("Too few R_ARM_RELATIVE relocations to pack\n"); 821 LOG(INFO) << "Too few R_ARM_RELATIVE relocations to pack";
814 return false; 822 return false;
815 } 823 }
816 824
817 // Run a loopback self-test as a check that packing is lossless. 825 // Run a loopback self-test as a check that packing is lossless.
818 std::vector<Elf32_Rel> unpacked; 826 std::vector<Elf32_Rel> unpacked;
819 packer.UnpackRelativeRelocations(packed, &unpacked); 827 packer.UnpackRelativeRelocations(packed, &unpacked);
820 CHECK(unpacked.size() == relative_relocations.size()); 828 CHECK(unpacked.size() == relative_relocations.size());
821 for (size_t i = 0; i < unpacked.size(); ++i) { 829 for (size_t i = 0; i < unpacked.size(); ++i) {
822 CHECK(unpacked[i].r_offset == relative_relocations[i].r_offset); 830 CHECK(unpacked[i].r_offset == relative_relocations[i].r_offset);
823 CHECK(unpacked[i].r_info == relative_relocations[i].r_info); 831 CHECK(unpacked[i].r_info == relative_relocations[i].r_info);
824 } 832 }
825 833
826 // Make sure packing saved some space. 834 // Make sure packing saved some space.
827 if (packed_bytes >= initial_bytes) { 835 if (packed_bytes >= initial_bytes) {
828 LOG("Packing R_ARM_RELATIVE relocations saves no space\n"); 836 LOG(INFO) << "Packing R_ARM_RELATIVE relocations saves no space";
829 return false; 837 return false;
830 } 838 }
831 839
832 // Rewrite the current .rel.dyn section to be only the non-R_ARM_RELATIVE 840 // Rewrite the current .rel.dyn section to be only the non-R_ARM_RELATIVE
833 // relocations, then shrink it to size. 841 // relocations, then shrink it to size.
834 const void* section_data = &other_relocations[0]; 842 const void* section_data = &other_relocations[0];
835 const size_t bytes = other_relocations.size() * sizeof(other_relocations[0]); 843 const size_t bytes = other_relocations.size() * sizeof(other_relocations[0]);
836 ResizeSection(elf_, rel_dyn_section_, bytes); 844 ResizeSection(elf_, rel_dyn_section_, bytes);
837 RewriteSectionData(data, section_data, bytes); 845 RewriteSectionData(data, section_data, bytes);
838 846
(...skipping 23 matching lines...) Expand all
862 870
863 Flush(); 871 Flush();
864 return true; 872 return true;
865 } 873 }
866 874
867 // Find packed R_ARM_RELATIVE relocations in .android.rel.dyn, unpack them, 875 // Find packed R_ARM_RELATIVE relocations in .android.rel.dyn, unpack them,
868 // and rewrite the .rel.dyn section in so_file to contain unpacked data. 876 // and rewrite the .rel.dyn section in so_file to contain unpacked data.
869 bool ElfFile::UnpackRelocations() { 877 bool ElfFile::UnpackRelocations() {
870 // Load the ELF file into libelf. 878 // Load the ELF file into libelf.
871 if (!Load()) { 879 if (!Load()) {
872 LOG("ERROR: Failed to load as ELF (elf_error=%d)\n", elf_errno()); 880 LOG(ERROR) << "Failed to load as ELF (elf_error=" << elf_errno() << ")";
873 return false; 881 return false;
874 } 882 }
875 883
876 // Retrieve the current .android.rel.dyn section data. 884 // Retrieve the current .android.rel.dyn section data.
877 Elf_Data* data = GetSectionData(android_rel_dyn_section_); 885 Elf_Data* data = GetSectionData(android_rel_dyn_section_);
878 886
879 // Convert data to a vector of bytes. 887 // Convert data to a vector of bytes.
880 const uint8_t* packed_base = reinterpret_cast<uint8_t*>(data->d_buf); 888 const uint8_t* packed_base = reinterpret_cast<uint8_t*>(data->d_buf);
881 std::vector<uint8_t> packed( 889 std::vector<uint8_t> packed(
882 packed_base, 890 packed_base,
883 packed_base + data->d_size / sizeof(packed[0])); 891 packed_base + data->d_size / sizeof(packed[0]));
884 892
885 // Properly packed data must begin with "APR1". 893 // Properly packed data must begin with "APR1".
886 if (packed.empty() || 894 if (packed.empty() ||
887 packed[0] != 'A' || packed[1] != 'P' || 895 packed[0] != 'A' || packed[1] != 'P' ||
888 packed[2] != 'R' || packed[3] != '1') { 896 packed[2] != 'R' || packed[3] != '1') {
889 LOG("ERROR: Packed R_ARM_RELATIVE relocations not found (not packed?)\n"); 897 LOG(ERROR) << "Packed R_ARM_RELATIVE relocations not found (not packed?)";
890 return false; 898 return false;
891 } 899 }
892 900
893 // Unpack the data to re-materialize the R_ARM_RELATIVE relocations. 901 // Unpack the data to re-materialize the R_ARM_RELATIVE relocations.
894 const size_t packed_bytes = packed.size() * sizeof(packed[0]); 902 const size_t packed_bytes = packed.size() * sizeof(packed[0]);
895 LOG("Packed R_ARM_RELATIVE: %lu bytes\n", packed_bytes); 903 LOG(INFO) << "Packed R_ARM_RELATIVE: " << packed_bytes << " bytes";
896 std::vector<Elf32_Rel> relative_relocations; 904 std::vector<Elf32_Rel> relative_relocations;
897 RelocationPacker packer; 905 RelocationPacker packer;
898 packer.UnpackRelativeRelocations(packed, &relative_relocations); 906 packer.UnpackRelativeRelocations(packed, &relative_relocations);
899 const size_t unpacked_bytes = 907 const size_t unpacked_bytes =
900 relative_relocations.size() * sizeof(relative_relocations[0]); 908 relative_relocations.size() * sizeof(relative_relocations[0]);
901 LOG("Unpacked R_ARM_RELATIVE: %lu bytes\n", unpacked_bytes); 909 LOG(INFO) << "Unpacked R_ARM_RELATIVE: " << unpacked_bytes << " bytes";
902 910
903 // Retrieve the current .rel.dyn section data. 911 // Retrieve the current .rel.dyn section data.
904 data = GetSectionData(rel_dyn_section_); 912 data = GetSectionData(rel_dyn_section_);
905 913
906 // Interpret data as Elf32 relocations. 914 // Interpret data as Elf32 relocations.
907 const Elf32_Rel* relocations_base = reinterpret_cast<Elf32_Rel*>(data->d_buf); 915 const Elf32_Rel* relocations_base = reinterpret_cast<Elf32_Rel*>(data->d_buf);
908 std::vector<Elf32_Rel> relocations( 916 std::vector<Elf32_Rel> relocations(
909 relocations_base, 917 relocations_base,
910 relocations_base + data->d_size / sizeof(relocations[0])); 918 relocations_base + data->d_size / sizeof(relocations[0]));
911 919
912 std::vector<Elf32_Rel> other_relocations; 920 std::vector<Elf32_Rel> other_relocations;
913 size_t padding = 0; 921 size_t padding = 0;
914 922
915 // Filter relocations to locate any that are R_ARM_NONE. These will occur 923 // Filter relocations to locate any that are R_ARM_NONE. These will occur
916 // if padding was turned on for packing. 924 // if padding was turned on for packing.
917 for (size_t i = 0; i < relocations.size(); ++i) { 925 for (size_t i = 0; i < relocations.size(); ++i) {
918 const Elf32_Rel& relocation = relocations[i]; 926 const Elf32_Rel& relocation = relocations[i];
919 if (ELF32_R_TYPE(relocation.r_info) != R_ARM_NONE) { 927 if (ELF32_R_TYPE(relocation.r_info) != R_ARM_NONE) {
920 other_relocations.push_back(relocation); 928 other_relocations.push_back(relocation);
921 } else { 929 } else {
922 ++padding; 930 ++padding;
923 } 931 }
924 } 932 }
925 LOG("R_ARM_RELATIVE: %lu entries\n", relative_relocations.size()); 933 LOG(INFO) << "R_ARM_RELATIVE: " << relative_relocations.size() << " entries";
926 LOG("Other : %lu entries\n", other_relocations.size()); 934 LOG(INFO) << "Other : " << other_relocations.size() << " entries";
927 935
928 // If we found the same number of R_ARM_NONE entries in .rel.dyn as we 936 // If we found the same number of R_ARM_NONE entries in .rel.dyn as we
929 // hold as unpacked relative relocations, then this is a padded file. 937 // hold as unpacked relative relocations, then this is a padded file.
930 const bool is_padded = padding == relative_relocations.size(); 938 const bool is_padded = padding == relative_relocations.size();
931 939
932 // Unless padded, pre-apply R_ARM_RELATIVE relocations to account for the 940 // Unless padded, pre-apply R_ARM_RELATIVE relocations to account for the
933 // hole, and pre-adjust all relocation offsets accordingly. 941 // hole, and pre-adjust all relocation offsets accordingly.
934 if (!is_padded) { 942 if (!is_padded) {
935 // Pre-calculate the size of the hole we will open up when we rewrite 943 // Pre-calculate the size of the hole we will open up when we rewrite
936 // .rel.dyn. We have to adjust relocation addresses to account for this. 944 // .rel.dyn. We have to adjust relocation addresses to account for this.
937 Elf32_Shdr* section_header = elf32_getshdr(rel_dyn_section_); 945 Elf32_Shdr* section_header = elf32_getshdr(rel_dyn_section_);
938 const Elf32_Off hole_start = section_header->sh_offset; 946 const Elf32_Off hole_start = section_header->sh_offset;
939 size_t hole_size = 947 size_t hole_size =
940 relative_relocations.size() * sizeof(relative_relocations[0]); 948 relative_relocations.size() * sizeof(relative_relocations[0]);
941 949
942 // Adjust the hole size for the padding added to preserve alignment. 950 // Adjust the hole size for the padding added to preserve alignment.
943 hole_size -= padding * sizeof(other_relocations[0]); 951 hole_size -= padding * sizeof(other_relocations[0]);
944 LOG("Expansion : %lu bytes\n", hole_size); 952 LOG(INFO) << "Expansion : " << hole_size << " bytes";
945 953
946 // Apply relocations to all R_ARM_RELATIVE data to relocate it into the 954 // Apply relocations to all R_ARM_RELATIVE data to relocate it into the
947 // area it will occupy once the hole in .rel.dyn is opened. 955 // area it will occupy once the hole in .rel.dyn is opened.
948 AdjustRelocationTargets(elf_, hole_start, hole_size, relative_relocations); 956 AdjustRelocationTargets(elf_, hole_start, hole_size, relative_relocations);
949 // Relocate the relocations. 957 // Relocate the relocations.
950 AdjustRelocations(hole_start, hole_size, &relative_relocations); 958 AdjustRelocations(hole_start, hole_size, &relative_relocations);
951 AdjustRelocations(hole_start, hole_size, &other_relocations); 959 AdjustRelocations(hole_start, hole_size, &other_relocations);
952 } 960 }
953 961
954 // Rewrite the current .rel.dyn section to be the R_ARM_RELATIVE relocations 962 // Rewrite the current .rel.dyn section to be the R_ARM_RELATIVE relocations
955 // followed by other relocations. This is the usual order in which we find 963 // followed by other relocations. This is the usual order in which we find
956 // them after linking, so this action will normally put the entire .rel.dyn 964 // them after linking, so this action will normally put the entire .rel.dyn
957 // section back to its pre-split-and-packed state. 965 // section back to its pre-split-and-packed state.
958 relocations.assign(relative_relocations.begin(), relative_relocations.end()); 966 relocations.assign(relative_relocations.begin(), relative_relocations.end());
959 relocations.insert(relocations.end(), 967 relocations.insert(relocations.end(),
960 other_relocations.begin(), other_relocations.end()); 968 other_relocations.begin(), other_relocations.end());
961 const void* section_data = &relocations[0]; 969 const void* section_data = &relocations[0];
962 const size_t bytes = relocations.size() * sizeof(relocations[0]); 970 const size_t bytes = relocations.size() * sizeof(relocations[0]);
963 LOG("Total : %lu entries\n", relocations.size()); 971 LOG(INFO) << "Total : " << relocations.size() << " entries";
964 ResizeSection(elf_, rel_dyn_section_, bytes); 972 ResizeSection(elf_, rel_dyn_section_, bytes);
965 RewriteSectionData(data, section_data, bytes); 973 RewriteSectionData(data, section_data, bytes);
966 974
967 // Nearly empty the current .android.rel.dyn section. Leaves a four-byte 975 // Nearly empty the current .android.rel.dyn section. Leaves a four-byte
968 // stub so that some data remains allocated to the section. This is a 976 // stub so that some data remains allocated to the section. This is a
969 // convenience which allows us to re-pack this file again without 977 // convenience which allows us to re-pack this file again without
970 // having to remove the section and then add a new small one with objcopy. 978 // having to remove the section and then add a new small one with objcopy.
971 // The way we resize sections relies on there being some data in a section. 979 // The way we resize sections relies on there being some data in a section.
972 data = GetSectionData(android_rel_dyn_section_); 980 data = GetSectionData(android_rel_dyn_section_);
973 ResizeSection(elf_, android_rel_dyn_section_, sizeof(kStubIdentifier)); 981 ResizeSection(elf_, android_rel_dyn_section_, sizeof(kStubIdentifier));
(...skipping 18 matching lines...) Expand all
992 // Flush rewritten shared object file data. 1000 // Flush rewritten shared object file data.
993 void ElfFile::Flush() { 1001 void ElfFile::Flush() {
994 // Flag all ELF data held in memory as needing to be written back to the 1002 // Flag all ELF data held in memory as needing to be written back to the
995 // file, and tell libelf that we have controlled the file layout. 1003 // file, and tell libelf that we have controlled the file layout.
996 elf_flagelf(elf_, ELF_C_SET, ELF_F_DIRTY); 1004 elf_flagelf(elf_, ELF_C_SET, ELF_F_DIRTY);
997 elf_flagelf(elf_, ELF_C_SET, ELF_F_LAYOUT); 1005 elf_flagelf(elf_, ELF_C_SET, ELF_F_LAYOUT);
998 1006
999 // Write ELF data back to disk. 1007 // Write ELF data back to disk.
1000 const off_t file_bytes = elf_update(elf_, ELF_C_WRITE); 1008 const off_t file_bytes = elf_update(elf_, ELF_C_WRITE);
1001 CHECK(file_bytes > 0); 1009 CHECK(file_bytes > 0);
1002 VLOG("elf_update returned: %lu\n", file_bytes); 1010 VLOG(1) << "elf_update returned: " << file_bytes;
1003 1011
1004 // Clean up libelf, and truncate the output file to the number of bytes 1012 // Clean up libelf, and truncate the output file to the number of bytes
1005 // written by elf_update(). 1013 // written by elf_update().
1006 elf_end(elf_); 1014 elf_end(elf_);
1007 elf_ = NULL; 1015 elf_ = NULL;
1008 const int truncate = ftruncate(fd_, file_bytes); 1016 const int truncate = ftruncate(fd_, file_bytes);
1009 CHECK(truncate == 0); 1017 CHECK(truncate == 0);
1010 } 1018 }
1011 1019
1012 } // namespace relocation_packer 1020 } // namespace relocation_packer
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698