Package: seyon Version: 2.20c-31 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 definition of DismissDirectory requires two arguments (even though the second is unused at present): http://sources.debian.net/src/seyon/2.20c-31/SeDial.c?hl=356#L355 Yet the call here http://sources.debian.net/src/seyon/2.20c-31/SeActions.c?hl=70#L70 only passes one, thus possibly causes undefined behaviour. This is due to the wrong and incomplete declaration here: http://sources.debian.net/src/seyon/2.20c-31/SeActions.c?hl=63#L63 Best, Michael
Attachment:
pgp96pWT1HCdw.pgp
Description: PGP signature