|
|
8631a2 |
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
|
8631a2 |
From: Peter Jones <pjones@redhat.com>
|
|
|
8631a2 |
Date: Wed, 1 Aug 2018 10:12:47 -0400
|
|
|
8631a2 |
Subject: [PATCH] grub-module-verifier: report the filename or modname in
|
|
|
8631a2 |
errors.
|
|
|
8631a2 |
|
|
|
8631a2 |
Make it so that when grub-module-verifier complains of an issue, it tells you
|
|
|
8631a2 |
which module the issue was with.
|
|
|
8631a2 |
|
|
|
8631a2 |
Signed-off-by: Peter Jones <pjones@redhat.com>
|
|
|
8631a2 |
---
|
|
|
8631a2 |
util/grub-module-verifier.c | 6 ++---
|
|
|
8631a2 |
util/grub-module-verifierXX.c | 58 ++++++++++++++++++++++--------------------
|
|
|
8631a2 |
include/grub/module_verifier.h | 4 +--
|
|
|
8631a2 |
3 files changed, 36 insertions(+), 32 deletions(-)
|
|
|
8631a2 |
|
|
|
8631a2 |
diff --git a/util/grub-module-verifier.c b/util/grub-module-verifier.c
|
|
|
f6e916 |
index a79271f66..03ba1ab43 100644
|
|
|
8631a2 |
--- a/util/grub-module-verifier.c
|
|
|
8631a2 |
+++ b/util/grub-module-verifier.c
|
|
|
8631a2 |
@@ -157,7 +157,7 @@ main (int argc, char **argv)
|
|
|
8631a2 |
if (strcmp(archs[arch].name, argv[2]) == 0)
|
|
|
8631a2 |
break;
|
|
|
8631a2 |
if (arch == ARRAY_SIZE(archs))
|
|
|
8631a2 |
- grub_util_error("unknown arch: %s", argv[2]);
|
|
|
8631a2 |
+ grub_util_error("%s: unknown arch: %s", argv[1], argv[2]);
|
|
|
8631a2 |
|
|
|
8631a2 |
for (whitelist = 0; whitelist < ARRAY_SIZE(whitelists); whitelist++)
|
|
|
8631a2 |
if (strcmp(whitelists[whitelist].arch, argv[2]) == 0
|
|
|
8631a2 |
@@ -169,8 +169,8 @@ main (int argc, char **argv)
|
|
|
8631a2 |
module_size = grub_util_get_image_size (argv[1]);
|
|
|
8631a2 |
module_img = grub_util_read_image (argv[1]);
|
|
|
8631a2 |
if (archs[arch].voidp_sizeof == 8)
|
|
|
8631a2 |
- grub_module_verify64(module_img, module_size, &archs[arch], whitelist_empty);
|
|
|
8631a2 |
+ grub_module_verify64(argv[1], module_img, module_size, &archs[arch], whitelist_empty);
|
|
|
8631a2 |
else
|
|
|
8631a2 |
- grub_module_verify32(module_img, module_size, &archs[arch], whitelist_empty);
|
|
|
8631a2 |
+ grub_module_verify32(argv[1], module_img, module_size, &archs[arch], whitelist_empty);
|
|
|
8631a2 |
return 0;
|
|
|
8631a2 |
}
|
|
|
8631a2 |
diff --git a/util/grub-module-verifierXX.c b/util/grub-module-verifierXX.c
|
|
|
f6e916 |
index 597ded143..a98e2f9b1 100644
|
|
|
8631a2 |
--- a/util/grub-module-verifierXX.c
|
|
|
8631a2 |
+++ b/util/grub-module-verifierXX.c
|
|
|
8631a2 |
@@ -160,14 +160,15 @@ find_section (const struct grub_module_verifier_arch *arch, Elf_Ehdr *e, const c
|
|
|
8631a2 |
}
|
|
|
8631a2 |
|
|
|
8631a2 |
static void
|
|
|
8631a2 |
-check_license (const struct grub_module_verifier_arch *arch, Elf_Ehdr *e)
|
|
|
8631a2 |
+check_license (const char * const filename,
|
|
|
8631a2 |
+ const struct grub_module_verifier_arch *arch, Elf_Ehdr *e)
|
|
|
8631a2 |
{
|
|
|
8631a2 |
Elf_Shdr *s = find_section (arch, e, ".module_license");
|
|
|
8631a2 |
if (s && (strcmp ((char *) e + grub_target_to_host(s->sh_offset), "LICENSE=GPLv3") == 0
|
|
|
8631a2 |
|| strcmp ((char *) e + grub_target_to_host(s->sh_offset), "LICENSE=GPLv3+") == 0
|
|
|
8631a2 |
|| strcmp ((char *) e + grub_target_to_host(s->sh_offset), "LICENSE=GPLv2+") == 0))
|
|
|
8631a2 |
return;
|
|
|
8631a2 |
- grub_util_error ("incompatible license");
|
|
|
8631a2 |
+ grub_util_error ("%s: incompatible license", filename);
|
|
|
8631a2 |
}
|
|
|
8631a2 |
|
|
|
8631a2 |
static Elf_Sym *
|
|
|
8631a2 |
@@ -233,10 +234,10 @@ check_symbols (const struct grub_module_verifier_arch *arch,
|
|
|
8631a2 |
s = find_section (arch, e, ".moddeps");
|
|
|
8631a2 |
|
|
|
8631a2 |
if (!s)
|
|
|
8631a2 |
- grub_util_error ("no symbol table and no .moddeps section");
|
|
|
8631a2 |
+ grub_util_error ("%s: no symbol table and no .moddeps section", modname);
|
|
|
8631a2 |
|
|
|
8631a2 |
if (!s->sh_size)
|
|
|
8631a2 |
- grub_util_error ("no symbol table and empty .moddeps section");
|
|
|
8631a2 |
+ grub_util_error ("%s: no symbol table and empty .moddeps section", modname);
|
|
|
8631a2 |
|
|
|
8631a2 |
return;
|
|
|
8631a2 |
}
|
|
|
8631a2 |
@@ -257,7 +258,7 @@ check_symbols (const struct grub_module_verifier_arch *arch,
|
|
|
8631a2 |
break;
|
|
|
8631a2 |
|
|
|
8631a2 |
default:
|
|
|
8631a2 |
- return grub_util_error ("unknown symbol type `%d'", (int) type);
|
|
|
8631a2 |
+ return grub_util_error ("%s: unknown symbol type `%d'", modname, (int) type);
|
|
|
8631a2 |
}
|
|
|
8631a2 |
}
|
|
|
8631a2 |
}
|
|
|
8631a2 |
@@ -283,7 +284,8 @@ is_symbol_local(Elf_Sym *sym)
|
|
|
8631a2 |
}
|
|
|
8631a2 |
|
|
|
8631a2 |
static void
|
|
|
8631a2 |
-section_check_relocations (const struct grub_module_verifier_arch *arch, void *ehdr,
|
|
|
8631a2 |
+section_check_relocations (const char * const modname,
|
|
|
8631a2 |
+ const struct grub_module_verifier_arch *arch, void *ehdr,
|
|
|
8631a2 |
Elf_Shdr *s, size_t target_seg_size)
|
|
|
8631a2 |
{
|
|
|
8631a2 |
Elf_Rel *rel, *max;
|
|
|
8631a2 |
@@ -292,7 +294,7 @@ section_check_relocations (const struct grub_module_verifier_arch *arch, void *e
|
|
|
8631a2 |
|
|
|
8631a2 |
symtab = get_symtab (arch, ehdr, &symtabsize, &symtabentsize);
|
|
|
8631a2 |
if (!symtab)
|
|
|
8631a2 |
- grub_util_error ("relocation without symbol table");
|
|
|
8631a2 |
+ grub_util_error ("%s: relocation without symbol table", modname);
|
|
|
8631a2 |
|
|
|
8631a2 |
for (rel = (Elf_Rel *) ((char *) ehdr + grub_target_to_host (s->sh_offset)),
|
|
|
8631a2 |
max = (Elf_Rel *) ((char *) rel + grub_target_to_host (s->sh_size));
|
|
|
8631a2 |
@@ -303,7 +305,7 @@ section_check_relocations (const struct grub_module_verifier_arch *arch, void *e
|
|
|
8631a2 |
unsigned i;
|
|
|
8631a2 |
|
|
|
8631a2 |
if (target_seg_size < grub_target_to_host (rel->r_offset))
|
|
|
8631a2 |
- grub_util_error ("reloc offset is out of the segment");
|
|
|
8631a2 |
+ grub_util_error ("%s: reloc offset is out of the segment", modname);
|
|
|
8631a2 |
|
|
|
8631a2 |
grub_uint32_t type = ELF_R_TYPE (grub_target_to_host (rel->r_info));
|
|
|
8631a2 |
|
|
|
8631a2 |
@@ -316,17 +318,17 @@ section_check_relocations (const struct grub_module_verifier_arch *arch, void *e
|
|
|
8631a2 |
if (arch->supported_relocations[i] != -1)
|
|
|
8631a2 |
continue;
|
|
|
8631a2 |
if (!arch->short_relocations)
|
|
|
8631a2 |
- grub_util_error ("unsupported relocation 0x%x", type);
|
|
|
8631a2 |
+ grub_util_error ("%s: unsupported relocation 0x%x", modname, type);
|
|
|
8631a2 |
for (i = 0; arch->short_relocations[i] != -1; i++)
|
|
|
8631a2 |
if (type == arch->short_relocations[i])
|
|
|
8631a2 |
break;
|
|
|
8631a2 |
if (arch->short_relocations[i] == -1)
|
|
|
8631a2 |
- grub_util_error ("unsupported relocation 0x%x", type);
|
|
|
8631a2 |
+ grub_util_error ("%s: unsupported relocation 0x%x", modname, type);
|
|
|
8631a2 |
sym = (Elf_Sym *) ((char *) symtab + symtabentsize * ELF_R_SYM (grub_target_to_host (rel->r_info)));
|
|
|
8631a2 |
|
|
|
8631a2 |
if (is_symbol_local (sym))
|
|
|
8631a2 |
continue;
|
|
|
8631a2 |
- grub_util_error ("relocation 0x%x is not module-local", type);
|
|
|
8631a2 |
+ grub_util_error ("%s: relocation 0x%x is not module-local", modname, type);
|
|
|
8631a2 |
}
|
|
|
8631a2 |
#if defined(MODULEVERIFIER_ELF64)
|
|
|
8631a2 |
if (arch->machine == EM_AARCH64)
|
|
|
8631a2 |
@@ -351,11 +353,11 @@ section_check_relocations (const struct grub_module_verifier_arch *arch, void *e
|
|
|
8631a2 |
&& ELF_R_TYPE (rel2->r_info) == R_AARCH64_LD64_GOT_LO12_NC)
|
|
|
8631a2 |
break;
|
|
|
8631a2 |
if (rel2 >= (Elf_Rela *) max)
|
|
|
8631a2 |
- grub_util_error ("ADR_GOT_PAGE without matching LD64_GOT_LO12_NC");
|
|
|
8631a2 |
+ grub_util_error ("%s: ADR_GOT_PAGE without matching LD64_GOT_LO12_NC", modname);
|
|
|
8631a2 |
break;
|
|
|
8631a2 |
case R_AARCH64_LD64_GOT_LO12_NC:
|
|
|
8631a2 |
if (unmatched_adr_got_page == 0)
|
|
|
8631a2 |
- grub_util_error ("LD64_GOT_LO12_NC without matching ADR_GOT_PAGE");
|
|
|
8631a2 |
+ grub_util_error ("%s: LD64_GOT_LO12_NC without matching ADR_GOT_PAGE", modname);
|
|
|
8631a2 |
unmatched_adr_got_page--;
|
|
|
8631a2 |
break;
|
|
|
8631a2 |
}
|
|
|
8631a2 |
@@ -365,7 +367,8 @@ section_check_relocations (const struct grub_module_verifier_arch *arch, void *e
|
|
|
8631a2 |
}
|
|
|
8631a2 |
|
|
|
8631a2 |
static void
|
|
|
8631a2 |
-check_relocations (const struct grub_module_verifier_arch *arch, Elf_Ehdr *e)
|
|
|
8631a2 |
+check_relocations (const char * const modname,
|
|
|
8631a2 |
+ const struct grub_module_verifier_arch *arch, Elf_Ehdr *e)
|
|
|
8631a2 |
{
|
|
|
8631a2 |
Elf_Shdr *s;
|
|
|
8631a2 |
unsigned i;
|
|
|
8631a2 |
@@ -378,21 +381,22 @@ check_relocations (const struct grub_module_verifier_arch *arch, Elf_Ehdr *e)
|
|
|
8631a2 |
Elf_Shdr *ts;
|
|
|
8631a2 |
|
|
|
8631a2 |
if (grub_target_to_host32 (s->sh_type) == SHT_REL && !(arch->flags & GRUB_MODULE_VERIFY_SUPPORTS_REL))
|
|
|
8631a2 |
- grub_util_error ("unsupported SHT_REL");
|
|
|
8631a2 |
+ grub_util_error ("%s: unsupported SHT_REL", modname);
|
|
|
8631a2 |
if (grub_target_to_host32 (s->sh_type) == SHT_RELA && !(arch->flags & GRUB_MODULE_VERIFY_SUPPORTS_RELA))
|
|
|
8631a2 |
- grub_util_error ("unsupported SHT_RELA");
|
|
|
8631a2 |
+ grub_util_error ("%s: unsupported SHT_RELA", modname);
|
|
|
8631a2 |
|
|
|
8631a2 |
/* Find the target segment. */
|
|
|
8631a2 |
if (grub_target_to_host32 (s->sh_info) >= grub_target_to_host16 (e->e_shnum))
|
|
|
8631a2 |
- grub_util_error ("orphaned reloc section");
|
|
|
8631a2 |
+ grub_util_error ("%s: orphaned reloc section", modname);
|
|
|
8631a2 |
ts = (Elf_Shdr *) ((char *) e + grub_target_to_host (e->e_shoff) + grub_target_to_host32 (s->sh_info) * grub_target_to_host16 (e->e_shentsize));
|
|
|
8631a2 |
|
|
|
8631a2 |
- section_check_relocations (arch, e, s, grub_target_to_host (ts->sh_size));
|
|
|
8631a2 |
+ section_check_relocations (modname, arch, e, s, grub_target_to_host (ts->sh_size));
|
|
|
8631a2 |
}
|
|
|
8631a2 |
}
|
|
|
8631a2 |
|
|
|
8631a2 |
void
|
|
|
8631a2 |
-SUFFIX(grub_module_verify) (void *module_img, size_t size,
|
|
|
8631a2 |
+SUFFIX(grub_module_verify) (const char * const filename,
|
|
|
8631a2 |
+ void *module_img, size_t size,
|
|
|
8631a2 |
const struct grub_module_verifier_arch *arch,
|
|
|
8631a2 |
const char **whitelist_empty)
|
|
|
8631a2 |
{
|
|
|
8631a2 |
@@ -400,7 +404,7 @@ SUFFIX(grub_module_verify) (void *module_img, size_t size,
|
|
|
8631a2 |
|
|
|
8631a2 |
/* Check the header size. */
|
|
|
8631a2 |
if (size < sizeof (Elf_Ehdr))
|
|
|
8631a2 |
- grub_util_error ("ELF header smaller than expected");
|
|
|
8631a2 |
+ grub_util_error ("%s: ELF header smaller than expected", filename);
|
|
|
8631a2 |
|
|
|
8631a2 |
/* Check the magic numbers. */
|
|
|
8631a2 |
if (e->e_ident[EI_MAG0] != ELFMAG0
|
|
|
8631a2 |
@@ -409,36 +413,36 @@ SUFFIX(grub_module_verify) (void *module_img, size_t size,
|
|
|
8631a2 |
|| e->e_ident[EI_MAG3] != ELFMAG3
|
|
|
8631a2 |
|| e->e_ident[EI_VERSION] != EV_CURRENT
|
|
|
8631a2 |
|| grub_target_to_host32 (e->e_version) != EV_CURRENT)
|
|
|
8631a2 |
- grub_util_error ("invalid arch-independent ELF magic");
|
|
|
8631a2 |
+ grub_util_error ("%s: invalid arch-independent ELF magic", filename);
|
|
|
8631a2 |
|
|
|
8631a2 |
if (e->e_ident[EI_CLASS] != ELFCLASSXX
|
|
|
8631a2 |
|| e->e_ident[EI_DATA] != (arch->bigendian ? ELFDATA2MSB : ELFDATA2LSB)
|
|
|
8631a2 |
|| grub_target_to_host16 (e->e_machine) != arch->machine)
|
|
|
8631a2 |
- grub_util_error ("invalid arch-dependent ELF magic");
|
|
|
8631a2 |
+ grub_util_error ("%s: invalid arch-dependent ELF magic", filename);
|
|
|
8631a2 |
|
|
|
8631a2 |
if (grub_target_to_host16 (e->e_type) != ET_REL)
|
|
|
8631a2 |
{
|
|
|
8631a2 |
- grub_util_error ("this ELF file is not of the right type");
|
|
|
8631a2 |
+ grub_util_error ("%s: this ELF file is not of the right type", filename);
|
|
|
8631a2 |
}
|
|
|
8631a2 |
|
|
|
8631a2 |
/* Make sure that every section is within the core. */
|
|
|
8631a2 |
if (size < grub_target_to_host (e->e_shoff)
|
|
|
8631a2 |
+ (grub_uint32_t) grub_target_to_host16 (e->e_shentsize) * grub_target_to_host16(e->e_shnum))
|
|
|
8631a2 |
{
|
|
|
8631a2 |
- grub_util_error ("ELF sections outside core");
|
|
|
8631a2 |
+ grub_util_error ("%s: ELF sections outside core", filename);
|
|
|
8631a2 |
}
|
|
|
8631a2 |
|
|
|
8631a2 |
- check_license (arch, e);
|
|
|
8631a2 |
+ check_license (filename, arch, e);
|
|
|
8631a2 |
|
|
|
8631a2 |
Elf_Shdr *s;
|
|
|
8631a2 |
const char *modname;
|
|
|
8631a2 |
|
|
|
8631a2 |
s = find_section (arch, e, ".modname");
|
|
|
8631a2 |
if (!s)
|
|
|
8631a2 |
- grub_util_error ("no module name found");
|
|
|
8631a2 |
+ grub_util_error ("%s: no module name found", filename);
|
|
|
8631a2 |
|
|
|
8631a2 |
modname = (const char *) e + grub_target_to_host (s->sh_offset);
|
|
|
8631a2 |
|
|
|
8631a2 |
check_symbols(arch, e, modname, whitelist_empty);
|
|
|
8631a2 |
- check_relocations(arch, e);
|
|
|
8631a2 |
+ check_relocations(modname, arch, e);
|
|
|
8631a2 |
}
|
|
|
8631a2 |
diff --git a/include/grub/module_verifier.h b/include/grub/module_verifier.h
|
|
|
f6e916 |
index f4870cb9c..ba21c75e2 100644
|
|
|
8631a2 |
--- a/include/grub/module_verifier.h
|
|
|
8631a2 |
+++ b/include/grub/module_verifier.h
|
|
|
8631a2 |
@@ -16,5 +16,5 @@ struct grub_module_verifier_arch {
|
|
|
8631a2 |
const int *short_relocations;
|
|
|
8631a2 |
};
|
|
|
8631a2 |
|
|
|
8631a2 |
-void grub_module_verify64(void *module_img, size_t module_size, const struct grub_module_verifier_arch *arch, const char **whitelist_empty);
|
|
|
8631a2 |
-void grub_module_verify32(void *module_img, size_t module_size, const struct grub_module_verifier_arch *arch, const char **whitelist_empty);
|
|
|
8631a2 |
+void grub_module_verify64(const char * const filename, void *module_img, size_t module_size, const struct grub_module_verifier_arch *arch, const char **whitelist_empty);
|
|
|
8631a2 |
+void grub_module_verify32(const char * const filename, void *module_img, size_t module_size, const struct grub_module_verifier_arch *arch, const char **whitelist_empty);
|