2 ms·

I knew this reminded me of something, and it turns out it was one of his older posts which is also worth a read: http://blog.regehr.org/archives/970 http://blog

I knew this reminded me of something, and it turns out it was one of his older posts which is also worth a read: http://blog.regehr.org/archives/970 http://blog.regehr.org/archives/970 (Finding Undefined Behavior Bugs by Finding Dead Code)

pasbesoin 12y ago
Just mentioning since I looked for myself. The PDF it links is 404, but the Wayback Machine caught it in a few different revisions (the date of Regehr's post would correspond more closely with the earlier revision): http://web.archive.org/web/20130810232543/http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf http://web.archive.org/web/20130810232543/http://pdos.csail.... http://web.archive.org/web/20131214080638/http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf http://web.archive.org/web/20131214080638/http://pdos.csail....