Your message dated Sun, 19 Jan 2025 11:00:14 +0000
with message-id <[email protected]>
and subject line Bug#748142: fixed in symmetrica 3.1.0+ds-1
has caused the Debian Bug report #748142,
regarding Missing parameter 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.)
--
748142: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748142
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: symmetrica
Version: 2.0-1
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:
As check_equal_2 may eventually invoke *e = (*f)(c,b); as can be reviewed here:
http://sources.debian.net/src/symmetrica/2.0-1/rest.c?hl=127#L113
the macro expansion of CE2 in function first, which takes 3 parameters, will
cause a stack underflow. Review the definition of first and the macro here:
http://sources.debian.net/src/symmetrica/2.0-1/rest.c?hl=3415#L3410
Observe that CE2(res,para_eins,first); will result in f==first in check_equal_2,
which is thus invoked with only 2 parameters instead of 3.
Best,
Michael
pgpxRfAyIWYJY.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: symmetrica
Source-Version: 3.1.0+ds-1
Done: Jerome Benoit <[email protected]>
We believe that the bug you reported is fixed in the latest version of
symmetrica, 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.
Jerome Benoit <[email protected]> (supplier of updated symmetrica 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: Sat, 18 Jan 2025 21:12:03 +0000
Source: symmetrica
Binary: libsymmetrica-dev libsymmetrica3 libsymmetrica3-dbgsym symmetrica-doc
Architecture: source amd64 all
Version: 3.1.0+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Math Team <[email protected]>
Changed-By: Jerome Benoit <[email protected]>
Description:
libsymmetrica-dev - Symmetrica Combinatoric C Library -- development package
libsymmetrica3 - Symmetrica Combinatoric C Library -- library package
symmetrica-doc - Symmetrica Combinatoric C Library -- documentation
Closes: 748142 1092422
Changes:
symmetrica (3.1.0+ds-1) unstable; urgency=medium
.
* New upstream minor version (Closes: #748142, #1092422).
* Debianization:
- d/copyright:
- copyright year-tuples, update;
- SONAME, bump to 3;
- d/control:
- Build-Depends field, add pkgconf;
- libsymmetrica-dev, Suggests field, add pkgconf;
- clean-up;
- d/watch, correct;
- d/patches/*:
- d/p/debianization.patch, introduce;
- d/libsymmetrica-dev.install, refresh;
- d/adhoc/examples/Makefile:
- LDLIBS, now set via pkgconf;
- copyright year-tuples, update;
- d/tests/*:
- d/t/control:
- Depends field, add pkgconf.
Checksums-Sha1:
5eb02344c6001bbcbf60a429fa70f070e94c4982 2935 symmetrica_3.1.0+ds-1.dsc
7ab4938d8aa7a1c0d7b68ad7629782cb2677291f 523820 symmetrica_3.1.0+ds.orig.tar.xz
1efd3eb72d833983e0e9f022ce8c3574737beaa5 17148
symmetrica_3.1.0+ds-1.debian.tar.xz
72b6de9a0a5eea48f7062a8bf36546da150ddcdb 3012020
libsymmetrica-dev_3.1.0+ds-1_amd64.deb
f9932239db8bdfae17510bb5ce280783a3e571b4 5972860
libsymmetrica3-dbgsym_3.1.0+ds-1_amd64.deb
34987917c4feb99703c15971fe40ff3a3bcc8280 2674168
libsymmetrica3_3.1.0+ds-1_amd64.deb
693c812b8f7f2777f9168a69222edc1ef40f16c8 79504
symmetrica-doc_3.1.0+ds-1_all.deb
ebf391f924a0b065207e2acf0e3caa0096fdefc6 7891
symmetrica_3.1.0+ds-1_amd64.buildinfo
Checksums-Sha256:
c432d342d576645dd60e868dc7240d669e2da6707e2f22183cfa6777c5b1c910 2935
symmetrica_3.1.0+ds-1.dsc
13e92d9e1a3254ad77e1f45c37e71d0200f58d7679c0c31e6a9331655c1cd9a7 523820
symmetrica_3.1.0+ds.orig.tar.xz
87c332344f8d06c39fbbc43107fb276cf06a56b4aed30d503b86ac8761e36588 17148
symmetrica_3.1.0+ds-1.debian.tar.xz
9141e635c82513cbcdc09e25137d6414bace87d6baca56bbd8dce8a751805d6c 3012020
libsymmetrica-dev_3.1.0+ds-1_amd64.deb
77e5afaeb7bbbb22732ec0fa78d8e808f57878973ce55b424f2777e45885fbca 5972860
libsymmetrica3-dbgsym_3.1.0+ds-1_amd64.deb
a69ec1a8e6d4f7feb9883b1cba15deb6e6f7b0ad8f444e68ef315b37404c365c 2674168
libsymmetrica3_3.1.0+ds-1_amd64.deb
44c7936df255ce6bb36a6117107250030062e15832e8cbaa429ac6159642bdf0 79504
symmetrica-doc_3.1.0+ds-1_all.deb
5145c1fafd847f6890ab68ce214a44f3a5859d3720464aa000d4d47dd4d301bd 7891
symmetrica_3.1.0+ds-1_amd64.buildinfo
Files:
1a259388c6cde59753038387e18ef5e2 2935 math optional symmetrica_3.1.0+ds-1.dsc
7b2801dd38f71f27249cbdd064341a82 523820 math optional
symmetrica_3.1.0+ds.orig.tar.xz
fb5ecabc48b62f918419bd7de5874f61 17148 math optional
symmetrica_3.1.0+ds-1.debian.tar.xz
5eea9628ead3923d38190abe2128b376 3012020 libdevel optional
libsymmetrica-dev_3.1.0+ds-1_amd64.deb
a16a22e92522cd8049507c4bee945bb1 5972860 debug optional
libsymmetrica3-dbgsym_3.1.0+ds-1_amd64.deb
5db3c518371e8ef59b18c1217661d8e9 2674168 libs optional
libsymmetrica3_3.1.0+ds-1_amd64.deb
c90be4c76dbf78d9aaeb8918b20d5610 79504 doc optional
symmetrica-doc_3.1.0+ds-1_all.deb
19b7e3c9d9202ee4852dab25cd4c98b9 7891 math optional
symmetrica_3.1.0+ds-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQRJBAEBCgAzFiEEriiuFXEN/x2H5adiP5IZpn82xosFAmeMGxcVHGNhbGN1bHVz
QHJlem96ZXIubmV0AAoJED+SGaZ/NsaL3mIgAMGiT+9vdjIbxytxNbVWOn3eiRoV
io90GW9TqGZG6BgX5JAXmkpc1h4svmlyUFsC+VRmn/6hT67zA9fFp4hjo8LCkQYc
QK06XAFkGV8z8EiXaE26aIXij9cI6ZQT8hjHBcWjKjFmk9Jwt6cFE0FVXvluAkox
+R7mbzgm0pSGCeI+OOU7BgGxw61TjOUpyXuVxzdcL2s93zveL+HWm4A8zry6zmig
CicyFOI5o7hZGBj4h1Qc3YxqeXwQIy+P4PtzTCDnU2wIh4C1mK5KKH+vIt7T03Gh
tVnn7ZW5GlmwOcHDt0QQoNZSmW5JRhVdOCJlMVv14VHXg4c+ajO02JPhG6K2XoyW
I1s7nmqhbtu6F8QbzEUjajIt2FNVk+aWCnnD+ac2cahX1rHbHokgmqABJVgW7X1G
83ySOcbRK+dBcKF/OgYi/WttjYzv+zSIwwdi4VqU055AV1YOsDh/FitQ2KmPeV5k
x9Ks1A38Q5uKDAnEC3OyLUvKkPbLJiPIppfrVvIp3a1/EJlXc8fyJNJMmZvhYd0t
nAVLBNtiVkMTgRvqOIgAJJRlQO5dSOQ8rkCDotv6cdfDvCXqWaSkFqrysjDC319d
PyvErtqzwoGxu+MkCq2rsgD5U7s5XPbo8BFn3WNH6q12hFCjUJPwCo/ZkPkqYlS5
hwdRfVsaZHcXYEIjFSBigX2ohxcyufirYtEREyB5MAGPDU/PDG5qR9ZXCHl+/JEC
Q38UOvgloLONFPBfh8wYJaXnkT4/q5Yu2EyFC1Slh4/hK7FpdooQEnE+JPyXpaeM
ou0jfXRla4xYujHx1lWG2QFXpHXUJsH/rdpWhk+kYT5mnSuxYhzepop0UpCehjYg
5tKOOwUn6d2xp3DSww8F7xRh27J8neXCxgR/uP70aLSwIyWeO9ZU2M2Xg3hZNYjv
/gazP4dLrgCvJZbdp80YA2d1PYW2iCIUNx9wajqK6ilZxEeoyJv4CfsZOsE0aPOd
jsjnDyFJK+XCUglaS+yEU+6hhvsv7GcmQxAl6PNBy9GDSkZwyyupODsB358tQtdm
gZlxFZhjiV0+G4K4hWoqyqtJfCBrupH/jtj4znP1mteT6nyPZrq6Az8ZDeK1CTy8
YI3f/XRdbRjaQqB4xNMSHIfh48NtQzBACGZqqxfaHIBgQ/Bk+Xd3r8noSF3E367X
rH51QijOY1iAsjoH0UVT5NVCHIWfuuNADma81Bh5DMRefia0XnyIKn14PWHBvtRw
msUs8EZpXFCw8b6l4jzh7M+rWnvOpr3/sVPbGEcvLmQDl/hHvDkW83QCnxhtuyFU
xH5kLJzGt8m7dmPZmguK02LA6wYLHVE7cpzme9IQeL5CcsJI8ksNnZsBVb8=
=Ylq6
-----END PGP SIGNATURE-----
pgpeHJxyDjXtB.pgp
Description: PGP signature
--- End Message ---
