Chengyu Song
Chengyu Song
On LAVA-M, uniq, using fuzzer_input/TODO, when I tried to flip all symbolic branches. If I only do check(), it takes my tool 31s. But if I enable get_model(), it won't...
You cannot, I found this because I thought it should be very fast, but it wasn't. So I tried to figure out where's bottleneck, taint, expression construction, check, get_model, or...
Sounds good. I'll read more about Z3 configurations and ask around.
strange, why I didn't get notification for this ... releases after 18.04 needs a new sanitizer_runtime so docker is the best option now. I'll try to push a newer branch...
@vanhauser-thc the bounds_tracking branch is on llvm-12 now and build fine on my Ubuntu 20.04 machine
I ran into the same issue today when trying GitHub actions, it's likely due to missing libc++-dev and libc++-abi-dev.
Hi @jonathanmetzman, sorry for getting back late to you. Recall that we had a [discussion on twitter](https://twitter.com/mboehme_/status/1524861140907573266?s=20&t=LhLtFW7VbNgyGDt3TYkOYQ) about the agreement on superiority and rankings when comparing fuzzers on CGC versus...
Thanks! This repo is no longer maintained. Let me archive it. Please use https://github.com/R-Fuzz/symsan instead.
which .so? those in your screenshot are x86 executables, you can use `file` to check the info.