junmei Rong
junmei Rong
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...
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...
Hello, I am currently using the WPA tool to perform pointer analysis on the Boringssl(https://github.com/google/fuzzer-test-suite/blob/master/boringssl-2016-02-12/build.sh) from the Google Fuzzer Test Suite(https://github.com/google/fuzzer-test-suite/tree/master). I have successfully built the executable using `wllvm` and...
Hello, I am currently implementing hybrid fuzzing by combining symcc with AFLGO, and I would like to test the Google Fuzzer Test Suite (https://github.com/google/fuzzer-test-suite/tree/master), many of which are libraries. I...
Hello, I am currently using Beacon for directed fuzzing and would like to know if it supports parallelization, similar to AFLGo. Specifically, I would like to use the -M and...
Dear Doop developers, Hello! I've encountered a problem regarding type handling while using Doop. When dealing with data structures containing the List type, I'm not sure how to accurately obtain...