diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-05-14 15:30:13 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-05-14 15:30:13 +0200 |
| commit | 364ad1502f0d9f4abcb42ab9ff5d5fbb84d9c576 (patch) | |
| tree | 5128c5a43b9c6e24883bd18b2ee8371bd1453aa9 /executor/executor.h | |
| parent | d131f1b9fc0e6b3a2b326bd2fd4fa647a46b0c78 (diff) | |
executor: terminate on corrupted coverage
New measures still does not help against fuzzer producing
fake corrupted coverage.
Try to terminate instantly as we detect bad coverage.
Diffstat (limited to 'executor/executor.h')
| -rw-r--r-- | executor/executor.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/executor.h b/executor/executor.h index c12f4f169..eb8474e4d 100644 --- a/executor/executor.h +++ b/executor/executor.h @@ -500,7 +500,7 @@ void write_coverage_signal(thread_t* th, uint32* signal_count_pos, uint32* cover for (uint32 i = 0; i < th->cover_size; i++) { cover_t pc = cover_data[i]; if (!cover_check(pc)) - break; + doexit(0); cover_t sig = pc ^ prev; prev = hash(pc); if (dedup(sig)) |