From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 13 Oct 2020 20:44:39 +0000 (+0100)
Subject: Add resources.
X-Git-Url: http://git.annexia.org/?p=libguestfs-talks.git;a=commitdiff_plain;h=ce629a94a1c7e778f0a25e958d8ca40f6239fc45

Add resources.
---

diff --git a/2020-frama-c/notes.txt b/2020-frama-c/notes.txt
index 2fbb76d..afe5f1c 100644
--- a/2020-frama-c/notes.txt
+++ b/2020-frama-c/notes.txt
@@ -671,3 +671,28 @@ Alternatives and related programs:
 
 * CompCert (http://compcert.inria.fr/) is INRIA's verified C compiler
   (not open source).
+
+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 Mentre'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