diff options
author | Dan Liew <dan@su-root.co.uk> | 2018-01-11 16:24:04 +0000 |
---|---|---|
committer | Dan Liew <dan@su-root.co.uk> | 2018-01-11 16:24:04 +0000 |
commit | ef854ab36638ba5b565f7734d22cbe3a510ae8b6 (patch) | |
tree | 3799cd80bda8d5c47e72f4311774eb5866d3feb9 /docs | |
parent | cd2a37bac37847ffba082865447ed35162d87b85 (diff) |
[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
Diffstat (limited to 'docs')
-rw-r--r-- | docs/ReleaseNotes.rst | 14 |
1 files changed, 13 insertions, 1 deletions
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 <https://github.com/delcypher/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 +<https://releases.llvm.org/6.0.0/tools/clang/docs/SanitizerCoverage.html>`_ +instrumentation and then fuzzed using :doc:`LibFuzzer <LibFuzzer>`. Additional Information |