2 ms·
Since you mentioned it, some posts I wrote a while back about Frama-C: Applied Formal Logic: Brute Force String Search https://maniagnosis.crsr.net/2017/06/AFL
by mcguire 6y ago
Since you mentioned it, some posts I wrote a while back about Frama-C:
Applied Formal Logic: Brute Force String Search https://maniagnosis.crsr.net/2017/06/AFL-brute-force-search.html https://maniagnosis.crsr.net/2017/06/AFL-brute-force-search....
Applied Formal Logic: The bug in Quick Search. https://maniagnosis.crsr.net/2017/06/AFL-bug-in-quicksearch.html https://maniagnosis.crsr.net/2017/06/AFL-bug-in-quicksearch....
Applied Formal Logic: Correctness of Quick Search. https://maniagnosis.crsr.net/2017/07/AFL-correctness-of-quicksearch.html https://maniagnosis.crsr.net/2017/07/AFL-correctness-of-quic...