[FFmpeg-trac] #8269(undetermined:new): outside the range of int at libavfilter/vf_dctdnoiz.c
FFmpeg
trac at avcodec.org
Mon Oct 14 04:39:36 EEST 2019
#8269: outside the range of int at libavfilter/vf_dctdnoiz.c
-------------------------------------+-------------------------------------
Reporter: Suhwan | Type: defect
Status: new | Priority: normal
Component: | Version: git-
undetermined | master
Keywords: ubsan | Blocked By:
Blocking: | Reproduced by developer: 0
Analyzed by developer: 0 |
-------------------------------------+-------------------------------------
Summary of the bug:
There are an outside the range of int and 2 integer division by zero at
libavfilter/vf_dctdnoiz.c
I compiled ffmpeg with "--toolchain=clang-usan" to check the undefined-
behaviours and attached log file.
How to reproduce:
{{{
% ffmpeg_g -y -i $PoC -filter_complex dctdnoiz -target dv -loglevel 0
-map 0 tmp.epaf
ffmpeg version N-95343-ge835a9d302 Copyright (c) 2000-2019 the FFmpeg
developers
built with clang version 6.0.0-1ubuntu2 (tags/RELEASE_600/final)
configuration: --cc=clang --cxx=clang++ --ld=clang --enable-debug
--toolchain=clang-usan
}}}
Here's UBSAN log
{{{
libavfilter/vf_dctdnoiz.c:593:39: runtime error: division by zero
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior
libavfilter/vf_dctdnoiz.c:593:39 in
libavfilter/vf_dctdnoiz.c:593:15: runtime error: inf is outside the range
of representable values of type 'int'
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior
libavfilter/vf_dctdnoiz.c:593:15 in
libavfilter/vf_dctdnoiz.c:613:45: runtime error: division by zero
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior
libavfilter/vf_dctdnoiz.c:613:45 in
}}}
Please confirm.
Thanks
--
Ticket URL: <https://trac.ffmpeg.org/ticket/8269>
FFmpeg <https://ffmpeg.org>
FFmpeg issue tracker
More information about the FFmpeg-trac
mailing list