Lukas Dresel

@GoenitzYs `run_experiment` spins up the `dispatcher-container`, copies all of the local data into it (if you have allow-uncommitted-changes set) and then the `dispatcher-container` starts by first building all of the...

Relevant functions in `experiment/scheduler.py` (in callstack order, bottom is the one you want probably) 1. `schedule_loop` 2. `schedule` 3. `start_trials` 4. `_start_trial` 5. `gcloud->create_instance` 6. `common/gcloud.py`: `create_instance` 7. `common/gcloud.py`: `run_local_instance`...

Unfortunately, it seems to be incompatible with the lowest version I could select in `apt` (which is libstdc++-7-dev). It errors with a variety of errors, e.g. ``` or 1st argument...

I realized that `symcc_aflplusplus` also relies on, and manages to install, `libstdc++-5-dev`. I've retried it with their line of ``` RUN echo "deb http://archive.ubuntu.com/ubuntu bionic main universe" >> /etc/apt/sources.list ```...

@jonathanmetzman @Alan32Liu It does not block me, simply because I decided to not evaluate against SymQEMU because of it. However, instead of removing it, I'd be willing to update it...

Since `SymCC`, `SymQEMU` and `SymSan` are the only concolic fuzzers in the benchmark, I'd prefer to see them stay as they are important for concolic execution research to be able...

It should be noted that this causes the affected fuzzers to perform both better and worse depending on the length of the experiment. The time-to-coverage will improve because they get...

@chenju2k6 Yes, it does not report results for about half the benchmarks at the end of my experiments because of it. But it is possible that it performs better not...

@jonathanmetzman to clarify, this does not actually improve the performance, (they fuzzers don't pick those files up, they're pretty careful in what they synchronize in to keep performance optimal, e.g....

Hey Jonathan! Yes, we are hoping to submit the paper to CCS in a few weeks. The modifications outside of `fuzzers` fall into the following categories: 1. speeding up local...