Package: ndpmon Version: 1.4.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 parse_cache in parser.h http://sources.debian.net/src/ndpmon/1.4.0-2/parser.h?hl=30#L30 shadows the fact that parse_cache actually requires an argument: http://sources.debian.net/src/ndpmon/1.4.0-2/parser.c?hl=698#L698 Yet none is provided with the call of parse_cache: http://sources.debian.net/src/ndpmon/1.4.0-2/ndpmon.c?hl=517#L517 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
pgpj3DXSyT0FA.pgp
Description: PGP signature
