Author: delcypher
Date: Thu Jan 11 08:24:04 2018
New Revision: 322287
URL: http://llvm.org/viewvc/llvm-project?rev=322287&view=rev
Log:
[docs] Add JFS as an external project built againt LLVM 6.0.
Modified:
llvm/branches/release_60/docs/ReleaseNotes.rst
Modified: llvm/branches/release_60/docs/ReleaseNotes.rst
URL:
http://llvm.org/viewvc/llvm-project/llvm/branches/release_60/docs/ReleaseNotes.rst?rev=322287&r1=322286&r2=322287&view=diff
==============================================================================
--- llvm/branches/release_60/docs/ReleaseNotes.rst (original)
+++ llvm/branches/release_60/docs/ReleaseNotes.rst Thu Jan 11 08:24:04 2018
@@ -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
_______________________________________________
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
