Fiddly buffer overrun in OpenSSL

John’s blog is hosting a post, co-authored by me, about one of the more entertaining “bugs” reported by TrustInSoft in OpenSSL. In this case the

TIS-interpreter progress report

tis-interpreter is a specialized version of Frama-C for interpreting C programs and finding bugs in them. It has its own page. The development of tis-interpreter

The libc cross-testing project

While discussing with a number of other people, the idea arose of the differential testing of libc implementations. There are many of these (musl libc