From 7f07e9b0e2d1b715e875a446eea8399f9bb8a4b2 Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Thu, 1 Feb 2024 18:26:06 +0100 Subject: syz-manager: prefer non-ANY progs in corpus minimization In case of non-squashed programs we can leverage our descriptions in a much better way than just blind mutations of binary blobs. --- syz-manager/hub.go | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'syz-manager/hub.go') diff --git a/syz-manager/hub.go b/syz-manager/hub.go index 9598a41d4..c10011818 100644 --- a/syz-manager/hub.go +++ b/syz-manager/hub.go @@ -215,7 +215,7 @@ func (hc *HubConnector) sync(hub *rpctype.RPCClient, corpus [][]byte) error { func (hc *HubConnector) processProgs(inputs []rpctype.HubInput) (minimized, smashed, dropped int) { candidates := make([]rpctype.Candidate, 0, len(inputs)) for _, inp := range inputs { - bad, disabled := checkProgram(hc.target, hc.enabledCalls, inp.Prog) + bad, disabled, _ := checkProgram(hc.target, hc.enabledCalls, inp.Prog) if bad != nil || disabled { log.Logf(0, "rejecting program from hub (bad=%v, disabled=%v):\n%s", bad, disabled, inp) @@ -268,7 +268,7 @@ func splitDomains(domain string) (string, string) { func (hc *HubConnector) processRepros(repros [][]byte) int { dropped := 0 for _, repro := range repros { - bad, disabled := checkProgram(hc.target, hc.enabledCalls, repro) + bad, disabled, _ := checkProgram(hc.target, hc.enabledCalls, repro) if bad != nil || disabled { log.Logf(0, "rejecting repro from hub (bad=%v, disabled=%v):\n%s", bad, disabled, repro) -- cgit mrf-deployment