Package: ioapps Version: 1.4r2-3 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 simfs_init in simfs.h http://sources.debian.net/src/ioapps/1.4r2-3/simfs.h?hl=59#L59 shadows the fact that simfs_init actually requires an argument: http://sources.debian.net/src/ioapps/1.4r2-3/simfs.c?hl=202#L202 Consequently the call here: http://sources.debian.net/src/ioapps/1.4r2-3/simulate.c?hl=91#L91 will cause a stack underflow and thus results in undefined behaviour (here this might cause arbitrary values being set as simfs_mask). Best, Michael
pgpId0Xssd8KH.pgp
Description: PGP signature
