[FFmpeg-devel] [PATCH 5/6] avcodec/mpeg4videodec: Fix runtime error: signed integer overflow: -135088512 * 16 cannot be represented in type 'int'

Michael Niedermayer michael at niedermayer.cc
Fri Mar 10 00:26:26 EET 2017

On Wed, Mar 08, 2017 at 11:28:42PM +0100, Michael Niedermayer wrote:
> Fixes: 736/clusterfuzz-testcase-5580263943831552
> Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/targets/ffmpeg
> Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>
> ---
>  libavcodec/mpeg4videodec.c | 12 +++++++++++-
>  1 file changed, 11 insertions(+), 1 deletion(-)


Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

Awnsering whenever a program halts or runs forever is
On a turing machine, in general impossible (turings halting problem).
On any real computer, always possible as a real computer has a finite number
of states N, and will either halt in less than N cycles or never halt.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: Digital signature
URL: <http://ffmpeg.org/pipermail/ffmpeg-devel/attachments/20170309/3ca42da0/attachment.sig>

More information about the ffmpeg-devel mailing list