pkg/fuzzer/throttler: avoid repetitive crashes

Track the crash rate for the individual syscalls and rate limit the
execution of those which happen too often.

For determining the most unsafe syscalls, let's keep a sliding window of
the last executed progs on every instance.
* If a program has been evicted from the sliding window, it's safe
  enough.
* If an instance crashed, all programs in the window are under
  suspicion.

For preventing the execution of banned syscalls, let's add a special
(skip) call parameter that is understood by the executor.

The parameter is not supposed to leak into the corpus, so add
appropriate assertions.

Author: a-nogikh

executor/executor.cc

@@ -1236,34 +1236,38 @@ void execute_call(thread_t* th)
 		th->soft_fail_state = true;
 	}
 
-	if (flag_coverage)
-		cover_reset(&th->cov);
-	// For pseudo-syscalls and user-space functions NONFAILING can abort before assigning to th->res.
-	// Arrange for res = -1 and errno = EFAULT result for such case.
-	th->res = -1;
-	errno = EFAULT;
-	NONFAILING(th->res = execute_syscall(call, th->args));
-	th->reserrno = errno;
-	// Our pseudo-syscalls may misbehave.
-	if ((th->res == -1 && th->reserrno == 0) || call->attrs.ignore_return)
-		th->reserrno = EINVAL;
-	// Reset the flag before the first possible fail().
-	th->soft_fail_state = false;
-
-	if (flag_coverage) {
-		cover_collect(&th->cov);
-		if (th->cov.size >= kCoverSize)
-			failmsg("too much cover", "thr=%d, cov=%u", th->id, th->cov.size);
-	}
-	th->fault_injected = false;
+	if (th->call_props.skip > 0) {
+		th->reserrno = ENOSYS;
+	} else {
+		if (flag_coverage)
+			cover_reset(&th->cov);
+		// For pseudo-syscalls and user-space functions NONFAILING can abort before assigning to th->res.
+		// Arrange for res = -1 and errno = EFAULT result for such case.
+		th->res = -1;
+		errno = EFAULT;
+		NONFAILING(th->res = execute_syscall(call, th->args));
+		th->reserrno = errno;
+		// Our pseudo-syscalls may misbehave.
+		if ((th->res == -1 && th->reserrno == 0) || call->attrs.ignore_return)
+			th->reserrno = EINVAL;
+		// Reset the flag before the first possible fail().
+		th->soft_fail_state = false;
+
+		if (flag_coverage) {
+			cover_collect(&th->cov);
+			if (th->cov.size >= kCoverSize)
+				failmsg("too much cover", "thr=%d, cov=%u", th->id, th->cov.size);
+		}
+		th->fault_injected = false;
 
-	if (th->call_props.fail_nth > 0)
-		th->fault_injected = fault_injected(fail_fd);
+		if (th->call_props.fail_nth > 0)
+			th->fault_injected = fault_injected(fail_fd);
 
-	// If required, run the syscall some more times.
-	// But let's still return res, errno and coverage from the first execution.
-	for (int i = 0; i < th->call_props.rerun; i++)
-		NONFAILING(execute_syscall(call, th->args));
+		// If required, run the syscall some more times.
+		// But let's still return res, errno and coverage from the first execution.
+		for (int i = 0; i < th->call_props.rerun; i++)
+			NONFAILING(execute_syscall(call, th->args));
+	}
 
 	debug("#%d [%llums] <- %s=0x%llx",
 	      th->id, current_time_ms() - start_time_ms, call->name, (uint64)th->res);
@@ -1275,6 +1279,8 @@ void execute_call(thread_t* th)
 		debug(" fault=%d", th->fault_injected);
 	if (th->call_props.rerun > 0)
 		debug(" rerun=%d", th->call_props.rerun);
+	if (th->call_props.skip > 0)
+		debug(" skipped");
 	debug("\n");
 }
 

pkg/corpus/corpus.go

