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
|
// Copyright 2020 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 prog
import (
"fmt"
"strings"
"testing"
)
func InitTargetTest(t *testing.T, os, arch string) *Target {
t.Parallel()
target, err := GetTarget(os, arch)
if err != nil {
t.Fatal(err)
}
return target
}
type DeserializeTest struct {
In string
Out string // if not set, equals to In
Err string
StrictErr string // if not set, equals to Err
}
func TestDeserializeHelper(t *testing.T, OS, arch string, transform func(*Target, *Prog), tests []DeserializeTest) {
target := InitTargetTest(t, OS, arch)
for testidx, test := range tests {
t.Run(fmt.Sprint(testidx), func(t *testing.T) {
if test.StrictErr == "" {
test.StrictErr = test.Err
}
if test.Err != "" && test.Out != "" {
t.Errorf("both Err and Out are set")
}
if test.In == test.Out {
t.Errorf("in and out are equal, remove Out in such case\n%v", test.In)
}
if test.Out == "" {
test.Out = test.In
}
for _, mode := range []DeserializeMode{NonStrict, Strict} {
p, err := target.Deserialize([]byte(test.In), mode)
wantErr := test.Err
if mode == Strict {
wantErr = test.StrictErr
}
if err != nil {
if wantErr == "" {
t.Fatalf("deserialization failed with\n%s\ndata:\n%s",
err, test.In)
}
if !strings.Contains(err.Error(), wantErr) {
t.Fatalf("deserialization failed with\n%s\nwhich doesn't match\n%s\ndata:\n%s",
err, wantErr, test.In)
}
} else {
if wantErr != "" {
t.Fatalf("deserialization should have failed with:\n%s\ndata:\n%s",
wantErr, test.In)
}
if transform != nil {
transform(target, p)
}
output := strings.TrimSpace(string(p.Serialize()))
outputVerbose := strings.TrimSpace(string(p.SerializeVerbose()))
want := strings.TrimSpace(test.Out)
// We want to compare both verbose & non verbose mode.
// Otherwise we cannot have just In: field for the calls where
// the verbose and non-verbose output don't match -- the strict parsing
// mode does not accept the non-verbose output as input.
if want != output && want != outputVerbose {
t.Fatalf("wrong serialized data:\n%s\nexpect:\n%s", outputVerbose, want)
}
p.SerializeForExec()
}
}
})
}
}
|
