Your message dated Sun, 04 Jun 2023 18:18:54 +0000
with message-id <[email protected]>
and subject line Bug#748207: fixed in nabi 1.0.1-1
has caused the Debian Bug report #748207,
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.)
--
748207: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748207
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: nabi
Version: 1.0.0-2
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 nabi_log_get_level in debug.h
http://sources.debian.net/src/nabi/1.0.0-2/src/debug.h?hl=22#L22
shadows the fact that nabi_log_get_level actually requires an argument:
http://sources.debian.net/src/nabi/1.0.0-2/src/debug.c?hl=33#L33
Yet none is provided with any of the calls to nabi_log_get_level.
As, however, the argument isn't used code might execute correctly at present.
To avoid the risk of undefined behaviour, the definition should be fixed.
Best,
Michael
pgprTgoR2syf_.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: nabi
Source-Version: 1.0.1-1
Done: Changwoo Ryu <[email protected]>
We believe that the bug you reported is fixed in the latest version of
nabi, 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.
Changwoo Ryu <[email protected]> (supplier of updated nabi 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: SHA512
Format: 1.8
Date: Mon, 05 Jun 2023 02:55:27 +0900
Source: nabi
Architecture: source
Version: 1.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Korean L10N <[email protected]>
Changed-By: Changwoo Ryu <[email protected]>
Closes: 748207
Changes:
nabi (1.0.1-1) unstable; urgency=medium
.
* New upstream version
- Closes: #748207
* debian/control: Update to debhelper-compat 13
* Bump Standards-Version to 4.6.2
* debian/control: Add 'Rules-Requires-Root: no'
* debian/rules: Remove -Wl,--as-needed linker flag; the bullseye tool
chain defaults to it
* Add Salsa CI config
* debian/{control,watch}: Update the upstream homepage
* Ignore litntian error by not-a-doc /usr/share/nabi/symbol.txt
Checksums-Sha1:
362af83f8ce87a3dcdbe14a32b6ab9fde98f332b 1948 nabi_1.0.1-1.dsc
830ec2d592d55da4f0845dfb259b339920bb1c99 927009 nabi_1.0.1.orig.tar.gz
0d9ee1465853c829ff3f47665710088446391153 6736 nabi_1.0.1-1.debian.tar.xz
7501beaa5c0feafd8a05c7a86c3c21154f3d03d3 11395 nabi_1.0.1-1_source.buildinfo
Checksums-Sha256:
82d668ff83464be3ac6cb5e02ca96d8d205fbd169a6b2042b308487d4638afea 1948
nabi_1.0.1-1.dsc
fca37485e10acdab5833d431387c226ab5cf560c68a5825d4fa1998681841779 927009
nabi_1.0.1.orig.tar.gz
ca9f45d437fa8ed949d63cbadee293edcad42344e24700319890db713cdcb856 6736
nabi_1.0.1-1.debian.tar.xz
67b9e51769cc575567d652eeb583ec406521a5d530e2003c3776dbe2f79cc447 11395
nabi_1.0.1-1_source.buildinfo
Files:
6e2f5e889107f3fdd4a89c06d27374aa 1948 x11 optional nabi_1.0.1-1.dsc
7707a5b2ce31019bdd3e433bbd651b3c 927009 x11 optional nabi_1.0.1.orig.tar.gz
bbd8f2f48395c2630daa61df6be7d8a5 6736 x11 optional nabi_1.0.1-1.debian.tar.xz
7ca1a503bae6de3ee2995944d46e566b 11395 x11 optional
nabi_1.0.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEony+ujUlaGU4DgzJ7Bh50HbYq0gFAmR80ScACgkQ7Bh50HbY
q0jU5w//SDXCYP/NJMuLegDuKP328yN3Xf+3ogvj+WmVzZKkwxovP32CfvpLlQuL
c+IJk9zXV200O6MKwvIz6ZmrTn4XMIoX+2T+qmrOgnzX6CX+8J7gW9XbciK2EQYu
AbPvKR7WMwsKIbewZ6DgMQrNblDpM6bpJ0fQVe8a8A0Sh1TJojRk1Rp5IphXdJiA
yqjyR5Kiwln5KUFyltpQ+Hb0XJNAWzgQ+aoIEh2EVlCucaNO630Ao7LX7DPEIld3
K+4A3Zwp0hG29E3ZEcVyGNKF9Ute6bbF4mBs3pSfdig/L0L1AmefsfzHuVxQ8Or9
IhgI2Sfmfo2qGQSTQMYrmQaaLFX5H5hZAKp8kKTIUtqbDS7KeSvLtl/8ShnPvQfw
UHIA+eqPCBreac5CBhRFUCx+vbfiOhpxf0tCVx7v4lJpWWsOCmSPJ8ftC2/pzQ81
h4vncSI25aORgPu3rEji6netg5+KoiYlXvYnB/AzuJDti8CRifd0bRaoMANFtPP1
KK4kzrssGX7vwauF7xaUKoKnzHng/aEtUkLtlYMTBBplfyKtyEWUX50VbVN8Lz2M
/A07sdw5M27i9WB/+y03RfF0xkiNUdmNFQ3aa0JGsI63wSqZafoESKpI37pT3rw+
+7QY6S8VWtEUqIHU1hh4PAzoeUGP4yxIYmQJq/QPjCkgeLbnMkg=
=H3Ra
-----END PGP SIGNATURE-----
--- End Message ---
