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
|
// Copyright 2022 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 executor
import (
"bytes"
"os"
"testing"
"time"
"github.com/google/syzkaller/pkg/csource"
"github.com/google/syzkaller/pkg/ipc"
"github.com/google/syzkaller/pkg/ipc/ipcconfig"
"github.com/google/syzkaller/pkg/osutil"
"github.com/google/syzkaller/prog"
"github.com/google/syzkaller/sys/targets"
)
func TestCommonExt(t *testing.T) {
target, err := prog.GetTarget("test", "64_fork")
if err != nil {
t.Fatal(err)
}
sysTarget := targets.Get(target.OS, target.Arch)
if sysTarget.BrokenCompiler != "" {
t.Skipf("skipping, broken cross-compiler: %v", sysTarget.BrokenCompiler)
}
bin, err := csource.BuildFile(target, "executor.cc", "-DSYZ_TEST_COMMON_EXT_EXAMPLE=1")
if err != nil {
t.Fatal(err)
}
defer os.Remove(bin)
out, err := osutil.RunCmd(time.Minute, "", bin, "setup")
if err != nil {
t.Fatal(err)
}
if !bytes.Contains(out, []byte("example setup_ext called")) {
t.Fatalf("setup_ext wasn't called:\n%s", out)
}
// The example setup_ext_test does:
// *(uint64*)(SYZ_DATA_OFFSET + 0x1234) = 0xbadc0ffee;
// The following program tests that that value is present at 0x1234.
test := `syz_compare(&(0x7f0000001234)="", 0x8, &(0x7f0000000000)=@blob="eeffc0ad0b000000", AUTO)`
p, err := target.Deserialize([]byte(test), prog.Strict)
if err != nil {
t.Fatal(err)
}
cfg, opts, err := ipcconfig.Default(target)
if err != nil {
t.Fatal(err)
}
cfg.Executor = bin
cfg.Flags |= ipc.FlagDebug
env, err := ipc.MakeEnv(cfg, 0)
if err != nil {
t.Fatalf("failed to create env: %v", err)
}
defer env.Close()
_, info, _, err := env.Exec(opts, p)
if err != nil {
t.Fatal(err)
}
if call := info.Calls[0]; (call.Flags&ipc.CallFinished) == 0 || call.Errno != 0 {
t.Fatalf("bad call result: flags=%x errno=%v", call.Flags, call.Errno)
}
}
|
