Package: symmetrica Version: 2.0-1 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:
As check_equal_2 may eventually invoke *e = (*f)(c,b); as can be reviewed here: http://sources.debian.net/src/symmetrica/2.0-1/rest.c?hl=127#L113 the macro expansion of CE2 in function first, which takes 3 parameters, will cause a stack underflow. Review the definition of first and the macro here: http://sources.debian.net/src/symmetrica/2.0-1/rest.c?hl=3415#L3410 Observe that CE2(res,para_eins,first); will result in f==first in check_equal_2, which is thus invoked with only 2 parameters instead of 3. Best, Michael
pgpDBmxCewjzk.pgp
Description: PGP signature
