diff options
author | Chris Johns <chrisj@rtems.org> | 2019-02-18 12:37:05 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2019-02-20 09:08:38 +1100 |
commit | 7aa0530973b73866d26004849bc91856809f2b49 (patch) | |
tree | dd3d573ee4ccad110e6e74d7be14773052cf91a0 /cpukit | |
parent | libdl/archive: Fix the config file string index while removing tailing white ... (diff) | |
download | rtems-7aa0530973b73866d26004849bc91856809f2b49.tar.bz2 |
libdl/archive: Check for an overflow of the symbol table.
Coverty 1442636
Updates #3686
Diffstat (limited to 'cpukit')
-rw-r--r-- | cpukit/libdl/rtl-archive.c | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/cpukit/libdl/rtl-archive.c b/cpukit/libdl/rtl-archive.c index 8490b4bc07..77ad2b0d30 100644 --- a/cpukit/libdl/rtl-archive.c +++ b/cpukit/libdl/rtl-archive.c @@ -678,10 +678,20 @@ rtems_rtl_archive_loader (rtems_rtl_archive* archive, void* data) } /* - * The first 4 byte value is the number of entries. + * The first 4 byte value is the number of entries. Range check the + * value so the alloc size does not overflow (Coverity 1442636). */ archive->symbols.entries = rtems_rtl_archive_read_32 (archive->symbols.base); + if (archive->symbols.entries >= (SIZE_MAX / sizeof (rtems_rtl_archive_symbol))) + { + rtems_rtl_alloc_del (RTEMS_RTL_ALLOC_SYMBOL, archive->symbols.base); + close (fd); + memset (&archive->symbols, 0, sizeof (archive->symbols)); + rtems_rtl_archive_set_error (errno, "too many symbols"); + return true; + } + archive->symbols.size = size; archive->symbols.names = archive->symbols.base; archive->symbols.names += (archive->symbols.entries + 1) * 4; @@ -691,8 +701,7 @@ rtems_rtl_archive_loader (rtems_rtl_archive* archive, void* data) */ if (archive->symbols.entries > RTEMS_RTL_ARCHIVE_SYMBOLS_SORT) { - const size_t size = - archive->symbols.entries * sizeof (rtems_rtl_archive_symbol); + size = archive->symbols.entries * sizeof (rtems_rtl_archive_symbol); archive->symbols.symbols = rtems_rtl_alloc_new (RTEMS_RTL_ALLOC_SYMBOL, size, true); if (archive->symbols.symbols != NULL) |