Blame libdw/libdw_form.c

Packit 032894
/* Helper functions for form handling.
Packit 032894
   Copyright (C) 2003-2009, 2014 Red Hat, Inc.
Packit 032894
   This file is part of elfutils.
Packit 032894
   Written by Ulrich Drepper <drepper@redhat.com>, 2003.
Packit 032894
Packit 032894
   This file is free software; you can redistribute it and/or modify
Packit 032894
   it under the terms of either
Packit 032894
Packit 032894
     * the GNU Lesser General Public License as published by the Free
Packit 032894
       Software Foundation; either version 3 of the License, or (at
Packit 032894
       your option) any later version
Packit 032894
Packit 032894
   or
Packit 032894
Packit 032894
     * the GNU General Public License as published by the Free
Packit 032894
       Software Foundation; either version 2 of the License, or (at
Packit 032894
       your option) any later version
Packit 032894
Packit 032894
   or both in parallel, as here.
Packit 032894
Packit 032894
   elfutils is distributed in the hope that it will be useful, but
Packit 032894
   WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 032894
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit 032894
   General Public License for more details.
Packit 032894
Packit 032894
   You should have received copies of the GNU General Public License and
Packit 032894
   the GNU Lesser General Public License along with this program.  If
Packit 032894
   not, see <http://www.gnu.org/licenses/>.  */
Packit 032894
Packit 032894
#ifdef HAVE_CONFIG_H
Packit 032894
# include <config.h>
Packit 032894
#endif
Packit 032894
Packit 032894
#include <dwarf.h>
Packit 032894
#include <string.h>
Packit 032894
Packit 032894
#include "libdwP.h"
Packit 032894
Packit 032894
Packit 032894
size_t
Packit 032894
internal_function
Packit 032894
__libdw_form_val_compute_len (struct Dwarf_CU *cu, unsigned int form,
Packit 032894
			      const unsigned char *valp)
Packit 032894
{
Packit 032894
  const unsigned char *startp = valp;
Packit 032894
  const unsigned char *endp = cu->endp;
Packit 032894
  Dwarf_Word u128;
Packit 032894
  size_t result;
Packit 032894
Packit 032894
  /* NB: This doesn't cover constant form lengths, which are
Packit 032894
     already handled by the inlined __libdw_form_val_len.  */
Packit 032894
  switch (form)
Packit 032894
    {
Packit 032894
    case DW_FORM_addr:
Packit 032894
      result = cu->address_size;
Packit 032894
      break;
Packit 032894
Packit 032894
    case DW_FORM_ref_addr:
Packit 032894
      result = cu->version == 2 ? cu->address_size : cu->offset_size;
Packit 032894
      break;
Packit 032894
Packit 032894
    case DW_FORM_strp:
Packit 032894
    case DW_FORM_strp_sup:
Packit 032894
    case DW_FORM_line_strp:
Packit 032894
    case DW_FORM_sec_offset:
Packit 032894
    case DW_FORM_GNU_ref_alt:
Packit 032894
    case DW_FORM_GNU_strp_alt:
Packit 032894
      result = cu->offset_size;
Packit 032894
      break;
Packit 032894
Packit 032894
    case DW_FORM_block1:
Packit 032894
      if (unlikely ((size_t) (endp - startp) < 1))
Packit 032894
	goto invalid;
Packit 032894
      result = *valp + 1;
Packit 032894
      break;
Packit 032894
Packit 032894
    case DW_FORM_block2:
Packit 032894
      if (unlikely ((size_t) (endp - startp) < 2))
Packit 032894
	goto invalid;
Packit 032894
      result = read_2ubyte_unaligned (cu->dbg, valp) + 2;
Packit 032894
      break;
Packit 032894
Packit 032894
    case DW_FORM_block4:
Packit 032894
      if (unlikely ((size_t) (endp - startp) < 4))
Packit 032894
	goto invalid;
Packit 032894
      result = read_4ubyte_unaligned (cu->dbg, valp) + 4;
Packit 032894
      break;
Packit 032894
Packit 032894
    case DW_FORM_block:
Packit 032894
    case DW_FORM_exprloc:
Packit 032894
      get_uleb128 (u128, valp, endp);
Packit 032894
      result = u128 + (valp - startp);
Packit 032894
      break;
Packit 032894
Packit 032894
    case DW_FORM_string:
Packit 032894
      {
Packit 032894
	const unsigned char *endstrp = memchr (valp, '\0',
Packit 032894
					       (size_t) (endp - startp));
Packit 032894
	if (unlikely (endstrp == NULL))
Packit 032894
	  goto invalid;
Packit 032894
	result = (size_t) (endstrp - startp) + 1;
Packit 032894
	break;
Packit 032894
      }
Packit 032894
Packit 032894
    case DW_FORM_sdata:
Packit 032894
    case DW_FORM_udata:
Packit 032894
    case DW_FORM_ref_udata:
Packit 032894
    case DW_FORM_addrx:
Packit 032894
    case DW_FORM_loclistx:
Packit 032894
    case DW_FORM_rnglistx:
Packit 032894
    case DW_FORM_strx:
Packit 032894
    case DW_FORM_GNU_addr_index:
Packit 032894
    case DW_FORM_GNU_str_index:
Packit 032894
      get_uleb128 (u128, valp, endp);
Packit 032894
      result = valp - startp;
Packit 032894
      break;
Packit 032894
Packit 032894
    case DW_FORM_indirect:
Packit 032894
      get_uleb128 (u128, valp, endp);
Packit 032894
      // XXX Is this really correct?
Packit 032894
      result = __libdw_form_val_len (cu, u128, valp);
Packit 032894
      if (result != (size_t) -1)
Packit 032894
	result += valp - startp;
Packit 032894
      else
Packit 032894
        return (size_t) -1;
Packit 032894
      break;
Packit 032894
Packit 032894
    default:
Packit 032894
      goto invalid;
Packit 032894
    }
Packit 032894
Packit 032894
  if (unlikely (result > (size_t) (endp - startp)))
Packit 032894
    {
Packit 032894
    invalid:
Packit 032894
      __libdw_seterrno (DWARF_E_INVALID_DWARF);
Packit 032894
      result = (size_t) -1;
Packit 032894
    }
Packit 032894
Packit 032894
  return result;
Packit 032894
}