Resources

• Tutorial that I followed in October which I thought was a good introduction:
  https://maniagnosis.crsr.net/2017/06/AFL-brute-force-search.html
  https://maniagnosis.crsr.net/2017/06/AFL-bug-in-quicksearch.html
  https://maniagnosis.crsr.net/2017/07/AFL-correctness-of-quicksearch.html
• Frama-C on Stack Overflow: https://stackoverflow.com/questions/tagged/frama-c
• Allan Blanchard's tutorial: https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf
• David Mentré's introduction: https://www.cs.umd.edu/class/spring2016/cmsc838G/frama-c/introduction-to-frama-c_v2.pdf
• Upstream documentation:
  Manual: https://frama-c.com/download/frama-c-user-manual.pdf
  WP manual: https://frama-c.com/download/frama-c-wp-manual.pdf
  ACSL: https://frama-c.com/acsl.html
• ACSL specifications for various string functions: https://github.com/evdenis/verker