[PATCH] D46924: [libFuzzer] add a symbolic execution puzzle (difficult for today's libFuzzer).

[Max Moroz via Phabricator via llvm-commits]

Dor1s created this revision.
Dor1s added a reviewer: kcc.
Herald added subscribers: Sanitizers, llvm-commits, delcypher.

This can be solved just in seconds with KLEE. Current libFuzzer
is able to satistfy 101 constraints out of 410 constraints presented during
the first hour of running with -use_value_profile=1 and max_len=20.


Repository:
  rCRT Compiler Runtime

https://reviews.llvm.org/D46924

Files:
  test/fuzzer/MultipleConstraintsOnSmallInputTest.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D46924.146983.patch
Type: text/x-patch
Size: 76556 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180516/31043dbc/attachment.bin>