1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
// Copyright 2025 syzkaller project authors. All rights reserved.
// Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
package manager
import (
"fmt"
"testing"
"github.com/google/syzkaller/pkg/mgrconfig"
"github.com/google/syzkaller/pkg/osutil"
"github.com/stretchr/testify/assert"
"github.com/stretchr/testify/require"
)
func TestPatchFocusAreas(t *testing.T) {
cfg := &mgrconfig.Config{
KernelSrc: t.TempDir(),
}
require.NoError(t, osutil.FillDirectory(cfg.KernelSrc, map[string]string{
"header.h": `Test`,
"a.c": `#include <header.h>
int main(void) { }`,
"b.c": `int main(void) { }`,
"c.c": `int main(void) { }`,
}))
baseHashes, patchedHashes := dummySymbolHashes(), dummySymbolHashes()
baseHashes["function"] = "hash1"
patchedHashes["function"] = "hash2"
PatchFocusAreas(cfg, [][]byte{
[]byte(`diff --git a/b.c b/b.c
index 103167d..fbf7a68 100644
--- a/b.c
+++ b/b.c
@@ -1 +1 @@
-int main(void) { }
\ No newline at end of file
+int main(void) { return 1; }
\ No newline at end of file`),
// Also, emulate an update to header.h.
[]byte(`diff --git a/header.h b/header.h
index 103167d..fbf7a68 100644
--- a/header.h
+++ b/header.h
@@ -1 +1 @@
-Test
\ No newline at end of file
+Test2
\ No newline at end of file`),
}, baseHashes, patchedHashes)
assert.Equal(t, []mgrconfig.FocusArea{
{
Name: symbolsArea,
Filter: mgrconfig.CovFilterCfg{
Functions: []string{"^function$"},
},
Weight: 6.0,
},
{
Name: filesArea,
Filter: mgrconfig.CovFilterCfg{
Files: []string{"b.c", "header.h"},
},
Weight: 3.0,
},
{
Name: includesArea,
Filter: mgrconfig.CovFilterCfg{
Files: []string{"a.c"},
},
Weight: 2.0,
},
{
Weight: 1.0,
},
}, cfg.Experimental.FocusAreas)
}
func dummySymbolHashes() map[string]string {
ret := map[string]string{}
for i := 0; i < 100; i++ {
ret[fmt.Sprint(i)] = fmt.Sprint(i)
}
return ret
}
func TestModifiedSymbols(t *testing.T) {
t.Run("too many changed", func(t *testing.T) {
ret := modifiedSymbols(map[string]string{
"functionA": "hash1",
"functionB": "hash2",
}, map[string]string{
"functionA": "hash1",
"functionB": "hash is not hash2",
})
assert.Empty(t, ret)
})
t.Run("less than threshold", func(t *testing.T) {
base, patched := dummySymbolHashes(), dummySymbolHashes()
base["function"] = "hash1"
patched["function"] = "hash2"
base["function2"] = "hash1"
patched["function2"] = "hash2"
assert.Equal(t, []string{"function", "function2"}, modifiedSymbols(base, patched))
})
}
func TestNeedReproForTitle(t *testing.T) {
for title, skip := range map[string]bool{
"no output from test machine": false,
"SYZFAIL: read failed": false,
"lost connection to test machine": false,
"INFO: rcu detected stall in clone": false,
"WARNING in arch_install_hw_breakpoint": true,
"KASAN: slab-out-of-bounds Write in __bpf_get_stackid": true,
} {
assert.Equal(t, skip, needReproForTitle(title), "title=%q", title)
}
}
|
