Package: ruby-opengl Version: 0.60.1+dfsg2-3 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 macro definition of ARY2CMAT introduces (when invoked) functions taking 5 arguments: http://sources.debian.net/src/ruby-opengl/0.60.1%2Bdfsg2-2/ext/common/conv.h?hl=158,159#L157 Yet all calls to the generated functions only pass 4 arguments, running the risk of stack underflow and thus undefined behaviour. Yet it seems that the fifth argument is unused anyway (and its type is only implicitly declared as int), thus likely the fix is to adjust the macro definition. Best, Michael
pgp1E5CPgUZRz.pgp
Description: PGP signature
_______________________________________________ Pkg-ruby-extras-maintainers mailing list Pkg-ruby-extras-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ruby-extras-maintainers
