The REENT_CHECK macro (see newlib/libc/include/sys/reent.h) as used by REENT_CHECK_TM, REENT_CHECK_MISC, REENT_CHECK_MP and other newlib macros in versions prior to 3.3.0, does not check for memory allocation problems when the DEBUG flag is unset (as is the case in production firmware builds).
Weakness
The product dereferences a pointer that it expects to be valid but is NULL.
Affected Software
| Name | Vendor | Start Version | End Version |
|---|---|---|---|
| Newlib | Newlib_project | * | 3.3.0 (excluding) |
| Gcc-snapshot | Ubuntu | bionic | * |
| Gcc-snapshot | Ubuntu | trusty | * |
| Gcc-snapshot | Ubuntu | xenial | * |
| Newlib | Ubuntu | bionic | * |
| Newlib | Ubuntu | eoan | * |
| Newlib | Ubuntu | esm-apps/bionic | * |
| Newlib | Ubuntu | esm-apps/xenial | * |
| Newlib | Ubuntu | groovy | * |
| Newlib | Ubuntu | hirsute | * |
| Newlib | Ubuntu | impish | * |
| Newlib | Ubuntu | kinetic | * |
| Newlib | Ubuntu | trusty | * |
| Newlib | Ubuntu | upstream | * |
| Newlib | Ubuntu | xenial | * |