unknown fields fuzzed about libprotobuf-mutator HOT 5 OPEN

Hi, I saw this issue pop up in OSS Fuzz and also google3 (example: b/160321599).

Root cause is that protobuf text format does not have proper stack overflow protection. This was initially noticed in #172. I added this code to fix it: https://github.com/protocolbuffers/protobuf/blob/6935eae45c99926a000ecbef0be20dfd3d159e71/src/google/protobuf/text_format.cc#L675

But it looks like there is one edge case where the text format library can recurse on unknown fields without hitting the recursion protection: https://github.com/protocolbuffers/protobuf/blob/6935eae45c99926a000ecbef0be20dfd3d159e71/src/google/protobuf/text_format.cc#L844

Which is triggered by the input @asraa posted above, deeply nested arrays.

I will make a PR to protobuf to fix this edge case...

from libprotobuf-mutator.

It looks like as an input from a different fuzzer. Maybe something in OSS-Fuzz tries to mix them?

from libprotobuf-mutator.

Yes!! You're right. OSS-Fuzz does cross pollination of corpora.

Hmmm. I see. So this is not an issue of LPM generating unknown fields, but because unknown fields were passed in to the fuzzer.

from libprotobuf-mutator.

LPM does not generate unknown fields
However it would be nice to fix libprotobuf to not crash here. It has buffer overflow protection counter but it's probably not checked for this case.

from libprotobuf-mutator.

Ah!! I see where it is. Thanks Teju, let me know if you need help.

from libprotobuf-mutator.