CoFuzz

CoFuzz copied to clipboard

I want to test lava-m using cofuzz. The server I am using is ubuntu 16.04, so I made a docker image of ubuntu 20.04 and tested it in docker. I...

orangeloong

Crack Concolic cannot Dump Valid Constraint

1

I am trying to understand how CoFuzz's concolic execution works by running the `readelf` target. https://github.com/Tricker-z/CoFuzz/blob/main/src/fuzz/executor.py#L130-L154 The main loop in `HybridExecutor.run()` keeps calling `__crack_seed`, but I found this function did...

chinggg

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...

liushengahn