[PATCH] Avoid divide by zero when reading invalid PDB archive
Alan Modra
amodra@gmail.com
Fri Sep 16 03:31:49 GMT 2022
On Fri, Sep 16, 2022 at 01:40:34AM +0100, Mark Harmstone wrote:
> As discovered by Alan Modra - see
> https://sourceware.org/pipermail/binutils/2022-September/122878.html.
>
> ---
> bfd/pdb.c | 6 ++++++
> 1 file changed, 6 insertions(+)
>
> diff --git a/bfd/pdb.c b/bfd/pdb.c
> index 9a431c23b1f..0ce3bc46ac6 100644
> --- a/bfd/pdb.c
> +++ b/bfd/pdb.c
> @@ -80,6 +80,12 @@ pdb_get_elt_at_index (bfd *abfd, symindex sym_index)
>
> block_size = bfd_getl32 (int_buf);
>
> + if (block_size == 0)
> + {
> + bfd_set_error (bfd_error_malformed_archive);
> + return NULL;
> + }
> +
I was looking for a little more than just preventing the divide by
zero. Based on the doc link at llvm.org, I wrote the following:
if ((block_size & -block_size) != block_size
|| block_size < 512
|| block_size > 4096)
{
bfd_set_error (bfd_error_malformed_archive);
return NULL;
}
But then looked further at your code and wondered about all the rest
of the 32-bit values read from file. For example,
block_map_addr * block_size might overflow. (Which leads to the
question of whether you can have pdb files larger than 4G?)
You probably want something like
file_ptr block_size, where;
...
block_map_addr = bfd_getl32 (int_buf);
if (_bfd_mul_overflow (block_map_addr, block_size, &where))
{
bfd_set_error (bfd_error_malformed_archive);
return NULL;
}
if (bfd_seek (abfd, where, SEEK_SET))
return NULL;
Using file_ptr for block_size will perform the multiply in the
appropriate size for the host system.
I'll commit the patch I wrote, and leave the rest for you to do at
your leisure.
--
Alan Modra
Australia Development Lab, IBM
More information about the Binutils
mailing list