From faf3e3d2299100f0fccf2f6187d58e398cab06be Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 14 May 2018 11:17:58 +0200 Subject: executor: filter out invalid PCs on linux/x86_64 Fuzzer manages to corrupt output region and write random coverage again and again. Do a sanity range check on coverage PCs to filter out invalid ones. --- executor/executor_bsd.cc | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'executor/executor_bsd.cc') diff --git a/executor/executor_bsd.cc b/executor/executor_bsd.cc index 642b6a223..0e8767626 100644 --- a/executor/executor_bsd.cc +++ b/executor/executor_bsd.cc @@ -220,6 +220,16 @@ uint32 read_cover_size(thread_t* th) #endif } +bool cover_check(uint32 pc) +{ + return true; +} + +bool cover_check(uint64 pc) +{ + return true; +} + uint32* write_output(uint32 v) { if (collide) -- cgit mrf-deployment