VYPR
Moderate severityNVD Advisory· Published Nov 25, 2020· Updated Aug 4, 2024

Memory leak in nanopb

CVE-2020-26243

Description

Nanopb is a small code-size Protocol Buffers implementation. In Nanopb before versions 0.4.4 and 0.3.9.7, decoding specifically formed message can leak memory if dynamic allocation is enabled and an oneof field contains a static submessage that contains a dynamic field, and the message being decoded contains the submessage multiple times. This is rare in normal messages, but it is a concern when untrusted data is parsed. This is fixed in versions 0.3.9.7 and 0.4.4. The following workarounds are available: 1) Set the option no_unions for the oneof field. This will generate fields as separate instead of C union, and avoids triggering the problematic code. 2) Set the type of the submessage field inside oneof to FT_POINTER. This way the whole submessage will be dynamically allocated and the problematic code is not executed. 3) Use an arena allocator for nanopb, to make sure all memory can be released afterwards.

Affected packages

Versions sourced from the GitHub Security Advisory.

PackageAffected versionsPatched versions
nanopbPyPI
>= 0.3.2, < 0.3.9.70.3.9.7
nanopbPyPI
>= 0.4.0, < 0.4.40.4.4

Affected products

1

Patches

1
4fe23595732b

Fix memory leak with oneofs and PB_ENABLE_MALLOC (#615)

https://github.com/nanopb/nanopbPetteri AimonenNov 25, 2020via ghsa
1 file changed · +6 3
  • pb_decode.c+6 3 modified
    @@ -464,14 +464,17 @@ static bool checkreturn decode_static_field(pb_istream_t *stream, pb_wire_type_t
                 }
     
             case PB_HTYPE_ONEOF:
    -            *(pb_size_t*)iter->pSize = iter->pos->tag;
    -            if (PB_LTYPE(type) == PB_LTYPE_SUBMESSAGE)
    +            if (PB_LTYPE(type) == PB_LTYPE_SUBMESSAGE &&
    +                *(pb_size_t*)iter->pSize != iter->pos->tag)
                 {
                     /* We memset to zero so that any callbacks are set to NULL.
    -                 * Then set any default values. */
    +                 * This is because the callbacks might otherwise have values
    +                 * from some other union field. */
                     memset(iter->pData, 0, iter->pos->data_size);
                     pb_message_set_to_defaults((const pb_field_t*)iter->pos->ptr, iter->pData);
                 }
    +            *(pb_size_t*)iter->pSize = iter->pos->tag;
    +
                 return func(stream, iter->pos, iter->pData);
     
             default:
    

Vulnerability mechanics

Generated on May 9, 2026. Inputs: CWE entries + fix-commit diffs from this CVE's patches. Citations validated against bundle.

References

6

News mentions

0

No linked articles in our index yet.