-----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-----