From 4b205f3b2c29a614d7610f6b5171484646f7f4a1 Mon Sep 17 00:00:00 2001 From: Jason Turner Date: Wed, 25 May 2016 13:02:23 -0600 Subject: [PATCH] Update 02-Use_the_Tools_Available.md --- 02-Use_the_Tools_Available.md | 1 + 1 file changed, 1 insertion(+) diff --git a/02-Use_the_Tools_Available.md b/02-Use_the_Tools_Available.md index 099c4c9..49fa7fb 100644 --- a/02-Use_the_Tools_Available.md +++ b/02-Use_the_Tools_Available.md @@ -217,6 +217,7 @@ Both of these tools use coverage reporting to find new code execution paths and * [american fuzzy lop](http://lcamtuf.coredump.cx/afl/) * [LibFuzzer](http://llvm.org/docs/LibFuzzer.html) + * [KLEE](http://klee.github.io/) - Can be used to fuzz individual functions ## Ignoring Warnings