Package: mactelnet Version: 0.4.0-1 Severity: minor 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:
The function net_init_raw_socket requires one argument: http://sources.debian.net/src/mactelnet/0.4.0-1/interfaces.c?hl=250#L250 Yet the declaration here http://sources.debian.net/src/mactelnet/0.4.0-1/interfaces.h?hl=42#L42 does not include a parameter list (and neither specifies it as "void"), thus the compiler cannot warn about the missing argument. At present, however, this appears safe as the argument is not used. Best, Michael
pgpICuwBODCgY.pgp
Description: PGP signature
