From: Andrew Cooper <andrew.cooper3@citrix.com>
To: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>,
xen-devel@lists.xenproject.org, konrad@kernel.org,
mpohlack@amazon.de, ross.lagerwall@citrix.com,
sasha.levin@citrix.com, jinsong.liu@alibaba-inc.com,
Ian Campbell <ian.campbell@citrix.com>,
Ian Jackson <ian.jackson@eu.citrix.com>,
Jan Beulich <jbeulich@suse.com>, Keir Fraser <keir@xen.org>,
Tim Deegan <tim@xen.org>,
xen-devel@lists.xen.org
Subject: Re: [PATCH v3 05/23] xsplice: Add helper elf routines (v4)
Date: Fri, 12 Feb 2016 20:24:25 +0000 [thread overview]
Message-ID: <56BE3F79.5020607@citrix.com> (raw)
In-Reply-To: <1455300361-13092-6-git-send-email-konrad.wilk@oracle.com>
On 12/02/16 18:05, Konrad Rzeszutek Wilk wrote:
> From: Ross Lagerwall <ross.lagerwall@citrix.com>
>
> Add Elf routines and data structures in preparation for loading an
> xSplice payload.
>
> We also add an macro that will print where we failed during
> the ELF parsing - which is only available during debug builds.
> In production (debug=n) we only return the error value.
>
> Signed-off-by: Ross Lagerwall <ross.lagerwall@citrix.com>
> Signed-off-by: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
> ---
> v2: - With the #define ELFSIZE in the ARM file we can use the common
> #defines instead of using #ifdef CONFIG_ARM_32. Moved to another
> patch.
> - Add checks for ELF file.
> - Add name to be printed.
> - Add len for easier ELF checks.
> - Expand on the checks. Add macro.
> v3: Remove the return_ macro
> v4: Add return_ macro back but make it depend on debug=y
> ---
> xen/common/Makefile | 1 +
> xen/common/xsplice_elf.c | 205 ++++++++++++++++++++++++++++++++++++++++++
> xen/include/xen/xsplice_elf.h | 37 ++++++++
> 3 files changed, 243 insertions(+)
> create mode 100644 xen/common/xsplice_elf.c
> create mode 100644 xen/include/xen/xsplice_elf.h
>
> diff --git a/xen/common/Makefile b/xen/common/Makefile
> index 43b3911..a8ceaff 100644
> --- a/xen/common/Makefile
> +++ b/xen/common/Makefile
> @@ -74,3 +74,4 @@ subdir-y += libelf
> subdir-$(CONFIG_HAS_DEVICE_TREE) += libfdt
>
> obj-$(CONFIG_XSPLICE) += xsplice.o
> +obj-$(CONFIG_XSPLICE) += xsplice_elf.o
Again, location in the makefile.
> diff --git a/xen/common/xsplice_elf.c b/xen/common/xsplice_elf.c
> new file mode 100644
> index 0000000..d9f9002
> --- /dev/null
> +++ b/xen/common/xsplice_elf.c
> @@ -0,0 +1,205 @@
> +#include <xen/errno.h>
> +#include <xen/lib.h>
> +#include <xen/xsplice_elf.h>
> +#include <xen/xsplice.h>
> +
> +#ifdef NDEBUG
> +#define return_(x) return x
> +#else
> +#define return_(x) { printk(XENLOG_DEBUG "%s:%d rc: %d\n", \
> + __func__,__LINE__, x); return x; }
:( This is a horrible antipattern. Just use dprintk() which gets you
this information anyway, and allows for more textural information.
> +#endif
> +
> +struct xsplice_elf_sec *xsplice_elf_sec_by_name(const struct xsplice_elf *elf,
> + const char *name)
> +{
> + unsigned int i;
> +
> + for ( i = 0; i < elf->hdr->e_shnum; i++ )
> + {
> + if ( !strcmp(name, elf->sec[i].name) )
> + return &elf->sec[i];
> + }
> +
> + return NULL;
> +}
> +
> +static int elf_resolve_sections(struct xsplice_elf *elf, uint8_t *data)
> +{
> + struct xsplice_elf_sec *sec;
> + unsigned int i;
> +
> + sec = xmalloc_array(struct xsplice_elf_sec, elf->hdr->e_shnum);
Presumably there will be some sanity checks done somewhere between the
hypercall and here?
> + if ( !sec )
> + {
> + printk(XENLOG_ERR "Could not allocate memory for section table!\n");
> + return_(-ENOMEM);
> + }
> +
> + /* N.B. We also will ingest SHN_UNDEF sections. */
> + for ( i = 0; i < elf->hdr->e_shnum; i++ )
> + {
> + ssize_t delta = elf->hdr->e_shoff + i * elf->hdr->e_shentsize;
> +
> + if ( delta + sizeof(Elf_Shdr) > elf->len )
> + return_(-EINVAL);
> +
> + sec[i].sec = (Elf_Shdr *)(data + delta);
> + delta = sec[i].sec->sh_offset;
> +
> + if ( delta > elf->len )
> + return_(-EINVAL);
> +
> + sec[i].data = data + delta;
> + /* Name is populated in xsplice_elf_sections_name. */
> + sec[i].name = NULL;
> +
> + if ( sec[i].sec->sh_type == SHT_SYMTAB )
> + {
(mis) alignment.
> + if ( elf->symtab )
> + return_(-EINVAL);
> + elf->symtab = &sec[i];
> + /* elf->symtab->sec->sh_link would point to the right section
> + * but we hadn't finished parsing all the sections. */
> + if ( elf->symtab->sec->sh_link > elf->hdr->e_shnum )
> + return_(-EINVAL);
> + }
> + }
Newline please.
> <snip>
> +
> +int xsplice_elf_load(struct xsplice_elf *elf, uint8_t *data)
> +{
> + int rc;
> +
> + elf->hdr = (Elf_Ehdr *)data;
A lot of this code would be neater (i.e. without explicit typecasts) if
data was void * rather than uint8_t. GCC pointer arithmetic on void *
works in a sane way.
> +
> + if ( sizeof(*elf->hdr) >= elf->len )
> + return_(-EINVAL);
> +
> + if ( elf->hdr->e_shstrndx == SHN_UNDEF )
> + return_(-EINVAL);
> +
> + /* Check that section name index is within the sections. */
> + if ( elf->hdr->e_shstrndx > elf->hdr->e_shnum )
> + return_(-EINVAL);
> +
> + rc = elf_resolve_sections(elf, data);
> + if ( rc )
> + return rc;
> +
> + rc = elf_resolve_section_names(elf, data);
> + if ( rc )
> + return rc;
> +
> + rc = elf_get_sym(elf, data);
> + if ( rc )
> + return rc;
> +
> + return 0;
> +}
> +
> +void xsplice_elf_free(struct xsplice_elf *elf)
> +{
> + xfree(elf->sec);
> + elf->sec = NULL;
> + xfree(elf->sym);
> + elf->sym = NULL;
> + elf->nsym = 0;
> + elf->name = NULL;
> + elf->len = 0;
> +}
Variable block please.
> diff --git a/xen/include/xen/xsplice_elf.h b/xen/include/xen/xsplice_elf.h
> new file mode 100644
> index 0000000..42dbc6f
> --- /dev/null
> +++ b/xen/include/xen/xsplice_elf.h
> @@ -0,0 +1,37 @@
> +#ifndef __XEN_XSPLICE_ELF_H__
> +#define __XEN_XSPLICE_ELF_H__
> +
> +#include <xen/types.h>
> +#include <xen/elfstructs.h>
> +
> +/* The following describes an Elf file as consumed by xSplice. */
> +struct xsplice_elf_sec {
> + Elf_Shdr *sec; /* Hooked up in elf_resolve_sections. */
> + const char *name; /* Human readable name hooked in
> + elf_resolve_section_names. */
> + const uint8_t *data; /* Pointer to the section (done by
> + elf_resolve_sections). */
> +};
> +
> +struct xsplice_elf_sym {
> + Elf_Sym *sym;
> + const char *name;
> +};
> +
> +struct xsplice_elf {
> + const char *name; /* Pointer to payload->name. */
> + ssize_t len; /* Length of the ELF file. */
> + Elf_Ehdr *hdr; /* ELF file. */
> + struct xsplice_elf_sec *sec; /* Array of sections, allocated by us. */
> + struct xsplice_elf_sym *sym; /* Array of symbols , allocated by us. */
> + unsigned int nsym;
> + struct xsplice_elf_sec *symtab;/* Pointer to .symtab section - aka to sec[x]. */
> + struct xsplice_elf_sec *strtab;/* Pointer to .strtab section - aka to sec[y]. */
> +};
> +
> +struct xsplice_elf_sec *xsplice_elf_sec_by_name(const struct xsplice_elf *elf,
> + const char *name);
> +int xsplice_elf_load(struct xsplice_elf *elf, uint8_t *data);
> +void xsplice_elf_free(struct xsplice_elf *elf);
> +
> +#endif /* __XEN_XSPLICE_ELF_H__ */
Variable block please.
~Andrew
next prev parent reply other threads:[~2016-02-12 20:24 UTC|newest]
Thread overview: 86+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-02-12 18:05 [PATCH v3] xSplice v1 implementation and design Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 01/23] xen/xsplice: Hypervisor implementation of XEN_XSPLICE_op (v10) Konrad Rzeszutek Wilk
2016-02-12 20:11 ` Andrew Cooper
2016-02-12 20:40 ` Konrad Rzeszutek Wilk
2016-02-12 20:53 ` Andrew Cooper
2016-02-15 8:16 ` Jan Beulich
2016-02-19 19:36 ` Konrad Rzeszutek Wilk
2016-02-19 19:43 ` Andrew Cooper
2016-02-12 18:05 ` [PATCH v3 02/23] libxc: Implementation of XEN_XSPLICE_op in libxc (v5) Konrad Rzeszutek Wilk
2016-02-15 12:35 ` Wei Liu
2016-02-19 20:04 ` Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 03/23] xen-xsplice: Tool to manipulate xsplice payloads (v4) Konrad Rzeszutek Wilk
2016-02-15 12:59 ` Wei Liu
2016-02-19 20:46 ` Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 04/23] elf: Add relocation types to elfstructs.h Konrad Rzeszutek Wilk
2016-02-12 20:13 ` Andrew Cooper
2016-02-15 8:34 ` Jan Beulich
2016-02-19 21:05 ` Konrad Rzeszutek Wilk
2016-02-22 10:17 ` Jan Beulich
2016-02-22 15:19 ` Ross Lagerwall
2016-02-12 18:05 ` [PATCH v3 05/23] xsplice: Add helper elf routines (v4) Konrad Rzeszutek Wilk
2016-02-12 20:24 ` Andrew Cooper [this message]
2016-02-12 20:47 ` Konrad Rzeszutek Wilk
2016-02-12 20:52 ` Andrew Cooper
2016-02-12 18:05 ` [PATCH v3 06/23] xsplice: Implement payload loading (v4) Konrad Rzeszutek Wilk
2016-02-12 20:48 ` Andrew Cooper
2016-02-19 22:03 ` Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 07/23] xsplice: Implement support for applying/reverting/replacing patches. (v5) Konrad Rzeszutek Wilk
2016-02-16 19:11 ` Andrew Cooper
2016-02-17 8:58 ` Ross Lagerwall
2016-02-17 10:50 ` Jan Beulich
2016-02-19 9:30 ` Ross Lagerwall
2016-02-23 20:41 ` Konrad Rzeszutek Wilk
2016-02-23 20:53 ` Konrad Rzeszutek Wilk
2016-02-23 20:57 ` Konrad Rzeszutek Wilk
2016-02-23 21:10 ` Andrew Cooper
2016-02-24 9:31 ` Jan Beulich
2016-02-22 15:00 ` Ross Lagerwall
2016-02-22 17:06 ` Ross Lagerwall
2016-02-23 20:47 ` Konrad Rzeszutek Wilk
2016-02-23 20:43 ` Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 08/23] x86/xen_hello_world.xsplice: Test payload for patching 'xen_extra_version'. (v2) Konrad Rzeszutek Wilk
2016-02-16 11:31 ` Ross Lagerwall
2016-02-12 18:05 ` [PATCH v3 09/23] xsplice: Add support for bug frames. (v4) Konrad Rzeszutek Wilk
2016-02-16 19:35 ` Andrew Cooper
2016-02-24 16:22 ` Konrad Rzeszutek Wilk
2016-02-24 16:30 ` Andrew Cooper
2016-02-24 16:26 ` Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 10/23] xsplice: Add support for exception tables. (v2) Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 11/23] xsplice: Add support for alternatives Konrad Rzeszutek Wilk
2016-02-16 19:41 ` Andrew Cooper
2016-02-12 18:05 ` [PATCH v3 12/23] xsm/xen_version: Add XSM for the xen_version hypercall (v8) Konrad Rzeszutek Wilk
2016-02-12 21:52 ` Daniel De Graaf
2016-02-12 18:05 ` [PATCH v3 13/23] XENVER_build_id: Provide ld-embedded build-ids (v10) Konrad Rzeszutek Wilk
2016-02-12 21:52 ` Daniel De Graaf
2016-02-16 20:09 ` Andrew Cooper
2016-02-16 20:22 ` Konrad Rzeszutek Wilk
2016-02-16 20:26 ` Andrew Cooper
2016-02-16 20:40 ` Konrad Rzeszutek Wilk
2016-02-24 18:52 ` Konrad Rzeszutek Wilk
2016-02-24 19:13 ` Andrew Cooper
2016-02-24 20:54 ` Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 14/23] libxl: info: Display build_id of the hypervisor Konrad Rzeszutek Wilk
2016-02-15 12:45 ` Wei Liu
2016-02-12 18:05 ` [PATCH v3 15/23] xsplice: Print build_id in keyhandler Konrad Rzeszutek Wilk
2016-02-16 20:13 ` Andrew Cooper
2016-02-12 18:05 ` [PATCH v3 16/23] xsplice: basic build-id dependency checking Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 17/23] xsplice: Print dependency and payloads build_id in the keyhandler Konrad Rzeszutek Wilk
2016-02-16 20:20 ` Andrew Cooper
2016-02-17 11:10 ` Jan Beulich
2016-02-24 21:54 ` Konrad Rzeszutek Wilk
2016-02-25 8:47 ` Jan Beulich
2016-02-12 18:05 ` [PATCH v3 18/23] xsplice: Prevent duplicate payloads to be loaded Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 19/23] xsplice, symbols: Implement symbol name resolution on address. (v2) Konrad Rzeszutek Wilk
2016-02-22 14:57 ` Ross Lagerwall
2016-02-12 18:05 ` [PATCH v3 20/23] x86, xsplice: Print payload's symbol name and module in backtraces Konrad Rzeszutek Wilk
2016-02-12 18:05 ` [PATCH v3 21/23] xsplice: Add support for shadow variables Konrad Rzeszutek Wilk
2016-03-07 7:40 ` Martin Pohlack
2016-03-15 18:02 ` Konrad Rzeszutek Wilk
2016-03-07 18:52 ` Martin Pohlack
2016-02-12 18:06 ` [PATCH v3 22/23] xsplice: Add hooks functions and other macros Konrad Rzeszutek Wilk
2016-02-12 18:06 ` [PATCH v3 23/23] xsplice, hello_world: Use the XSPLICE_[UN|]LOAD_HOOK hooks for two functions Konrad Rzeszutek Wilk
2016-02-12 21:57 ` [PATCH v3] xSplice v1 implementation and design Konrad Rzeszutek Wilk
2016-02-12 21:57 ` [PATCH v3 MISSING/23] xsplice: Design document (v7) Konrad Rzeszutek Wilk
2016-02-18 16:20 ` Jan Beulich
2016-02-19 18:36 ` Konrad Rzeszutek Wilk
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=56BE3F79.5020607@citrix.com \
--to=andrew.cooper3@citrix.com \
--cc=ian.campbell@citrix.com \
--cc=ian.jackson@eu.citrix.com \
--cc=jbeulich@suse.com \
--cc=jinsong.liu@alibaba-inc.com \
--cc=keir@xen.org \
--cc=konrad.wilk@oracle.com \
--cc=konrad@kernel.org \
--cc=mpohlack@amazon.de \
--cc=ross.lagerwall@citrix.com \
--cc=sasha.levin@citrix.com \
--cc=tim@xen.org \
--cc=xen-devel@lists.xen.org \
--cc=xen-devel@lists.xenproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.