[llvm-objdump] Add dynamic section printing to private-headers option

[paulsemel]

Sorry, forgot to add the test. I will do it after lunch !

[paulsemel]

Added a test

[jhenderson]

I noticed that llvm-readobj already implements a lot of stuff that would be helpful for this - specifically, it already prevents a mechanism for getting the dynamic tags. I don't think it makes sense to reinvent the wheel, so maybe you should consider finding a way to share that code between the two. It would probably need to be in the llvmObject library.

test/tools/llvm-objdump/private-headers-dynamic-section.test

1 ↗

(On Diff #154393)

As with other tests, I'd rather not use a pre-canned binary here, especially one that isn't directly associated with this test. Please use yaml2obj.

4 ↗

(On Diff #154393)

Assuming yaml2obj is able to do this, I'd just have one of each tag we need to print (perhaps 2 for NEEDED, so that we show our string table look ups work properly). If it isn't, I'd look at extending yaml2obj in preference to messing about trying to get a binary with everything.

We also need to have one of each tag we support printing of, plus one tag that isn't interpreted at this point. In particular, we need both DT_REL and DT_RELA-style tags printing, but there are plenty of other untested tags too. I don't know if yaml2obj will allow all of these in a single file, so you might need multiple test cases.

tools/llvm-objdump/ELFDump.cpp

28

What happens if you have a malformed segment with no DT_NULL tag?

You should probably use the program header's p_filesz field as an additional check to avoid overrunning the end of the array. If we hit p_filesz and not DT_NULL, we should probably warn. Assuming you can get yaml2obj to create such a section, I'd also expect a test case for that.

33

I'd be a little bit more specific and say "DT_STRTAB entry..."

41

See my earlier comment about DT_NULL not being present.

42–43

I'm not sure we should do this upfront. I think it should be on an as-needed basis. I also think that there's something in the llvm support library that turns an integer into a hex string - see utohexstr etc.

44

You can leave this unitialised, or better yet use a StringRef.

143

DT_LOOS shouldn't be printed like this. It's a boundary marker, so would actually be some platform specific value (e.g. DT_GNU_MY_MAGIC_TAG).

Similar comments go for DT_HIGHOS, DT_LOPROC, and DT_HIGHPROC, although I see you haven't got them in the list.

145

What made you pick just this set of platform specific values?

I'd actually suggest that you should have printing for all dynamic tags listed in llvm/BinaryFormat/DynamicTags.def.

167

Why 18? (Please add a comment).

172

What about if there's an error? You should not just ignore it...

180

I don't like the fact that this "print" function has side effects of looking up the dynamic segment. I'd rather have an extra loop in printDynamicSection do the lookup (which should be simple, because we only care about one kind of segment).

I'm also not sure that printProgramHeaders should also print the contents of the dynamic segment. I think that feels like a separate operation (i.e. I could imagine a case where you want to just print the dynamic segment, but without the rest of the program headers). I think that implies that the two should be separate unrelated functions, perhaps with a single third function printPrivateHeaders or similar that prints both.

225

This is not a reliable way of looking up the base address of an ELF, because PT_PHDR is optional. I'm actually not really sure what the best way is (you could use the PT_LOAD segments as well), but fortune has it that it's unnecessary, since the dynamic segment itself has an address: you can use that to calculate the relative offset between the segment start and the dynamic string table, and use that relative offset to find the string table section. I think the following calculation would work, though you should probably check it:

StrtabOffset = DynamicSegment->p_offset - (DynamicSegment->p_vaddr -
                  StrtabTag->d_un.d_val)

[paulsemel]

Added Jame's suggestions. Refactor code.

test/tools/llvm-objdump/private-headers-dynamic-section.test

1 ↗

(On Diff #154393)

Ok.. I gave it a try. The problem is not about building the dynamic section (though it might lead to confusing tests), but more about all the needed parts we need to have to get a relevant test (Program headers, string tables etc..)
What do you think ?

tools/llvm-objdump/ELFDump.cpp

28

Ok.. I finally added a helper function in libObject, I think it is the right way to do it.
Moreover, DT_NULL is needed by the ELF specification (it must end the Dynamic section), so let's issue an error.

145

This was just to initiate this feature, I didn't really know which one to handle. But I will just take every tags in DynamicTags.def

145

Ok I'll answer here for this comment and the one above. I decided to take get all the non architecture specific tags for the moment.

172

Well, I think we should just consume the error and fallback to the hex print (that's what being done here basically - I just need to consume the error)

225

Your method is not working on my testing binary. The address given in the dynamic section are relative to PHDR, so I do not understand how you want to do do it an other way.
I'll let it like this until I find another solution, but this one is not working :/

[jhenderson]

(moving this comment out of line, because the comments got completely out of sync with the code):
Regarding the VirtBase calculation, yeah, you're right, there was a mistake on my part - I made an incorrect assumption regarding program layout.

But you definitely cannot rely on PT_PHDR, because it isn't always present.

There might be a better way than this, but I think one way we can rely on, is to loop through the program headers until finding one whose address range (i.e. p_vaddr to p_vaddr + p_memsz) includes the value of DT_STRTAB, then subtract that segment's p_vaddr from the DT_STRTAB value (giving us the relative offset within the segment of the section), before finally adding the p_offset value.

Aside: since you are now touching the libObject code, you might want to see if there are any people you should add to the reviewers from that area.

include/llvm/Object/ELF.h

451 ↗

(On Diff #154945)

I think this should use the dynamic program header, rather than the sections, because a runnable program doesn't need section headers (but it does not program headers). It'll be faster, because there are generally fewer program headers than sections too. Maybe it could fall back to using the section headers if there is no PT_DYNAMIC segment.

Are the functions in this file unit-tested at all? If so, we should add them. If not, we still might want to add some, but it would depend on how straightforward it is to do.

472 ↗

(On Diff #154945)

I'd rephrase this as "invalid empty dynamic section" (or segment if using the program headers), or similar. I also have a personal preference to be explicit with checks (i.e. do numEntry == 0), though I'm not too fussed if you prefer it this way.

478 ↗

(On Diff #154945)

I wonder if we should cache this result somehow, so that the majority of this function is only run once per file?

test/tools/llvm-objdump/private-headers-dynamic-section.test

1 ↗

(On Diff #154393)

Does yaml2obj not allow you to pass in arbitrary values to the dynamic tags then?

Regardless, that complexity is there already, it's just hiding away in a pre-canned binary, which will make it harder to work out what to do with this test, if that binary is ever updated and/or this test ever starts to fail. I'd rather we be explicit, and not tie ourselves to that binary, if at all possible.

tools/llvm-objdump/ELFDump.cpp

21

I'd be surprised if this doesn't already exist in the LLVM support library somewhere...

28

Normally, I'd agree with you, but objdump's job is not to manipulate things, only to give information about things. That means that we should try to give as much information as possible, especially as in this case, a missing DT_NULL does not prevent us doing so. Emitting an error will presumably stop us doing any further dumps the user has requested. So I think a warning would be more appropriate.

87

Why? Also, I think this comment should be a bit more verbose, so that it is clearer. Depending on the reason, perhaps something like:

"We use "-21" in order to match GNU objdump's output. <explain reason briefly>"

(also, don't forget the trailing full stop).

92

Why not make the second one PRIx32, and then get rid of the cast when formatting later?

99

No need for this else following the continue.

[jhenderson]

tools/llvm-objdump/ELFDump.cpp

49

Similar to my earlier comments, maybe it would be better to warn for this case, and fall back to just printing the hex value, like you suggested.

This probably goes for all errors that result in us being unable to load the dynamic string table. Also, where possible, we should test each of those errors.

57

This and others should be "report_error" available in llvm-objdump.h, not report_fatal_error. They also just take an Error, so you don't have to mess about with errorToErrorCode.

143

Does your new method address this comment?

145

I think having the non-architecture-specific tags only is sensible for the first instance. A later change can add support for them (we should only decode them when using the appropriate machine type).

[paulsemel]

Little follow-up. I'm pretty sure it would require changes to yaml2obj to get this test written in yaml format.
Why not creating my own binary for the moment, and wait for someone (me if I have time ?) to implement this feature ?

include/llvm/Object/ELF.h

478 ↗

(On Diff #154945)

It's up to you. For the moment, I've just mimicked the behavior of program_headers and sections :)

test/tools/llvm-objdump/private-headers-dynamic-section.test

1 ↗

(On Diff #154393)

Ok, I'll try to be more verbose on this. Here is what I would like to have in yaml2obj :

Dynamic:
        DT_NEEDED            "libc.so"
        DT_WHATEVER       0x12345678

And here is what we have :

Sections:
  - Name:            .dynamic
    Type:            SHT_DYNAMIC
    Flags:           [ SHF_ALLOC, SHF_WRITE ]
    Content:         0x0000001012002030000400

And for each reference in the dynamic section, we need to trick to build a correct binary. (thus in our case, we need to build a correct program_headers, strtab etc..). Really, it'll just get a big mess and loss of time.

This feature might definitely be added in yaml2obj. I admit that I don't really feel like building that a complicated yaml file :)

tools/llvm-objdump/ELFDump.cpp

21

Tried to grep but was there. Do you know where this kind of macros are in LLVM ?

28

Is it even possible to issue warnings from libObject ? (as now this code has moved to the libobj)

57

Well, I can't access file name here, I just mimicked the behavior above, I think this is also the reason they did this no ?
I'm probably missing something

87

Is there a rational reason apart from "We want to be GNU command line compliant" ? Not sure we might try to explain smth.

92

Seems that a static assert prevent us from doing it. See what's being done below for program header.

143

Yes, to have the markers, you need to define another macro

[paulsemel]

Added Jame's suggestions

[jhenderson]

In D49016#1163205, @paulsemel wrote:

Little follow-up. I'm pretty sure it would require changes to yaml2obj to get this test written in yaml format.
Why not creating my own binary for the moment, and wait for someone (me if I have time ?) to implement this feature ?

I think this would be a reasonable way forward.

I'm still concerned by the amount of duplication between llvm-readobj's handling of this and llvm-objdump's. My impression is that only the printing and error handling sections should be distinct. The methods for looking up values etc should be in libObject.

I'm out of time now, so haven't looked at everything yet, but hopefully this will help you continue moving.

include/llvm/Object/ELF.h

459 ↗

(On Diff #155631)

Too much auto. Please use the explicit type here.

474 ↗

(On Diff #155631)

Similar to above, please use the explicit type here.

476 ↗

(On Diff #155631)

You can use getSectionContentsAsArray here, I think.

488 ↗

(On Diff #155631)

What about if DynSecSize % sizeof(Elf_Dyn) is non-zero? That should probably be an error too.

491 ↗

(On Diff #155631)

I would call this "Last" or similar, since End implies one past the end in iterator terminology. That being said, it might just be easier to do the makeArrayRef before this and use the methods on the ArrayRef instead to query the last element (specifically back).

478 ↗

(On Diff #154945)

Okay, sure. I guess it's unlikely a program will need to do this multiple times, and it could be the thing to do the caching if its important. So no need to do it, I think.

test/tools/llvm-objdump/private-headers-dynamic-section.test

1 ↗

(On Diff #154393)

Okay, those are all fair comments. I'm happy for a pre-canned binary, but I'd prefer it if it is dedicated to this feature.

tools/llvm-objdump/ELFDump.cpp

21

Well, I'd expect this to be an STL extension, since it's in C++17 (see https://en.cppreference.com/w/cpp/iterator/size), and I see that there is a size method in STLExtras.h. Try taking a look at that. I'm not sure it'll quite work, as I think it is implementing version 1 from the reference page only, but maybe you could try putting up a separate review for adding version 2 support?

28

I'd expect library code to emit "Error" or "Expected" returns, and then the consumer to decide what to do with them. You can see a similar thing I did earlier this year for the DWARF debug line parser, which now returns Expected/Error instances, and the consumers often convert these into warnings (see rL331971).

49

Why not just propagate the Error back up the stack? You are already returning an Expected.

57

I'm not sure which one this lined up with before, but it looks to me that you have two options in most cases, 1) return Error/Expected up the stack, so that the call site handles it, or 2) Pass the file name into the function.

[paulsemel]

include/llvm/Object/ELF.h

493 ↗

(On Diff #155631)

I don't think we need to issue an error here actually

493 ↗

(On Diff #155631)

My bad.. old comment

tools/llvm-objdump/ELFDump.cpp

28

Hmm.. I don't have any real arguments against this, but I don't really like doing this..
Isn't it another way to do this ?

[paulsemel]

Added Jame's suggestions.

[jhenderson]

include/llvm/ADT/STLExtras.h

1041–1045 ↗

(On Diff #155745)

Be careful that this doesn't get submitted with everything else...

include/llvm/Object/ELF.h

451 ↗

(On Diff #154945)

I don't think you've addressed this comment:

Are the functions in this file unit-tested at all? If so, we should add them. If not, we still might want to add some, but it would depend on how straightforward it is to do.

test/tools/llvm-objdump/private-headers-dynamic-section.test

27 ↗

(On Diff #155745)

Could you also add SHT_RELR cases here, please?

tools/llvm-objdump/ELFDump.cpp

21

Can you remove this now?

28

Well, we need to report the error back somehow from the library, and we don't want the library to do the printing, because then different consumers can't customise according to their needs. However, we're not actually in a library here, so this is all a bit moot!

42

o -> O (or probably better just Elf or similar, since it's not an object file if its got a dynamic section).

48–49

Is this a mistake here? Because it doesn't look like you meant to write this...

66

This should be report_error, like below.

70–72

I don't think you've addressed my earlier comments about not using VirtBase, derived from a PT_PHDR?

81–87

This sort of area is a good example of why I think we should be reusing code from llvm-readobj. Please investigate this as a priority. In particular, I note that llvm-readobj does not have to loop through the whole set of tags to get the right string.

[paulsemel]

Alright.. Again, there was a lot of changes I wanted to do, so sorry if I messed smth @jhenderson.
I eventually moved some code from llvm-readobj to libObject, and I will refactor llvm-readobj similar code in another PR !

[paulsemel]

include/llvm/ADT/STLExtras.h

1041–1045 ↗

(On Diff #155745)

Sure, I will wait for the other patch to be accepted, and then I'll rebase

include/llvm/Object/ELF.h

451 ↗

(On Diff #154945)

No there is basically two features unit tested in the libObject. Do you really want me to do one ?

test/tools/llvm-objdump/private-headers-dynamic-section.test

27 ↗

(On Diff #155745)

Are you talking about PLT REL entries ? I've added some anyway !

tools/llvm-objdump/ELFDump.cpp

70–72

I have eventually changed the way I'm getting the Dynamic String Table, to reuse at most as possible the libObject.

81–87

Well, I would just need to replace this to a switch actually

[jhenderson]

Hmm... I don't like using the dynamic symbol table to lookup the dynamic string table. There is a reason for a specific DT_STRTAB tag. We should use that. Also, this latest version won't work if the section headers have been stripped, but we should be able to dump the dynamic table in this instance, by looking at the DT_* tags in the PT_DYNAMIC segment (if present). Try adding a test for this case (i.e. section headers stripped), and you'll see an error, I suspect... Also, please make sure you have a test that has no section headers or PT_DYNAMIC segment.

In D49016#1165043, @paulsemel wrote:

Alright.. Again, there was a lot of changes I wanted to do, so sorry if I messed smth @jhenderson.
I eventually moved some code from llvm-readobj to libObject, and I will refactor llvm-readobj similar code in another PR !

Could you do this separate PR first, please? Otherwise, we end up with (temporarily) duplicate code, which might be an issue if somebody modifies llvm-readobj in the meantime.

include/llvm/ADT/STLExtras.h

1041–1045 ↗

(On Diff #155745)

Actually, since it's been pointed out, you might as well use array_lengthof in this patch, to remove any dependency.

include/llvm/Object/ELF.h

533 ↗

(On Diff #155879)

It occurs to me that this half of the code is currently untested. Could you add a test that shows that if a dynamic segment doesn't exist, we look for and use the .dynamic section.

You should also add a test that shows that if neither exist, we just don't print anything.

451 ↗

(On Diff #154945)

Is it possible to easily construct an ELFFile in memory? If not, I suppose not, as we might as well use the lit tests to achieve this.

test/tools/llvm-objdump/private-headers-dynamic-section.test

27 ↗

(On Diff #155745)

No, I was referring to SHT_RELR, added recently to LLD (rL336594) and llvm-readobj (rL335922). See also the proposal at https://groups.google.com/forum/#!topic/generic-abi/bX460iggiKg. The important bit is that there are some additional DT_* tags for these sections: DT_RELR, DT_RELRENT, and DT_RELRSZ, and I'd like it if these were tested too.

tools/llvm-objdump/ELFDump.cpp

42

Um... This hasn't been done?

[paulsemel]

Added Jame's suggestions.
I managed to do one of the two real test cases with only yaml2obj. The first one definitely needs too much things to be a yaml2obj test.

[paulsemel]

Ok, I think the way I'm now getting the dynamic string table is good !

Hmm no.. I'm pretty sure it is a bad idea to do a PR that is completely relying on this one. I just duplicated the code, so I don't see any problem even if someone modifies this area in llvm-readobj. I will just refactor no worries :)

tools/llvm-objdump/ELFDump.cpp

42

Was for the function above, but I should have done this one too in the meantime !

[jhenderson]

In D49016#1170619, @paulsemel wrote:

Hmm no.. I'm pretty sure it is a bad idea to do a PR that is completely relying on this one. I just duplicated the code, so I don't see any problem even if someone modifies this area in llvm-readobj. I will just refactor no worries :)

Okay. Please make sure in the commit comment to explain that this is a copy of the llvm-readobj code, and that a subsequent refactor is still to come.

include/llvm/Object/ELF.h

421–422 ↗

(On Diff #156622)

This strikes me as a rather large function to have in a header file. What do you think about moving the body into ELF.cpp source file? It looks like there is precedence for this already. I also noticed that the source provides a "STRINGIFY_ENUM_CASE" macro that does what you want.

513 ↗

(On Diff #156622)

Again, this should be moved to the source file.

test/tools/llvm-objdump/private-headers-dynamic-section.test

1 ↗

(On Diff #156622)

One more test suggestion: use llvm-objcopy to remove the section headers for this test input and then run the same dump. It should produce the same output.

test/tools/llvm-objdump/private-headers-no-dynamic-segment.test

14 ↗

(On Diff #156622)

Now that you've done this, feel free to keep it, but I think you can simplify it down a bit and not test all the tags here.

test/tools/llvm-objdump/private-headers-no-dynamic.test

18 ↗

(On Diff #156622)

Maybe worth doing a CHECK-NOT: DT_ or similar to show that the tool isn't trying to dump garbage in this cae.

tools/llvm-objdump/ELFDump.cpp

32–35

I don't think we want this loop as the first choice. Making it the fallback would match the behaviour earlier of dynamicEntries() (i.e. use program headers first, and only fallback on sections if that doesn't work.

42

I just realised that you're reinventing the wheel again here. llvm-readobj has the same function to do the same sort of thing. Take a look at toMappedAddr in parseDynamicTable in the ElfDumper class. It probably is worth sharing this again, so as to not repeat the code, and risk getting it slightly wrong.

[paulsemel]

Added Jame's suggestions

[paulsemel]

I haven't copied the whole thing, most of the code is from me actually.. Why can't I just land this one and refactor the other one right after ?
I'm not sure this is that much a big deal to do this way, is it ?

Anyway, this patch is for the moment relying on an other patch I made for yaml2obj, so I'll wait until it is accepted !

NB: fun fact, it seems, that we are doing better in finding the dynamic section than GNU objdump.

include/llvm/Object/ELF.h

421–422 ↗

(On Diff #156622)

No, I can't, because I don't want to output "DT_NEEDED", but "NEEDED"...

test/tools/llvm-objdump/private-headers-no-dynamic.test

18 ↗

(On Diff #156622)

I though about it, but there is no pattern I can check.. (as I am not printing the DT_ thing)

tools/llvm-objdump/ELFDump.cpp

42

I move this toMappedAddr function to libObj, as I see a lot of use cases for it :)

[jhenderson]

include/llvm/Object/ELF.h

513 ↗

(On Diff #156622)

You've marked this as done but dynamicEntries is still in the header file...

test/tools/llvm-objdump/private-headers-dynamic-section.test

1 ↗

(On Diff #156622)

Sorry, I guess I wasn't clear. I was expecting these to be in the same test file. So the run commands would look something like:

# RUN: llvm-objdump -p %p/Inputs/private-headers-x86_64.elf | FileCheck %s
# RUN: llvm-objcopy <insert appropriate arguments here> %p/Inputs/private-headers-x86_64.elf %t-stripped.elf
# RUN: llvm-objdump -p %t-stripped.elf | FileCheck %s

This means that you can show that the output is identical with and without the section headers.

test/tools/llvm-objdump/private-headers-no-dynamic.test

18 ↗

(On Diff #156622)

This is the last bit of the output right? If so, you can do:

CHECK-NOT: {{.}} or similar.

tools/llvm-objdump/ELFDump.cpp

42

Yes, I agree with this.

[paulsemel]

Added Jame's suggestions.

include/llvm/Object/ELF.h

513 ↗

(On Diff #156622)

Oops..

test/tools/llvm-objdump/private-headers-dynamic-section.test

1 ↗

(On Diff #156622)

You can't just strip the section header entry and not the whole section with llvm-objcopy (which make sense). I had to craft the binary by hand.. So this is not really possible

[jhenderson]

include/llvm/Object/ELF.h

513 ↗

(On Diff #156622)

How about moving this into the source file too!?

test/tools/llvm-objdump/private-headers-dynamic-section.test

1 ↗

(On Diff #156622)

You can strip all section headers. Use llvm-objcopy --strip-sections to do it. This will preserve the section contents, but remove the section headers (and the section header string table, if I'm not mistaken).

[jhenderson]

LGTM.

tools/llvm-objdump/ELFDump.cpp

 //===----------------------------------------------------------------------===//
 
 #include "llvm-objdump.h"
 #include "llvm/Object/ELFObjectFile.h"
 #include "llvm/Support/Format.h"
 #include "llvm/Support/MathExtras.h"
 #include "llvm/Support/raw_ostream.h"
 
 using namespace llvm;
 using namespace llvm::object;
 
+template <class ELFT>
+Expected<StringRef> getDynamicStrTab(const ELFFile<ELFT> *o,
+                                     const typename ELFFile<ELFT>::Elf_Dyn *Dyn,
+                                     uint64_t VirtBase) {
+  for (; Dyn->d_tag != ELF::DT_NULL; Dyn++) {
+    if (Dyn->d_tag == ELF::DT_STRTAB)
+      return StringRef(reinterpret_cast<const char *>(
+          o->base() + (Dyn->d_un.d_val - VirtBase)));
+  }
+  return createError("string table entry not present");
+}
+
+template <class ELFT>
+void printDynamicSection(const ELFFile<ELFT> *o,
+                         const typename ELFFile<ELFT>::Elf_Dyn *Dyn,
+                         uint64_t VirtBase) {
+  outs() << "Dynamic Section:\n";
+  for (; Dyn->d_tag != ELF::DT_NULL; Dyn++) {
+    const char *Str = nullptr;
+    switch (Dyn->d_tag) {
+    case ELF::DT_NEEDED:
+      Str = "NEEDED";
+      break;
+    case ELF::DT_PLTRELSZ:
+      Str = "PLTRELSZ";
+      break;
+    case ELF::DT_PLTGOT:
+      Str = "PLTGOT";
+      break;
+    case ELF::DT_HASH:
+      Str = "HASH";
+      break;
+    case ELF::DT_STRTAB:
+      Str = "STRTAB";
+      break;
+    case ELF::DT_SYMTAB:
+      Str = "SYMTAB";
+      break;
+    case ELF::DT_RELA:
+      Str = "RELA";
+      break;
+    case ELF::DT_RELASZ:
+      Str = "RELASZ";
+      break;
+    case ELF::DT_RELAENT:
+      Str = "RELAENT";
+      break;
+    case ELF::DT_STRSZ:
+      Str = "STRSZ";
+      break;
+    case ELF::DT_SYMENT:
+      Str = "SYMENT";
+      break;
+    case ELF::DT_INIT:
+      Str = "INIT";
+      break;
+    case ELF::DT_FINI:
+      Str = "FINI";
+      break;
+    case ELF::DT_SONAME:
+      Str = "SONAME";
+      break;
+    case ELF::DT_RPATH:
+      Str = "RPATH";
+      break;
+    case ELF::DT_SYMBOLIC:
+      Str = "SYMBOLIC";
+      break;
+    case ELF::DT_REL:
+      Str = "REL";
+      break;
+    case ELF::DT_RELSZ:
+      Str = "RELSZ";
+      break;
+    case ELF::DT_RELENT:
+      Str = "RELENT";
+      break;
+    case ELF::DT_PLTREL:
+      Str = "PLTREL";
+      break;
+    case ELF::DT_DEBUG:
+      Str = "DEBUG";
+      break;
+    case ELF::DT_TEXTREL:
+      Str = "TEXTREL";
+      break;
+    case ELF::DT_JMPREL:
+      Str = "JMPREL";
+      break;
+    case ELF::DT_BIND_NOW:
+      Str = "BIND_NOW";
+      break;
+    case ELF::DT_INIT_ARRAY:
+      Str = "INIT_ARRAY";
+      break;
+    case ELF::DT_FINI_ARRAY:
+      Str = "FINI_ARRAY";
+      break;
+    case ELF::DT_INIT_ARRAYSZ:
+      Str = "INIT_ARRAYSZ";
+      break;
+    case ELF::DT_FINI_ARRAYSZ:
+      Str = "FINI_ARRAYSZ";
+      break;
+    case ELF::DT_RUNPATH:
+      Str = "RUNPATH";
+      break;
+    case ELF::DT_FLAGS:
+      Str = "FLAGS";
+      break;
+    case ELF::DT_PREINIT_ARRAY:
+      Str = "PREINIT_ARRAY";
+      break;
+    case ELF::DT_PREINIT_ARRAYSZ:
+      Str = "PREINIT_ARRAYSZ";
+      break;
+    case ELF::DT_LOOS:
+      Str = "LOOS";
+      break;
+    case ELF::DT_GNU_HASH:
+      Str = "GNU_HASH";
+      break;
+    case ELF::DT_TLSDESC_PLT:
+      Str = "TLSDESC_PLT";
+      break;
+    case ELF::DT_TLSDESC_GOT:
+      Str = "TLSDESC_GOT";
+      break;
+    case ELF::DT_VERNEEDNUM:
+      Str = "VERNEEDNUM";
+      break;
+    case ELF::DT_VERSYM:
+      Str = "VERSYM";
+      break;
+    case ELF::DT_VERNEED:
+      Str = "VERNEED";
+      break;
+    default:
+      Str = "Unknown";
+      break;
+    }
+    outs() << format("  %-18s", Str);
+    const char *Fmt =
+        ELFT::Is64Bits ? "0x%016" PRIx64 "\n" : "0x%08" PRIx64 "\n";
+    if (Dyn->d_tag == ELF::DT_NEEDED) {
+      Expected<StringRef> StrTabOrErr = getDynamicStrTab(o, Dyn, VirtBase);
+      if (StrTabOrErr) {
+        const char *Data = StrTabOrErr.get().data();
+        outs() << (Data + Dyn->d_un.d_val) << "\n";
+        continue;
+      }
+    }
+    outs() << format(Fmt, (uint64_t)Dyn->d_un.d_val);
+  }
+}
+
 template <class ELFT> void printProgramHeaders(const ELFFile<ELFT> *o) {
   typedef ELFFile<ELFT> ELFO;
   outs() << "Program Header:\n";
   auto ProgramHeaderOrError = o->program_headers();
+  const typename ELFO::Elf_Dyn *Dyn = nullptr;
+  uint64_t VirtBase = 0;
   if (!ProgramHeaderOrError)
     report_fatal_error(
         errorToErrorCode(ProgramHeaderOrError.takeError()).message());
   for (const typename ELFO::Elf_Phdr &Phdr : *ProgramHeaderOrError) {
     switch (Phdr.p_type) {
     case ELF::PT_DYNAMIC:
       outs() << " DYNAMIC ";
+      Dyn = reinterpret_cast<const typename ELFO::Elf_Dyn *>(o->base() +
+                                                             Phdr.p_offset);
       break;
     case ELF::PT_GNU_EH_FRAME:
       outs() << "EH_FRAME ";
       break;
     case ELF::PT_GNU_RELRO:
       outs() << "   RELRO ";
       break;
     case ELF::PT_GNU_STACK:
for (const typename ELFO::Elf_Phdr &Phdr : *ProgramHeaderOrError) {
     case ELF::PT_OPENBSD_RANDOMIZE:
       outs() << "    OPENBSD_RANDOMIZE ";
       break;
     case ELF::PT_OPENBSD_WXNEEDED:
       outs() << "    OPENBSD_WXNEEDED ";
       break;
     case ELF::PT_PHDR:
       outs() << "    PHDR ";
+      VirtBase = Phdr.p_vaddr - Phdr.p_offset;
       break;
     case ELF::PT_TLS:
       outs() << "    TLS ";
       break;
     default:
       outs() << " UNKNOWN ";
     }
 
     const char *Fmt = ELFT::Is64Bits ? "0x%016" PRIx64 " " : "0x%08" PRIx64 " ";
 
     outs() << "off    " << format(Fmt, (uint64_t)Phdr.p_offset) << "vaddr "
            << format(Fmt, (uint64_t)Phdr.p_vaddr) << "paddr "
            << format(Fmt, (uint64_t)Phdr.p_paddr)
            << format("align 2**%u\n",
                      countTrailingZeros<uint64_t>(Phdr.p_align))
            << "         filesz " << format(Fmt, (uint64_t)Phdr.p_filesz)
            << "memsz " << format(Fmt, (uint64_t)Phdr.p_memsz) << "flags "
            << ((Phdr.p_flags & ELF::PF_R) ? "r" : "-")
            << ((Phdr.p_flags & ELF::PF_W) ? "w" : "-")
            << ((Phdr.p_flags & ELF::PF_X) ? "x" : "-") << "\n";
   }
   outs() << "\n";
+
+  if (Dyn)
+    printDynamicSection(o, Dyn, VirtBase);
 }
 
 void llvm::printELFFileHeader(const object::ObjectFile *Obj) {
   // Little-endian 32-bit
   if (const ELF32LEObjectFile *ELFObj = dyn_cast<ELF32LEObjectFile>(Obj))
     printProgramHeaders(ELFObj->getELFFile());
 
   // Big-endian 32-bit