@@ -90,6 +90,8 @@ type NewItemEvent struct {
 }
 
 func (corpus *Corpus) Save(inp NewInput) {
+	validateCorpusProg(inp.Prog)
+
 	progData := inp.Prog.Serialize()
 	sig := hash.String(progData)
 
@@ -150,6 +152,18 @@ func (corpus *Corpus) Save(inp NewInput) {
 		}
 	}
 }
+
+func validateCorpusProg(p *prog.Prog) {
+	for _, call := range p.Calls {
+		if call.Props.Async {
+			panic("attempting to save a Async=true prog to corpus")
+		}
+		if call.Props.Skip {
+			panic("attempting to save a Skip=true prog to corpus")
+		}
+	}
+}
+
 func (corpus *Corpus) Signal() signal.Signal {
 	corpus.mu.RLock()
 	defer corpus.mu.RUnlock()

pkg/csource/csource.go

@@ -253,6 +253,10 @@ func (ctx *context) generateCalls(p prog.ExecProg, trace bool) ([]string, []uint
 	var calls []string
 	csumSeq := 0
 	for ci, call := range p.Calls {
+		if call.Props.Skip {
+			continue
+		}
+
 		w := new(bytes.Buffer)
 		// Copyin.
 		for _, copyin := range call.Copyin {

pkg/fuzzer/fuzzer.go

@@ -131,12 +131,15 @@ func (fuzzer *Fuzzer) processResult(req *queue.Request, res *queue.Result, flags
 		fuzzer.triageProgCall(req.Prog, res.Info.Extra, -1, &triage)
 
 		if len(triage) != 0 {
+			p := req.Prog.Clone()
+			triage = removeSkippedCalls(p, triage)
+
 			queue, stat := fuzzer.triageQueue, fuzzer.statJobsTriage
 			if flags&progCandidate > 0 {
 				queue, stat = fuzzer.triageCandidateQueue, fuzzer.statJobsTriageCandidate
 			}
 			fuzzer.startJob(stat, &triageJob{
-				p:     req.Prog.Clone(),
+				p:     p,
 				flags: flags,
 				queue: queue.Append(),
 				calls: triage,
@@ -163,6 +166,26 @@ func (fuzzer *Fuzzer) processResult(req *queue.Request, res *queue.Result, flags
 	return true
 }
 
+func removeSkippedCalls(p *prog.Prog, triage map[int]*triageCall) map[int]*triageCall {
+	ret := map[int]*triageCall{}
+	if info := triage[-1]; info != nil {
+		ret[-1] = info
+	}
+	oldPos := 0
+	for i := 0; i < len(p.Calls); oldPos++ {
+		if p.Calls[i].Props.Skip {
+			p.RemoveCall(i)
+			continue
+		}
+		info := triage[oldPos]
+		if info != nil {
+			ret[i] = info
+		}
+		i++
+	}
+	return ret
+}
+
 type Config struct {
 	Debug          bool
 	Corpus         *corpus.Corpus

pkg/fuzzer/fuzzer_test.go

@@ -181,6 +181,32 @@ func TestRotate(t *testing.T) {
 	assert.Equal(t, 700, minus.Len())
 }
 
+func TestRemoveSkippedCalls(t *testing.T) {
+	target, err := prog.GetTarget(targets.TestOS, targets.TestArch64Fuzz)
+	if err != nil {
+		t.Fatal(err)
+	}
+	p, err := target.Deserialize([]byte(`
+serialize0(&AUTO) (skip)
+serialize1(&AUTO)
+serialize2(&AUTO) (skip)
+serialize3(&AUTO)
+`), prog.NonStrict)
+	if err != nil {
+		t.Fatal(err)
+	}
+	mm := map[int]*triageCall{
+		1: {},
+	}
+	newMm := removeSkippedCalls(p, mm)
+	assert.Len(t, newMm, 1)
+	assert.NotNil(t, newMm[0])
+
+	assert.Len(t, p.Calls, 2)
+	assert.Equal(t, "serialize1", p.Calls[0].Meta.Name)
+	assert.Equal(t, "serialize3", p.Calls[1].Meta.Name)
+}
+
 // Based on the example from Go documentation.
 var crc32q = crc32.MakeTable(0xD5828281)