diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-02-01 18:26:06 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-02-08 13:36:40 +0000 |
| commit | 7f07e9b0e2d1b715e875a446eea8399f9bb8a4b2 (patch) | |
| tree | ec243ce4296c5360c876389298a35dcaa8a1f662 /syz-manager/hub.go | |
| parent | e8e3023880fc4f8be85c1d1c689fd1fc9a77d60e (diff) | |
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.
Diffstat (limited to 'syz-manager/hub.go')
| -rw-r--r-- | syz-manager/hub.go | 4 |
1 files changed, 2 insertions, 2 deletions
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) |