zerodiv ftp://ftp.de.debian.org/debian/pool/main/d/dadadodo/dadadodo_1.04.orig.tar.gz dadadodo-1.04/generate.c:57:11: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/d/dangen/dangen_0.5.orig.tar.gz dangen-0.5/spqr/flatdice.c:182:15: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/d/daq/daq_3.0.0-alpha5.orig.tar.gz daq-3.0.0/modules/afpacket/daq_afpacket.c:961:28: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/d/dascrubber/dascrubber_1.1.orig.tar.gz DASCRUBBER-1.1/DAStrim.c:729:33: error: Division by zero. [zerodiv] DASCRUBBER-1.1/DAStrim.c:780:33: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/d/dcmtk/dcmtk_3.6.7.orig.tar.gz dcmtk-DCMTK-3.6.7/dcmimage/libsrc/diqtctab.cc:318:17: error: Division by zero. [zerodiv] dcmtk-DCMTK-3.6.7/dcmjpeg/libijg12/jquant2.c:533:66: error: Division by zero. [zerodiv] dcmtk-DCMTK-3.6.7/dcmjpeg/libijg12/jquant2.c:534:66: error: Division by zero. [zerodiv] dcmtk-DCMTK-3.6.7/dcmjpeg/libijg12/jquant2.c:535:66: error: Division by zero. [zerodiv] dcmtk-DCMTK-3.6.7/dcmjpeg/libijg16/jquant2.c:533:66: error: Division by zero. [zerodiv] dcmtk-DCMTK-3.6.7/dcmjpeg/libijg16/jquant2.c:534:66: error: Division by zero. [zerodiv] dcmtk-DCMTK-3.6.7/dcmjpeg/libijg16/jquant2.c:535:66: error: Division by zero. [zerodiv] dcmtk-DCMTK-3.6.7/dcmjpeg/libijg8/jquant2.c:533:66: error: Division by zero. [zerodiv] dcmtk-DCMTK-3.6.7/dcmjpeg/libijg8/jquant2.c:534:66: error: Division by zero. [zerodiv] dcmtk-DCMTK-3.6.7/dcmjpeg/libijg8/jquant2.c:535:66: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/d/dialign-t/dialign-t_1.0.2.orig.tar.gz DIALIGN-TX_1.0.2/source/io.c:500:25: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/d/djvulibre/djvulibre_3.5.28.orig.tar.xz djvulibre-3.5.28/tools/jb2cmp/cuts.cpp:153:59: error: Division by zero. [zerodiv] djvulibre-3.5.28/tools/jb2cmp/cuts.cpp:197:61: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/d/drawxtl/drawxtl_5.5.orig.tar.gz DRAWxtl/source/DRAWxtl55/gl2gif.cxx:542:8: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/e/ekg/ekg_1.9~pre+r2855.orig.tar.gz ekg-1.9~pre+r2855/src/ui-ncurses.c:3733:38: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/e/exactimage/exactimage_1.0.2.orig.tar.bz2 exact-image-1.0.2/codecs/dcraw.h:3891:26: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/f/fairy-stockfish/fairy-stockfish_11.1.orig.tar.gz Fairy-Stockfish-fairy_sf_11_1/src/movepick.h:51:41: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/f/fastlink/fastlink_4.1P-fix100+dfsg.orig.tar.xz fastlink/4.1P/src/loopbrk.c:219:20: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/f/faulthandler/faulthandler_3.1.orig.tar.gz faulthandler-3.1/faulthandler.c:957:11: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/f/fbi/fbi_2.10.orig.tar.gz fbi-2.10/viewer.c:160:24: error: Division by zero. [zerodiv] fbi-2.10/viewer.c:161:26: error: Division by zero. [zerodiv] fbi-2.10/viewer.c:162:24: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/f/ffmpeg/ffmpeg_5.0.1.orig.tar.xz ffmpeg-5.0.1/libavcodec/mss3.c:180:25: error: Division by zero. [zerodiv] ffmpeg-5.0.1/libavfilter/vf_signature.c:271:28: error: Division by zero. [zerodiv] ffmpeg-5.0.1/libavfilter/vf_signature.c:281:33: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/f/fltk1.3/fltk1.3_1.3.8.orig.tar.gz fltk-1.3.8/jpeg/jquant2.c:533:66: error: Division by zero. [zerodiv] fltk-1.3.8/jpeg/jquant2.c:534:66: error: Division by zero. [zerodiv] fltk-1.3.8/jpeg/jquant2.c:535:66: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/f/flycheck/flycheck_32~git.20200527.9c435db3.orig.tar.xz flycheck-32~git.20200527.9c435db3/test/resources/language/c_c++/style.cpp:9:18: error: Division by zero. [zerodiv] ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/constructs/oracle/gen_lazy.c:53:35: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/constructs/oracle/gen_lazy.c:104:34: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/src/plugins/e-acsl/tests/constructs/oracle/gen_lazy.c:154:39: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/tests/rte/divmod.c:16:10: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/tests/rte/divmod.c:17:10: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/tests/rte/divmod.c:30:9: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/tests/rte/divmod.c:34:25: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/tests/rte/divmod_typedef.c:18:10: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/tests/rte/divmod_typedef.c:19:10: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/tests/rte/divmod_typedef.c:32:9: error: Division by zero. [zerodiv] frama-c-25.0-beta-Manganese/tests/rte/divmod_typedef.c:36:25: error: Division by zero. [zerodiv]