Your message dated Fri, 13 Nov 2015 09:19:36 +0000
with message-id <[email protected]>
and subject line Bug#749658: fixed in mactelnet 0.4.1-2
has caused the Debian Bug report #749658,
regarding mactelnet: Function declaration without parameter list shadows risk 
of 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.)


-- 
749658: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749658
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: mactelnet
Version: 0.4.0-1
Severity: minor
Usertags: goto-cc

During an analysis of all Debian packages using our research compiler tool-chain
(using tools from the cbmc package) the following error was found:

The function net_init_raw_socket requires one argument:

http://sources.debian.net/src/mactelnet/0.4.0-1/interfaces.c?hl=250#L250

Yet the declaration here

http://sources.debian.net/src/mactelnet/0.4.0-1/interfaces.h?hl=42#L42

does not include a parameter list (and neither specifies it as "void"), thus the
compiler cannot warn about the missing argument.

At present, however, this appears safe as the argument is not used.

Best,
Michael

Attachment: pgpHXRv0kiT_0.pgp
Description: PGP signature


--- End Message ---
--- Begin Message ---
Source: mactelnet
Source-Version: 0.4.1-2

We believe that the bug you reported is fixed in the latest version of
mactelnet, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Håkon Nessjøen <[email protected]> (supplier of updated mactelnet 
package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 13 Nov 2015 13:13:44 +0200
Source: mactelnet
Binary: mactelnet-client mactelnet-server
Architecture: source amd64
Version: 0.4.1-2
Distribution: unstable
Urgency: low
Maintainer: Håkon Nessjøen <[email protected]>
Changed-By: Håkon Nessjøen <[email protected]>
Description:
 mactelnet-client - Console tools for telneting and pinging via MAC addresses
 mactelnet-server - Telnet daemon for accepting connections via MAC addresses
Closes: 749658
Changes:
 mactelnet (0.4.1-2) unstable; urgency=low
 .
   * Bug fixed upstream (closes: #749658)
   * Enabled gpg-check in watch file
 .
 mactelnet (0.4.1-1) unstable; urgency=low
 .
   * Upstream release 0.4.1
   * Updated changelog with correct date format
Checksums-Sha1:
 68f090cd8ee6878cab28ad6891dd993f674ce152 2004 mactelnet_0.4.1-2.dsc
 548fdf7e29246ee308caa9c9619819fcbe0bc135 56881 mactelnet_0.4.1.orig.tar.gz
 ef840863cc4afb67c8c2c7694a3b192a81719fa8 5984 mactelnet_0.4.1-2.debian.tar.xz
 60eab886938825be0995b46b8a527dc425cea799 25384 
mactelnet-client_0.4.1-2_amd64.deb
 7657454506f142f6520be630624a82827efa84ed 21282 
mactelnet-server_0.4.1-2_amd64.deb
Checksums-Sha256:
 3702a7d4a7529b6701e34a9361735069a480717558cae69824dca138cb657e09 2004 
mactelnet_0.4.1-2.dsc
 b619cf6afd8c5cb7383ffd5d8dabb6955c65a8ab72597366bf5fb501080d5476 56881 
mactelnet_0.4.1.orig.tar.gz
 7745f5ff58a4fee77151b48c64cac20d3a99626f698217927080c2b5f3e0308d 5984 
mactelnet_0.4.1-2.debian.tar.xz
 b4d8551122cd768b864e88b24880f23ee4a11a2310242e37d675cad0ec982b59 25384 
mactelnet-client_0.4.1-2_amd64.deb
 53bf1dd13e3e47237f0ac099a7ae0672692f97ea6d90255d64aa52cfeb6d4183 21282 
mactelnet-server_0.4.1-2_amd64.deb
Files:
 0961aefbbaebb557716ca6a7737ad1b8 2004 net extra mactelnet_0.4.1-2.dsc
 f8b741a5b4fe2cde5a2edeaff74d27c4 56881 net extra mactelnet_0.4.1.orig.tar.gz
 30ab747a1b2967fca062f10d3b34304b 5984 net extra mactelnet_0.4.1-2.debian.tar.xz
 14a5250e9cfcae301ca52f6c5999ecc7 25384 net extra 
mactelnet-client_0.4.1-2_amd64.deb
 b748125c1e1b9397960164873ed1ea7e 21282 net extra 
mactelnet-server_0.4.1-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJWRZumAAoJEKwekLrEM/aPengP/AjfRMH//1b6CGEZSsplO+/K
grgBh+I1TIkMMqWCI5uNHu+ZxKLHL47QwQAwFqjvgFP6LQo8mgdVOhkI1czT+zmr
X2J9ei1JJPnLbJViYnmC8Bja2EBfTnBDigBNXGcYdxzjrjd+mqTR09pUPbfz0oI4
SopW1TqG2bBgN7KJqkvgvjr3yaELxEzQsGe4MUw3VohXKFukTrfwXdH7TjHsD77y
wPRhHAPrKiGjFVryW8ROPuwStHsB1idJuXfJFv7l4KBDBwLt8aXF/nHUfR63UzGY
f+jDk1AHCd95F8ZJKpxXTiJ7DoKhuQ1BCf9Kd9v1KikMReMzwsX2svBOopI+EcKu
/FthAMRQiDpzC9lzF3R9Z4F3foIY64024j92QTh6UykKpzuWZ7xVdpfzrRbGoxWe
xcZ3uj+bUsc4zPYoP0+ouMbNOreJhM+j10TCDyzzxD2vQXJmcW6OSD5eA6I97jx0
NYR9ru93Bm3EXO0oKKg+uEcYlDT8mx1N+DNFaTVViUeRHuPzuJiOgm6uMpWct9V2
lpO967QVAriQLdiSBm0GBKDaSATRidE/moQbSbbFg6rpCRVI+Q72gJkd0YODf5Zy
LldFpFnNUaopcCwrNqbUA0DFImQgb5zpsLpk6YzCCIrHvHoyOYuL95FneMVDcm7T
t9sw1jN5QFKhz0/AHoyQ
=kwW5
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to