It is possible to cause an use-after-free write in SANM decoding with a carefully crafted...

It is possible to cause an use-after-free write in SANM decoding with a carefully crafted animation using subversion <2.

When a STOR chunk is present, a subsequent FOBJ chunk will be saved in ctx->storedframe. Stored frames can later be referenced by FTCH chunks. For files using subversion < 2, the undecoded frame is stored, and decoded again when the FTCH chunks are parsed. However, in processframe_obj if the frame has an invalid size, there’s an early return, with a value of 0.

This causes the code in decodeframe to still store the raw frame buffer into ctx->storedframe. Leaving ctx->has_dimensions set to false.

A subsequent chunk with type FTCH would call processftch and decode that frame obj again, adding to the top/left values and calling processframeobj again. Given that we never set ctx->havedimensions before, this time we set the dimensions, calling initbuffers, which can reallocate the buffer in ctx->storedframe, freeing the previous one. However, the GetByteContext object gb still holds a reference to the old buffer.

Finally, when the code tries to decode the frame, codecs that accept a GetByteContext as a parameter will trigger a use-after-free read when using gb.

GetByteContext is only used for reading bytes, so at most one could read invalid data. There are no heap allocations between the free and when the object is accessed. However, upon returning to processftch, the code restores the original values for top/left in storedframe, writing 4 bytes to the freed data at offset 6, potentially corrupting the allocator’s metadata.

This issue can be triggered just by probing whether a file has the sanm format.

We recommend upgrading to version 8.0 or beyond.