In cybersecurity, newly-introduced software vulnerabilities must be detected immediately. The generic incremental analysis techniques recently integrated into Frama-C can verify code quickly after local modifications.
Read more
Fuzzing, symbolic execution and abstract interpretation, amongst other techniques, enable us to uncover bugs in our programmes at an unprecedented rate. But this raises the question: what should we do with all these bugs?
Read more