Package: libsmbios Version: 2.2.28-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 smbios_strerror in smbios.h http://sources.debian.net/src/libsmbios/2.2.28-2/src/include/smbios_c/smbios.h?hl=130#L130 shadows the fact that smbios_strerror actually requires an argument: http://sources.debian.net/src/libsmbios/2.2.28-2/src/libsmbios_c/smbios/smbios.c?hl=72#L72 Yet none is provided with the calls in smi_obj.c: http://sources.debian.net/src/libsmbios/2.2.28-2/src/libsmbios_c/smi/smi_obj.c?hl=310,311#L310 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
pgpQGotHX_fsd.pgp
Description: PGP signature
