-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256
Hi Michael, Thanks for this bug report - as it appears to be an upstream issue, I'm putting it on the OpenMAMA mailing list for discussion Regards, Daniel On 30/05/14 00:02, Michael Tautschnig wrote: > Package: openmama Version: 2.2.2.1-10 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: > > When invoking mamaConnection_allocate here > > http://sources.debian.net/src/openmama/2.2.2.1-10/mama/jni/src/c/mamaconnectionjni.c?hl=139#L139 > > only 10 arguments are passed, even though 11 are required. It > seems the "bytesSent" parameter is missing, which also causes the > remaining ones (userName, appName, handle) to take wrong/undefined > values. > > Best, Michael > -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Icedove - http://www.enigmail.net/ iQIcBAEBCAAGBQJTiGAvAAoJEOm1uwJp1aqDjYEP/jLW++UEm0pG3XSwdsveSzBd nlW4Uao2VQJNH2NgUDLRjLvIALBP2tAHPOWKQY7g8TR9VqrzFngIRmah026SXe+/ Jo0E8TEH/K3ZfLOaSrN1swjCPO1z0WJLltjLPleTBU4f+RHZJ86ldJ1UnglSTlrW NuKisio7VWZtAjMKqlThjvHVXbJrUxFoKb/gHX4p587Ptryg+blVyhBql0h3xgf4 sQo9TN8Zg7RqDk7+41FW/IVAMbQRyqrZs1C4Pt9lL6bTtFBqoujxk5Gu6UPCXIGy kQHMX6Cd+/hIcx3YH6bCFO1HEpeXdHA7LmzS2Lv0aUimVvBeBB90ERXJgyTmwGoG 05gi/WQFTF6PgcODf0bkZlFxO8uu9HDbaRkHFTt4Lx24oMEGBGQk/Fz+fSYczwLH aZDtZAbepNFTLQ1mgIvJbysZNxghXJLOwr4cPI9lpkI5GxRlHK0vjFgbjhRXAdRk DwYEqNjsFXtBPLyuusHvXhPEKO2T/bvYxChFBWfe9VbPj4E3E5li2UbRLYcv+cXr j11eaBjYo9kNq8vCMXKXeF4qQlvXe7ZyArBmRHKu8jrSYiXGeZxNJzJRlzIvys1p 4XyAHZZ9FKO47qk/kukRXBq737SZby+TCEPm8O/ILvu+F0nPjbyIZadj989MFBjM EG7YgVZTyZzvXYuBnJRP =00uq -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org