Liushenghan

Question about pure_concolic_execution

1

https://github.com/eurecom-s3/symcc/blob/master/util/pure_concolic_execution.sh When I ran this script, I found that it could not stop for a long time, and found that it entered an unbreakable loop in one place. I tried...

I have now compiled the CBs with SymCC. For the POVs and POLLs provided by cb-multios I don't know how to use them, how should I provide them as input...

hello, I build an instrumented C++ standard library to track data. When I use syd::cin in my program, the result appears as shown in the figure. ``` #include int nested_checking(const...

Hello, I've encountered an issue with basic block renaming in the latest version of AFLGo. I noticed the previous issue #116 regarding this matter, and I think the fix applied...

How to use DG in an LLVM Pass?

4

Hello, I want to try using DG in LLVM PASS, but I failed. I couldn't compile the PASS, and I don't know how to modify my CMakeLists file. Can you...

Your work is excellent, and I am very interested in it. I have a question about the experiment: When conducting the experiment, for cofuzz, is only one slave fuzzer and...