[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#748207: marked as done (Function declaration without parameter type list shadows risk of stack underflow)

Your message dated Sun, 04 Jun 2023 18:18:54 +0000
with message-id <E1q5sJa-001o9t-0T@fasolo.debian.org>
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 owner@bugs.debian.org
immediately.)


-- 
748207: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748207
Debian Bug Tracking System
Contact owner@bugs.debian.org 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

Attachment: pgpMNrBATGeLd.pgp
Description: PGP signature


--- End Message ---
--- Begin Message --- 
Source: nabi
Source-Version: 1.0.1-1
Done: Changwoo Ryu <cwryu@debian.org>

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 748207@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Changwoo Ryu <cwryu@debian.org> (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 ftpmaster@ftp-master.debian.org)


-----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 <debian-l10n-korean@lists.debian.org>
Changed-By: Changwoo Ryu <cwryu@debian.org>
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 ---
Reply to: