Bug#795642: xfig: missing argument may cause crash or other undefined behaviour

On Sat, Aug 15, 2015 at 23:33:15 +0100, Michael Tautschnig wrote: > Package: xfig > Version: 1:3.2.5.c-4 > Usertags: goto-cc > Tags: patch > > During an analysis of all Debian packages using our research compiler > tool-chain > (using tools from the cbmc package) the following error was found: >

Bug#795642: xfig: missing argument may cause crash or other undefined behaviour

Package: xfig Version: 1:3.2.5.c-4 Usertags: goto-cc Tags: patch During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found: w_intersect.c defines do_circle_ellipse_intersect with 8 parameters; circle_ellipse_