3 ms·
What would this say on the OpenSSL code that had the Heartbleed bug? (Edit) this: https://news.ycombinator.com/item?id=7571506 https://news.ycombinator.com/item
by glifchits 13y ago
What would this say on the OpenSSL code that had the Heartbleed bug? (Edit) this: https://news.ycombinator.com/item?id=7571506 https://news.ycombinator.com/item?id=7571506
- rurban 13y agoFrama-C does not say much, when do don't tell it what it should do. It needs to reason over symbolic facts, C code is not enough. It's not just another simple static code checker. You can look at the Frama-C blog what it does with a major openssl competitor, polarssl. http://blog.frama-c.com/ http://blog.frama-c.com/