From 6572425462375a3289b3870f5ed5359f7557a9bd Mon Sep 17 00:00:00 2001 From: Alexander Ivchenko Date: Tue, 29 May 2018 14:49:51 +0000 Subject: [PATCH] [llvm-readobj] Support GNU_PROPERTY_X86_FEATURE_1_AND notes in .note.gnu.property This patch allows parsing GNU_PROPERTY_X86_FEATURE_1_AND notes in .note.gnu.property sections. These notes indicate that the object file is built to support Intel CET. patch by mike.dvoretsky Differential Revision: https://reviews.llvm.org/D47473 llvm-svn: 333424 --- llvm/include/llvm/BinaryFormat/ELF.h | 7 ++++ .../tools/llvm-readobj/note-gnu-property.s | 39 +++++++++++++++++-- llvm/tools/llvm-readobj/ELFDumper.cpp | 32 ++++++++++++++- 3 files changed, 74 insertions(+), 4 deletions(-) diff --git a/llvm/include/llvm/BinaryFormat/ELF.h b/llvm/include/llvm/BinaryFormat/ELF.h index adc13173ee44..b5664990e5dc 100644 --- a/llvm/include/llvm/BinaryFormat/ELF.h +++ b/llvm/include/llvm/BinaryFormat/ELF.h @@ -1308,6 +1308,13 @@ enum { enum { GNU_PROPERTY_STACK_SIZE = 1, GNU_PROPERTY_NO_COPY_ON_PROTECTED = 2, + GNU_PROPERTY_X86_FEATURE_1_AND = 0xc0000002 +}; + +// CET properties +enum { + GNU_PROPERTY_X86_FEATURE_1_IBT = 1 << 0, + GNU_PROPERTY_X86_FEATURE_1_SHSTK = 1 << 1 }; // AMDGPU specific notes. diff --git a/llvm/test/tools/llvm-readobj/note-gnu-property.s b/llvm/test/tools/llvm-readobj/note-gnu-property.s index 6fd69086612f..f0a9b131ed5b 100644 --- a/llvm/test/tools/llvm-readobj/note-gnu-property.s +++ b/llvm/test/tools/llvm-readobj/note-gnu-property.s @@ -2,16 +2,21 @@ // RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o %t // RUN: llvm-readobj -elf-output-style GNU --notes %t | FileCheck %s -// CHECK: Displaying notes found at file offset 0x00000040 with length 0x00000070: +// CHECK: Displaying notes found at file offset 0x00000040 with length 0x000000b8: // CHECK-NEXT: Owner Data size Description -// CHECK-NEXT: GNU 0x00000060 NT_GNU_PROPERTY_TYPE_0 (property note) +// CHECK-NEXT: GNU 0x000000a8 NT_GNU_PROPERTY_TYPE_0 (property note) // CHECK-NEXT: Properties: stack size: 0x100 // CHECK-NEXT: stack size: 0x100 // CHECK-NEXT: no copy on protected +// CHECK-NEXT: X86 features: SHSTK +// CHECK-NEXT: X86 features: IBT, SHSTK +// CHECK-NEXT: X86 features: none // CHECK-NEXT: // CHECK-NEXT: stack size: // CHECK-NEXT: stack size: // CHECK-NEXT: no copy on protected +// CHECK-NEXT: X86 features: +// CHECK-NEXT: X86 features: IBT, // CHECK-NEXT: .section ".note.gnu.property", "a" @@ -26,7 +31,7 @@ begin: .long 8 /* Data size */ .quad 0x100 /* Data (stack size) */ .p2align 3 /* Align to 8 byte for 64 bit */ - + /* Test we handle alignment properly */ .long 1 /* Type: GNU_PROPERTY_STACK_SIZE */ .long 8 /* Data size */ @@ -36,6 +41,23 @@ begin: .long 2 /* Type: GNU_PROPERTY_NO_COPY_ON_PROTECTED */ .long 0 /* Data size */ .p2align 3 /* Align to 8 byte for 64 bit */ + + /* CET property note */ + .long 0xc0000002 /* Type: GNU_PROPERTY_X86_FEATURE_1_AND */ + .long 8 /* Data size */ + .quad 2 /* GNU_PROPERTY_X86_FEATURE_1_SHSTK */ + .p2align 3 /* Align to 8 byte for 64 bit */ + + /* CET property note with padding */ + .long 0xc0000002 /* Type: GNU_PROPERTY_X86_FEATURE_1_AND */ + .long 4 /* Data size */ + .long 3 /* Full CET support */ + .p2align 3 /* Align to 8 byte for 64 bit */ + + .long 0xc0000002 /* Type: GNU_PROPERTY_X86_FEATURE_1_AND */ + .long 8 /* Data size */ + .quad 0 /* Empty flags, not an error */ + .p2align 3 /* Align to 8 byte for 64 bit */ /* All notes below are broken. Test we are able to report them. */ @@ -60,6 +82,17 @@ begin: .long 1 /* Data size (corrupted) */ .byte 1 /* Data */ .p2align 3 /* Align to 8 byte for 64 bit */ + + /* CET note with size zero */ + .long 0xc0000002 /* Type: GNU_PROPERTY_X86_FEATURE_1_AND */ + .long 0 /* Data size */ + .p2align 3 /* Align to 8 byte for 64 bit */ + + /* CET note with bad flags */ + .long 0xc0000002 /* Type: GNU_PROPERTY_X86_FEATURE_1_AND */ + .long 8 /* Data size */ + .quad 0xf000f000f000f001 /* GNU_PROPERTY_X86_FEATURE_1_IBT and bad bits */ + .p2align 3 /* Align to 8 byte for 64 bit */ /* GNU_PROPERTY_NO_COPY_ON_PROTECTED with pr_datasz and without data */ .long 2 /* Type: GNU_PROPERTY_NO_COPY_ON_PROTECTED */ diff --git a/llvm/tools/llvm-readobj/ELFDumper.cpp b/llvm/tools/llvm-readobj/ELFDumper.cpp index 6ca28e273cc9..4acd9be547b2 100644 --- a/llvm/tools/llvm-readobj/ELFDumper.cpp +++ b/llvm/tools/llvm-readobj/ELFDumper.cpp @@ -3457,7 +3457,7 @@ static void printGNUProperty(raw_ostream &OS, uint32_t Type, uint32_t DataSize, case GNU_PROPERTY_STACK_SIZE: { OS << " stack size: "; if (DataSize == sizeof(typename ELFT::uint)) - OS << format("0x%x\n", + OS << format("0x%lx\n", (uint64_t)(*(const typename ELFT::Addr *)Data.data())); else OS << format("\n", DataSize); @@ -3469,6 +3469,36 @@ static void printGNUProperty(raw_ostream &OS, uint32_t Type, uint32_t DataSize, OS << format(" ", DataSize); OS << "\n"; break; + case GNU_PROPERTY_X86_FEATURE_1_AND: + OS << " X86 features: "; + if (DataSize != 4 && DataSize != 8) { + OS << format("\n", DataSize); + break; + } + uint64_t CFProtection = + (DataSize == 4) + ? support::endian::read32(Data.data()) + : support::endian::read64(Data.data()); + if (CFProtection == 0) { + OS << "none\n"; + break; + } + if (CFProtection & GNU_PROPERTY_X86_FEATURE_1_IBT) { + OS << "IBT"; + CFProtection &= ~GNU_PROPERTY_X86_FEATURE_1_IBT; + if (CFProtection) + OS << ", "; + } + if (CFProtection & GNU_PROPERTY_X86_FEATURE_1_SHSTK) { + OS << "SHSTK"; + CFProtection &= ~GNU_PROPERTY_X86_FEATURE_1_SHSTK; + if (CFProtection) + OS << ", "; + } + if (CFProtection) + OS << format("", CFProtection); + OS << "\n"; + break; } }