From ef854ab36638ba5b565f7734d22cbe3a510ae8b6 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 11 Jan 2018 16:24:04 +0000 Subject: [docs] Add JFS as an external project built againt LLVM 6.0. git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_60@322287 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/ReleaseNotes.rst | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) (limited to 'docs') diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst index 8a2536e5d77..e85dfa5e7f4 100644 --- a/docs/ReleaseNotes.rst +++ b/docs/ReleaseNotes.rst @@ -122,7 +122,19 @@ Changes to the C API External Open Source Projects Using LLVM 6 ========================================== -* A project... +JFS - JIT Fuzzing Solver +------------------------ + +`JFS `_ is an experimental constraint solver +designed to investigate using coverage guided fuzzing as an incomplete strategy +for solving boolean, BitVector, and floating-point constraints. +It is built on top of LLVM, Clang, LibFuzzer, and Z3. + +The solver works by generating a C++ program where the reachability of an +`abort()` statement is equivalent to finding a satisfying assignment to the +constraints. This program is then compiled by Clang with `SanitizerCoverage +`_ +instrumentation and then fuzzed using :doc:`LibFuzzer `. Additional Information -- cgit v1.2.3