Package: wav2cdr Version: 2.3.4-1 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 global variables bytes_in, bytes_out, outname declare here: http://sources.debian.net/src/wav2cdr/2.3.4-1/fileio.c?hl=49,50,51#L49 are marked const in data.c: http://sources.debian.net/src/wav2cdr/2.3.4-1/data.c?hl=70,71,72#L70 This may give rise to misoptimisation by the compiler, which may assume compile-time constants. Best, Michael
pgpHd9nmX1U0d.pgp
Description: PGP signature
