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.

1 files changed, 9 insertions, 0 deletions

diff --git a/prog/analysis.go b/prog/analysis.go
index 47c470926..600f9bee4 100644
--- a/prog/analysis.go
+++ b/prog/analysis.go
@@ -367,3 +367,12 @@ func (p *Prog) ForEachAsset(cb func(name string, typ AssetType, r io.Reader)) {
 		})
 	}
 }
+
+func (p *Prog) ContainsAny() bool {
+	for _, c := range p.Calls {
+		if p.Target.CallContainsAny(c) {
+			return true
+		}
+	}
+	return false
+}