blob: 18aad9a9517ce3c628af82070227a15a54c09525 [file] [log] [blame]
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +00001//===- COFFObjectFile.cpp - COFF object file implementation -----*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file declares the COFFObjectFile class.
11//
12//===----------------------------------------------------------------------===//
13
Michael J. Spencer001c9202011-06-25 17:54:50 +000014#include "llvm/Object/COFF.h"
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +000015#include "llvm/ADT/StringSwitch.h"
16#include "llvm/ADT/Triple.h"
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +000017
18using namespace llvm;
19using namespace object;
20
21namespace {
22using support::ulittle8_t;
23using support::ulittle16_t;
24using support::ulittle32_t;
25using support::little16_t;
26}
27
Michael J. Spencer25b15772011-06-25 17:55:23 +000028namespace {
29// Returns false if size is greater than the buffer size. And sets ec.
30bool checkSize(const MemoryBuffer *m, error_code &ec, uint64_t size) {
31 if (m->getBufferSize() < size) {
32 ec = object_error::unexpected_eof;
33 return false;
34 }
35 return true;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +000036}
37
Michael J. Spencer25b15772011-06-25 17:55:23 +000038// Returns false if any bytes in [addr, addr + size) fall outsize of m.
39bool checkAddr(const MemoryBuffer *m,
40 error_code &ec,
41 uintptr_t addr,
42 uint64_t size) {
43 if (addr + size < addr ||
44 addr + size < size ||
45 addr + size > uintptr_t(m->getBufferEnd())) {
46 ec = object_error::unexpected_eof;
47 return false;
48 }
49 return true;
50}
51}
52
53const coff_symbol *COFFObjectFile::toSymb(DataRefImpl Symb) const {
54 const coff_symbol *addr = reinterpret_cast<const coff_symbol*>(Symb.p);
55
56# ifndef NDEBUG
57 // Verify that the symbol points to a valid entry in the symbol table.
58 uintptr_t offset = uintptr_t(addr) - uintptr_t(base());
59 if (offset < Header->PointerToSymbolTable
60 || offset >= Header->PointerToSymbolTable
61 + (Header->NumberOfSymbols * sizeof(coff_symbol)))
62 report_fatal_error("Symbol was outside of symbol table.");
63
64 assert((offset - Header->PointerToSymbolTable) % sizeof(coff_symbol)
65 == 0 && "Symbol did not point to the beginning of a symbol");
66# endif
67
68 return addr;
69}
70
71const coff_section *COFFObjectFile::toSec(DataRefImpl Sec) const {
72 const coff_section *addr = reinterpret_cast<const coff_section*>(Sec.p);
73
74# ifndef NDEBUG
75 // Verify that the section points to a valid entry in the section table.
76 if (addr < SectionTable
77 || addr >= (SectionTable + Header->NumberOfSections))
78 report_fatal_error("Section was outside of section table.");
79
80 uintptr_t offset = uintptr_t(addr) - uintptr_t(SectionTable);
81 assert(offset % sizeof(coff_section) == 0 &&
82 "Section did not point to the beginning of a section");
83# endif
84
85 return addr;
86}
87
88error_code COFFObjectFile::getSymbolNext(DataRefImpl Symb,
89 SymbolRef &Result) const {
90 const coff_symbol *symb = toSymb(Symb);
91 symb += 1 + symb->NumberOfAuxSymbols;
92 Symb.p = reinterpret_cast<uintptr_t>(symb);
93 Result = SymbolRef(Symb, this);
94 return object_error::success;
95}
96
97 error_code COFFObjectFile::getSymbolName(DataRefImpl Symb,
98 StringRef &Result) const {
99 const coff_symbol *symb = toSymb(Symb);
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000100 // Check for string table entry. First 4 bytes are 0.
101 if (symb->Name.Offset.Zeroes == 0) {
102 uint32_t Offset = symb->Name.Offset.Offset;
Michael J. Spencer25b15772011-06-25 17:55:23 +0000103 if (error_code ec = getString(Offset, Result))
104 return ec;
105 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000106 }
107
108 if (symb->Name.ShortName[7] == 0)
109 // Null terminated, let ::strlen figure out the length.
Michael J. Spencer25b15772011-06-25 17:55:23 +0000110 Result = StringRef(symb->Name.ShortName);
111 else
112 // Not null terminated, use all 8 bytes.
113 Result = StringRef(symb->Name.ShortName, 8);
114 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000115}
116
Michael J. Spencer25b15772011-06-25 17:55:23 +0000117error_code COFFObjectFile::getSymbolAddress(DataRefImpl Symb,
118 uint64_t &Result) const {
119 const coff_symbol *symb = toSymb(Symb);
120 const coff_section *Section;
121 if (error_code ec = getSection(symb->SectionNumber, Section))
122 return ec;
123 char Type;
124 if (error_code ec = getSymbolNMTypeChar(Symb, Type))
125 return ec;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000126 if (Type == 'U' || Type == 'w')
Michael J. Spencer25b15772011-06-25 17:55:23 +0000127 Result = UnknownAddressOrSize;
128 else if (Section)
129 Result = Section->VirtualAddress + symb->Value;
130 else
131 Result = symb->Value;
132 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000133}
134
Michael J. Spencer25b15772011-06-25 17:55:23 +0000135error_code COFFObjectFile::getSymbolSize(DataRefImpl Symb,
136 uint64_t &Result) const {
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000137 // FIXME: Return the correct size. This requires looking at all the symbols
138 // in the same section as this symbol, and looking for either the next
139 // symbol, or the end of the section.
Michael J. Spencer25b15772011-06-25 17:55:23 +0000140 const coff_symbol *symb = toSymb(Symb);
141 const coff_section *Section;
142 if (error_code ec = getSection(symb->SectionNumber, Section))
143 return ec;
144 char Type;
145 if (error_code ec = getSymbolNMTypeChar(Symb, Type))
146 return ec;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000147 if (Type == 'U' || Type == 'w')
Michael J. Spencer25b15772011-06-25 17:55:23 +0000148 Result = UnknownAddressOrSize;
149 else if (Section)
150 Result = Section->SizeOfRawData - symb->Value;
151 else
152 Result = 0;
153 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000154}
155
Michael J. Spencer25b15772011-06-25 17:55:23 +0000156error_code COFFObjectFile::getSymbolNMTypeChar(DataRefImpl Symb,
157 char &Result) const {
158 const coff_symbol *symb = toSymb(Symb);
159 StringRef name;
160 if (error_code ec = getSymbolName(Symb, name))
161 return ec;
162 char ret = StringSwitch<char>(name)
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000163 .StartsWith(".debug", 'N')
164 .StartsWith(".sxdata", 'N')
165 .Default('?');
166
Michael J. Spencer25b15772011-06-25 17:55:23 +0000167 if (ret != '?') {
168 Result = ret;
169 return object_error::success;
170 }
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000171
172 uint32_t Characteristics = 0;
Michael J. Spencer25b15772011-06-25 17:55:23 +0000173 if (symb->SectionNumber > 0) {
174 const coff_section *Section;
175 if (error_code ec = getSection(symb->SectionNumber, Section))
176 return ec;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000177 Characteristics = Section->Characteristics;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000178 }
179
180 switch (symb->SectionNumber) {
181 case COFF::IMAGE_SYM_UNDEFINED:
182 // Check storage classes.
Michael J. Spencer25b15772011-06-25 17:55:23 +0000183 if (symb->StorageClass == COFF::IMAGE_SYM_CLASS_WEAK_EXTERNAL) {
184 Result = 'w';
185 return object_error::success; // Don't do ::toupper.
186 } else
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000187 ret = 'u';
188 break;
189 case COFF::IMAGE_SYM_ABSOLUTE:
190 ret = 'a';
191 break;
192 case COFF::IMAGE_SYM_DEBUG:
193 ret = 'n';
194 break;
195 default:
196 // Check section type.
197 if (Characteristics & COFF::IMAGE_SCN_CNT_CODE)
198 ret = 't';
199 else if ( Characteristics & COFF::IMAGE_SCN_MEM_READ
200 && ~Characteristics & COFF::IMAGE_SCN_MEM_WRITE) // Read only.
201 ret = 'r';
202 else if (Characteristics & COFF::IMAGE_SCN_CNT_INITIALIZED_DATA)
203 ret = 'd';
204 else if (Characteristics & COFF::IMAGE_SCN_CNT_UNINITIALIZED_DATA)
205 ret = 'b';
206 else if (Characteristics & COFF::IMAGE_SCN_LNK_INFO)
207 ret = 'i';
208
209 // Check for section symbol.
210 else if ( symb->StorageClass == COFF::IMAGE_SYM_CLASS_STATIC
211 && symb->Value == 0)
212 ret = 's';
213 }
214
215 if (symb->StorageClass == COFF::IMAGE_SYM_CLASS_EXTERNAL)
216 ret = ::toupper(ret);
217
Michael J. Spencer25b15772011-06-25 17:55:23 +0000218 Result = ret;
219 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000220}
221
Michael J. Spencer25b15772011-06-25 17:55:23 +0000222error_code COFFObjectFile::isSymbolInternal(DataRefImpl Symb,
223 bool &Result) const {
224 Result = false;
225 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000226}
227
Michael J. Spencer25b15772011-06-25 17:55:23 +0000228error_code COFFObjectFile::getSectionNext(DataRefImpl Sec,
229 SectionRef &Result) const {
230 const coff_section *sec = toSec(Sec);
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000231 sec += 1;
Michael J. Spencer25b15772011-06-25 17:55:23 +0000232 Sec.p = reinterpret_cast<uintptr_t>(sec);
233 Result = SectionRef(Sec, this);
234 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000235}
236
Michael J. Spencer25b15772011-06-25 17:55:23 +0000237error_code COFFObjectFile::getSectionName(DataRefImpl Sec,
238 StringRef &Result) const {
239 const coff_section *sec = toSec(Sec);
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000240 StringRef name;
241 if (sec->Name[7] == 0)
242 // Null terminated, let ::strlen figure out the length.
243 name = sec->Name;
244 else
245 // Not null terminated, use all 8 bytes.
246 name = StringRef(sec->Name, 8);
247
248 // Check for string table entry. First byte is '/'.
249 if (name[0] == '/') {
250 uint32_t Offset;
Eric Christopher539d8d82011-04-03 22:53:19 +0000251 name.substr(1).getAsInteger(10, Offset);
Michael J. Spencer25b15772011-06-25 17:55:23 +0000252 if (error_code ec = getString(Offset, name))
253 return ec;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000254 }
255
Michael J. Spencer25b15772011-06-25 17:55:23 +0000256 Result = name;
257 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000258}
259
Michael J. Spencer25b15772011-06-25 17:55:23 +0000260error_code COFFObjectFile::getSectionAddress(DataRefImpl Sec,
261 uint64_t &Result) const {
262 const coff_section *sec = toSec(Sec);
263 Result = sec->VirtualAddress;
264 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000265}
266
Michael J. Spencer25b15772011-06-25 17:55:23 +0000267error_code COFFObjectFile::getSectionSize(DataRefImpl Sec,
268 uint64_t &Result) const {
269 const coff_section *sec = toSec(Sec);
270 Result = sec->SizeOfRawData;
271 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000272}
273
Michael J. Spencer25b15772011-06-25 17:55:23 +0000274error_code COFFObjectFile::getSectionContents(DataRefImpl Sec,
275 StringRef &Result) const {
276 const coff_section *sec = toSec(Sec);
277 // The only thing that we need to verify is that the contents is contained
278 // within the file bounds. We don't need to make sure it doesn't cover other
279 // data, as there's nothing that says that is not allowed.
280 uintptr_t con_start = uintptr_t(base()) + sec->PointerToRawData;
281 uintptr_t con_end = con_start + sec->SizeOfRawData;
282 if (con_end >= uintptr_t(Data->getBufferEnd()))
283 return object_error::parse_failed;
284 Result = StringRef(reinterpret_cast<const char*>(con_start),
285 sec->SizeOfRawData);
286 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000287}
288
Michael J. Spencer25b15772011-06-25 17:55:23 +0000289error_code COFFObjectFile::isSectionText(DataRefImpl Sec,
290 bool &Result) const {
291 const coff_section *sec = toSec(Sec);
292 Result = sec->Characteristics & COFF::IMAGE_SCN_CNT_CODE;
293 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000294}
295
Michael J. Spencer001c9202011-06-25 17:54:50 +0000296COFFObjectFile::COFFObjectFile(MemoryBuffer *Object, error_code &ec)
297 : ObjectFile(Binary::isCOFF, Object, ec) {
Michael J. Spencer25b15772011-06-25 17:55:23 +0000298 // Check that we at least have enough room for a header.
299 if (!checkSize(Data, ec, sizeof(coff_file_header))) return;
Eric Christopher539d8d82011-04-03 22:53:19 +0000300
Michael J. Spencer25b15772011-06-25 17:55:23 +0000301 // The actual starting location of the COFF header in the file. This can be
302 // non-zero in PE/COFF files.
303 uint64_t HeaderStart = 0;
Eric Christopher539d8d82011-04-03 22:53:19 +0000304
Michael J. Spencer25b15772011-06-25 17:55:23 +0000305 // Check if this is a PE/COFF file.
Michael J. Spencer001c9202011-06-25 17:54:50 +0000306 if (base()[0] == 0x4d && base()[1] == 0x5a) {
Eric Christopher539d8d82011-04-03 22:53:19 +0000307 // PE/COFF, seek through MS-DOS compatibility stub and 4-byte
308 // PE signature to find 'normal' COFF header.
Michael J. Spencer25b15772011-06-25 17:55:23 +0000309 if (!checkSize(Data, ec, 0x3c + 8)) return;
310 HeaderStart += *reinterpret_cast<const ulittle32_t *>(base() + 0x3c);
311 // Check the PE header. ("PE\0\0")
312 if (StringRef(reinterpret_cast<const char *>(base() + HeaderStart), 4)
313 != "PE\0\0") {
314 ec = object_error::parse_failed;
315 return;
316 }
317 HeaderStart += 4; // Skip the PE Header.
Eric Christopher539d8d82011-04-03 22:53:19 +0000318 }
319
Michael J. Spencer25b15772011-06-25 17:55:23 +0000320 Header = reinterpret_cast<const coff_file_header *>(base() + HeaderStart);
321 if (!checkAddr(Data, ec, uintptr_t(Header), sizeof(coff_file_header)))
322 return;
323
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000324 SectionTable =
Michael J. Spencer001c9202011-06-25 17:54:50 +0000325 reinterpret_cast<const coff_section *>( base()
Michael J. Spencer25b15772011-06-25 17:55:23 +0000326 + HeaderStart
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000327 + sizeof(coff_file_header)
328 + Header->SizeOfOptionalHeader);
Michael J. Spencer25b15772011-06-25 17:55:23 +0000329 if (!checkAddr(Data, ec, uintptr_t(SectionTable),
330 Header->NumberOfSections * sizeof(coff_section)))
331 return;
332
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000333 SymbolTable =
Michael J. Spencer001c9202011-06-25 17:54:50 +0000334 reinterpret_cast<const coff_symbol *>(base()
Michael J. Spencer25b15772011-06-25 17:55:23 +0000335 + Header->PointerToSymbolTable);
336 if (!checkAddr(Data, ec, uintptr_t(SymbolTable),
337 Header->NumberOfSymbols * sizeof(coff_symbol)))
338 return;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000339
340 // Find string table.
Michael J. Spencer001c9202011-06-25 17:54:50 +0000341 StringTable = reinterpret_cast<const char *>(base())
Michael J. Spencer25b15772011-06-25 17:55:23 +0000342 + Header->PointerToSymbolTable
343 + Header->NumberOfSymbols * sizeof(coff_symbol);
344 if (!checkAddr(Data, ec, uintptr_t(StringTable), sizeof(ulittle32_t)))
345 return;
346
347 StringTableSize = *reinterpret_cast<const ulittle32_t *>(StringTable);
348 if (!checkAddr(Data, ec, uintptr_t(StringTable), StringTableSize))
349 return;
350 // Check that the string table is null terminated if has any in it.
351 if (StringTableSize < 4
352 || (StringTableSize > 4 && StringTable[StringTableSize - 1] != 0)) {
353 ec = object_error::parse_failed;
354 return;
355 }
356
357 ec = object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000358}
359
360ObjectFile::symbol_iterator COFFObjectFile::begin_symbols() const {
Michael J. Spencer7acdb4d2011-01-21 02:27:02 +0000361 DataRefImpl ret;
Michael J. Spencer25b15772011-06-25 17:55:23 +0000362 std::memset(&ret, 0, sizeof(DataRefImpl));
Michael J. Spencer7acdb4d2011-01-21 02:27:02 +0000363 ret.p = reinterpret_cast<intptr_t>(SymbolTable);
364 return symbol_iterator(SymbolRef(ret, this));
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000365}
366
367ObjectFile::symbol_iterator COFFObjectFile::end_symbols() const {
368 // The symbol table ends where the string table begins.
Michael J. Spencer7acdb4d2011-01-21 02:27:02 +0000369 DataRefImpl ret;
Michael J. Spencer25b15772011-06-25 17:55:23 +0000370 std::memset(&ret, 0, sizeof(DataRefImpl));
Michael J. Spencer7acdb4d2011-01-21 02:27:02 +0000371 ret.p = reinterpret_cast<intptr_t>(StringTable);
372 return symbol_iterator(SymbolRef(ret, this));
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000373}
374
375ObjectFile::section_iterator COFFObjectFile::begin_sections() const {
Michael J. Spencer7acdb4d2011-01-21 02:27:02 +0000376 DataRefImpl ret;
Michael J. Spencer25b15772011-06-25 17:55:23 +0000377 std::memset(&ret, 0, sizeof(DataRefImpl));
Michael J. Spencer7acdb4d2011-01-21 02:27:02 +0000378 ret.p = reinterpret_cast<intptr_t>(SectionTable);
379 return section_iterator(SectionRef(ret, this));
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000380}
381
382ObjectFile::section_iterator COFFObjectFile::end_sections() const {
Michael J. Spencer7acdb4d2011-01-21 02:27:02 +0000383 DataRefImpl ret;
Michael J. Spencer25b15772011-06-25 17:55:23 +0000384 std::memset(&ret, 0, sizeof(DataRefImpl));
Michael J. Spencer7acdb4d2011-01-21 02:27:02 +0000385 ret.p = reinterpret_cast<intptr_t>(SectionTable + Header->NumberOfSections);
386 return section_iterator(SectionRef(ret, this));
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000387}
388
389uint8_t COFFObjectFile::getBytesInAddress() const {
Michael J. Spencer7acdb4d2011-01-21 02:27:02 +0000390 return getArch() == Triple::x86_64 ? 8 : 4;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000391}
392
393StringRef COFFObjectFile::getFileFormatName() const {
394 switch(Header->Machine) {
395 case COFF::IMAGE_FILE_MACHINE_I386:
396 return "COFF-i386";
397 case COFF::IMAGE_FILE_MACHINE_AMD64:
398 return "COFF-x86-64";
399 default:
400 return "COFF-<unknown arch>";
401 }
402}
403
404unsigned COFFObjectFile::getArch() const {
405 switch(Header->Machine) {
406 case COFF::IMAGE_FILE_MACHINE_I386:
407 return Triple::x86;
408 case COFF::IMAGE_FILE_MACHINE_AMD64:
409 return Triple::x86_64;
410 default:
411 return Triple::UnknownArch;
412 }
413}
414
Michael J. Spencer25b15772011-06-25 17:55:23 +0000415error_code COFFObjectFile::getSection(int32_t index,
416 const coff_section *&Result) const {
417 // Check for special index values.
418 if (index == COFF::IMAGE_SYM_UNDEFINED ||
419 index == COFF::IMAGE_SYM_ABSOLUTE ||
420 index == COFF::IMAGE_SYM_DEBUG)
421 Result = NULL;
422 else if (index > 0 && index <= Header->NumberOfSections)
423 // We already verified the section table data, so no need to check again.
424 Result = SectionTable + (index - 1);
425 else
426 return object_error::parse_failed;
427 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000428}
429
Michael J. Spencer25b15772011-06-25 17:55:23 +0000430error_code COFFObjectFile::getString(uint32_t offset,
431 StringRef &Result) const {
432 if (StringTableSize <= 4)
433 // Tried to get a string from an empty string table.
434 return object_error::parse_failed;
435 if (offset >= StringTableSize)
436 return object_error::unexpected_eof;
437 Result = StringRef(StringTable + offset);
438 return object_error::success;
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000439}
440
441namespace llvm {
442
443 ObjectFile *ObjectFile::createCOFFObjectFile(MemoryBuffer *Object) {
Michael J. Spencer001c9202011-06-25 17:54:50 +0000444 error_code ec;
445 return new COFFObjectFile(Object, ec);
Michael J. Spencera1ef8ef2011-01-20 06:38:34 +0000446 }
447
448} // end namespace llvm