Package: splint Version: 3.1.2.dfsg1-2 Usertags: afl splint crashes on the attached file:
$ splint crash.c Splint 3.1.2 --- 20 Feb 2009 *** Segmentation Violation *** Error in `splint': malloc(): memory corruption (fast): 0x090dc880 *** Aborted This bug was found using American fuzzy lop: https://packages.debian.org/experimental/afl -- System Information: Debian Release: 8.0 APT prefers unstable APT policy: (990, 'unstable'), (500, 'experimental') Architecture: i386 (x86_64) Foreign Architectures: amd64 Kernel: Linux 3.2.0-4-amd64 (SMP w/2 CPU cores) Locale: LANG=C, LC_CTYPE=pl_PL.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: sysvinit (via /sbin/init) Versions of packages splint depends on: ii libc6 2.19-13 ii splint-data 3.1.2.dfsg1-2 -- Jakub Wilk
crash.c
Description: Binary data
