Hi, I came across this paper: http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf
>From this PDF: "We implement this approach in a static checker called Stack, and use it to show that unstable code is present in a wide range of systems software, including the Linux kernel and the Postgres database. We estimate that unstable code exists in 40% of the 8,575 Debian Wheezy packages that contain C / C++ code." So, they pretend that an estimated 3430 Debian packages in Wheezy contain code which GCC optimize, resulting in unexpected behaviors, leading to bugs and security vulnerabilities. I haven't checked for these facts myself due to lack of time, which is why I just post here. I think this paper is interesting anyway, and worth sharing. Thoughts anyone? Cheers, Thomas Goirand (zigo) -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/5291fd5f.8070...@debian.org
