Your message dated Sun, 01 Jun 2014 16:51:37 +0000
with message-id <[email protected]>
and subject line Bug#748171: fixed in tint2 0.11+svn20121014-2
has caused the Debian Bug report #748171,
regarding Function declaration without parameter type 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.)
--
748171: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748171
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: tint2
Version: 0.11+svn20121014-1
Severity: wishlist
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:
The declaration of tooltip_trigger_hide in tooltip.h:
http://sources.debian.net/src/tint2/0.11+svn20121014-1/src/tooltip/tooltip.h?hl=55#L55
shadows the fact that tooltip_trigger_hide actually requires an argument:
http://sources.debian.net/src/tint2/0.11+svn20121014-1/src/tooltip/tooltip.c?hl=253#L253
Yet none is provided in any of the calls to tooltip_trigger_hide.
As, however, the argument isn't used code might execute correctly at present.
To avoid the risk of undefined behaviour the definition of tooltip_trigger_hide
should be fixed.
Best,
Michael
pgpE5M5_uJh_4.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: tint2
Source-Version: 0.11+svn20121014-2
We believe that the bug you reported is fixed in the latest version of
tint2, 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.
Sebastian Reichel <[email protected]> (supplier of updated tint2 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: SHA256
Format: 1.8
Date: Sun, 01 Jun 2014 17:13:06 +0200
Source: tint2
Binary: tint2 tint2-dbg
Architecture: source amd64
Version: 0.11+svn20121014-2
Distribution: unstable
Urgency: low
Maintainer: Sebastian Reichel <[email protected]>
Changed-By: Sebastian Reichel <[email protected]>
Description:
tint2 - lightweight taskbar
tint2-dbg - lightweight taskbar (debug symbols)
Closes: 716390 720200 748171
Changes:
tint2 (0.11+svn20121014-2) unstable; urgency=low
.
* Reintroduce tint2conf (Closes: #720200)
* Add patch fixing argv evaluation (Closes: #716390)
* Add patch fixing incorrect function declaration (Closes: #748171)
* Bump Debian Standards Version to 3.9.5
Checksums-Sha1:
167779d726bc3fb3f801b39d670b49e7c1e2288e 2113 tint2_0.11+svn20121014-2.dsc
e87a574b7b1bc9ba00addee6d4fdf91ec4cc606b 64600
tint2_0.11+svn20121014-2.debian.tar.xz
dfd49e85278307916be52391ca8270cd8d85eaf3 163512
tint2_0.11+svn20121014-2_amd64.deb
903571bdf7312e0ee150feafc5ad0fabc69cfe03 261600
tint2-dbg_0.11+svn20121014-2_amd64.deb
Checksums-Sha256:
0297b0c7c34f85e15f06ed0a6883370a7d5919216f7d9268f50b79d1fd3f0492 2113
tint2_0.11+svn20121014-2.dsc
52580ce58afdce08fabd9909ba72d1ec9178ed32fa1f644be5769a432a96ee34 64600
tint2_0.11+svn20121014-2.debian.tar.xz
797fbd0ba6a2ed01084cc7f58d2b341820124900d9e3060ec12a00697ac033d8 163512
tint2_0.11+svn20121014-2_amd64.deb
f2f73bf5a449a4093110ea1d2f70a1b285cd4abb9d4b314c03b02914451fda05 261600
tint2-dbg_0.11+svn20121014-2_amd64.deb
Files:
f769544ac8d05c5bd0a88bc4d534d1c1 163512 x11 optional
tint2_0.11+svn20121014-2_amd64.deb
12f539c9f3631b9d439b8a25db667cd9 261600 debug extra
tint2-dbg_0.11+svn20121014-2_amd64.deb
66c180908939ee54a2045c5d0b109a78 2113 x11 optional tint2_0.11+svn20121014-2.dsc
c8b1d443f63a9613ade7ddf70d5e1121 64600 x11 optional
tint2_0.11+svn20121014-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJTi1cSAAoJENju1/PIO/qasmkP/0IeHnN8lsHeZRoQHuQIHB40
YFNDPPFC0xRy4dwFb/AqSVOG/MqijSFigwSxWrNqO2x7uOR4yTt+6baPmwgJhDFo
1jJbM2RnX/sCWqnvqwW6Hz+I2ooCnN7LK0j8PI9rpgBG0kDGFSgXWlzcpsyjrrve
csJFUVbaIDrGUbWud1C2tJfLZdM1tijvMdT9PxIt/EquvS/dXpeH5aeC+gWf/nmd
mzFjwZYr6NgbY1B20y4t1YCiFPim8wlK2197y6elM527stAlwLy4ERwK1V9PMpLZ
bjwyaDKa3dYyDPZw5+jK32/US2uJvp5dDDJF4yruqGKNe8F+tiM6n8yG7iOV9WAe
CaSQ3+Sh4WeuM8zpu/AiN7sdakJ244TeaLE4VRZ/VmBXFO/h7ctBWnwcdm7U+ZeK
b+eiuqVA+vYKKTOAhzayqGBFLc+jnYjqCx9Cpn+M5huzQ1p6mSnihNBdhfGYvHeq
3Xyl39tH8M1qLyBVFygRhnXQ0drlfJcSZ/nq8qrS2N8wyFpa5MEutr8urvCT6dDb
LJbxriR/5w6ye88rydOgjXdGZSezuuw2Mt9RSuPvn2W0FqNMgX58c5OcnoK0N9rK
mD4WGc7kuMaEgIbtzsUj+XEO//GRs5vD8khdv9d2n5BTqHZLXt8t2egM8QsY3X9B
V6MuNmwDQovsXVzBz5NU
=ARph
-----END PGP SIGNATURE-----
--- End Message ---
