diff options
author | Nick Alcock <nick.alcock@oracle.com> | 2020-06-02 20:17:51 +0100 |
---|---|---|
committer | Nick Alcock <nick.alcock@oracle.com> | 2020-07-22 17:57:22 +0100 |
commit | afd78bd6f0a30ba57adaea870c05cbbb925cc769 (patch) | |
tree | 5aa833e003150dab85ed8b1c9a544bf1dce64691 /libctf/ctf-create.c | |
parent | 2361f1c85913a0ff0955069bf3182011765a8ae8 (diff) | |
download | binutils-afd78bd6f0a30ba57adaea870c05cbbb925cc769.zip binutils-afd78bd6f0a30ba57adaea870c05cbbb925cc769.tar.gz binutils-afd78bd6f0a30ba57adaea870c05cbbb925cc769.tar.bz2 |
libctf, create: do not corrupt function types' arglists at insertion time
ctf_add_function assumes that function types' arglists are of type
ctf_id_t. Since they are CTF IDs, they are 32 bits wide, a uint32_t:
unfortunately ctf_id_t is a forward-compatible user-facing 64 bits wide,
and should never ever reach the CTF storage level.
All the CTF code other than ctf_add_function correctly assumes that
function arglists outside dynamic containers are 32 bits wide, so the
serialization machinery ends up cutting off half the arglist, corrupting
all args but the first (a good sign is a bunch of args of ID 0, the
unimplemented type, popping up).
Fix this by copying the arglist into place item by item, casting it
properly, at the same time as we validate the arg types. Fix the type
of the dtu_argv in the dynamic container and drop the now-unnecessary
cast in the serializer.
libctf/
* ctf-impl.h (ctf_dtdef_t) <dtu_argv>: Fix type.
* ctf-create.c (ctf_add_function): Check for unimplemented type
and populate at the same time. Populate one-by-one, not via
memcpy.
(ctf_serialize): Remove unnecessary cast.
* ctf-types.c (ctf_func_type_info): Likewise.
(ctf_func_type_args): Likewise. Fix comment typo.
Diffstat (limited to 'libctf/ctf-create.c')
-rw-r--r-- | libctf/ctf-create.c | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/libctf/ctf-create.c b/libctf/ctf-create.c index 67a3f19..f91da6e 100644 --- a/libctf/ctf-create.c +++ b/libctf/ctf-create.c @@ -448,7 +448,7 @@ ctf_serialize (ctf_file_t *fp) uint32_t argc; for (argc = 0; argc < vlen; argc++) - *argv++ = (uint32_t) dtd->dtd_u.dtu_argv[argc]; + *argv++ = dtd->dtd_u.dtu_argv[argc]; if (vlen & 1) *argv++ = 0; /* Pad to 4-byte boundary. */ @@ -1052,7 +1052,7 @@ ctf_add_function (ctf_file_t *fp, uint32_t flag, ctf_dtdef_t *dtd; ctf_id_t type; uint32_t vlen; - ctf_id_t *vdat = NULL; + uint32_t *vdat = NULL; ctf_file_t *tmp = fp; size_t i; @@ -1068,19 +1068,23 @@ ctf_add_function (ctf_file_t *fp, uint32_t flag, && ctf_lookup_by_id (&tmp, ctc->ctc_return) == NULL) return CTF_ERR; /* errno is set for us. */ - for (i = 0; i < ctc->ctc_argc; i++) - { - tmp = fp; - if (argv[i] != 0 && ctf_lookup_by_id (&tmp, argv[i]) == NULL) - return CTF_ERR; /* errno is set for us. */ - } - if (vlen > CTF_MAX_VLEN) return (ctf_set_errno (fp, EOVERFLOW)); if (vlen != 0 && (vdat = malloc (sizeof (ctf_id_t) * vlen)) == NULL) return (ctf_set_errno (fp, EAGAIN)); + for (i = 0; i < ctc->ctc_argc; i++) + { + tmp = fp; + if (argv[i] != 0 && ctf_lookup_by_id (&tmp, argv[i]) == NULL) + { + free (vdat); + return CTF_ERR; /* errno is set for us. */ + } + vdat[i] = (uint32_t) argv[i]; + } + if ((type = ctf_add_generic (fp, flag, NULL, CTF_K_FUNCTION, &dtd)) == CTF_ERR) { @@ -1091,7 +1095,6 @@ ctf_add_function (ctf_file_t *fp, uint32_t flag, dtd->dtd_data.ctt_info = CTF_TYPE_INFO (CTF_K_FUNCTION, flag, vlen); dtd->dtd_data.ctt_type = (uint32_t) ctc->ctc_return; - memcpy (vdat, argv, sizeof (ctf_id_t) * ctc->ctc_argc); if (ctc->ctc_flags & CTF_FUNC_VARARG) vdat[vlen - 1] = 0; /* Add trailing zero to indicate varargs. */ dtd->dtd_u.dtu_argv = vdat; |