Your message dated Sun, 10 Sep 2017 16:04:38 +0000
with message-id <[email protected]>
and subject line Bug#870989: Removed package(s) from unstable
has caused the Debian Bug report #748216,
regarding Missing argument to cause stack underflow
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
748216: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748216
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: interchange
Version: 5.7.7-2
Usertags: goto-cc
During an analysis of all packages using our research compiler tool-chain (using
tools from the cbmc package) the following error was found:
Upon invocation of die from here:
http://sources.debian.net/src/interchange/5.7.7-2/dist/src/tlink.c?hl=203#L203
the C string will implicitly be cast to an integer, and the second (required)
argument will be missing:
http://sources.debian.net/src/interchange/5.7.7-2/dist/src/tlink.c?hl=105#L105
This will eventually cause a stack underflow with an arbitrary value being
passed to printf, which may well be considered a security issue. (To be left to
the maintainer to judge.)
Best,
Michael
pgpvxTlKvlNs3.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
Version: 5.7.7-2.1+rm
Dear submitter,
as the package interchange has just been removed from the Debian archive
unstable we hereby close the associated bug reports. We are sorry
that we couldn't deal with your issue properly.
For details on the removal, please see https://bugs.debian.org/870989
The version of this package that was in Debian prior to this removal
can still be found using http://snapshot.debian.org/.
This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
[email protected].
Debian distribution maintenance software
pp.
Scott Kitterman (the ftpmaster behind the curtain)
--- End Message ---
