mirror of
https://github.com/reactos/syzkaller.git
synced 2024-11-24 03:49:45 +00:00
b4a59f4ee6
IPC timeout must be larger than executor timeout. Otherwise IPC kills parent executor but does not kill child executor.
219 lines
5.3 KiB
Go
219 lines
5.3 KiB
Go
// Copyright 2015 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 ipc
|
|
|
|
import (
|
|
"bufio"
|
|
"bytes"
|
|
"math/rand"
|
|
"os"
|
|
"strings"
|
|
"testing"
|
|
"time"
|
|
|
|
"github.com/google/syzkaller/csource"
|
|
"github.com/google/syzkaller/fileutil"
|
|
"github.com/google/syzkaller/prog"
|
|
)
|
|
|
|
const timeout = 10 * time.Second
|
|
|
|
func buildExecutor(t *testing.T) string {
|
|
return buildProgram(t, "../executor/executor.cc")
|
|
}
|
|
|
|
func buildSource(t *testing.T, src []byte) string {
|
|
tmp, err := fileutil.WriteTempFile(src)
|
|
if err != nil {
|
|
t.Fatalf("%v", err)
|
|
}
|
|
defer os.Remove(tmp)
|
|
return buildProgram(t, tmp)
|
|
}
|
|
|
|
func buildProgram(t *testing.T, src string) string {
|
|
bin, err := csource.Build(src)
|
|
if err != nil {
|
|
t.Fatalf("%v", err)
|
|
}
|
|
return bin
|
|
}
|
|
|
|
func initTest(t *testing.T) (rand.Source, int) {
|
|
iters := 100
|
|
if testing.Short() {
|
|
iters = 10
|
|
}
|
|
seed := int64(time.Now().UnixNano())
|
|
rs := rand.NewSource(seed)
|
|
t.Logf("seed=%v", seed)
|
|
return rs, iters
|
|
}
|
|
|
|
func TestEmptyProg(t *testing.T) {
|
|
bin := buildExecutor(t)
|
|
defer os.Remove(bin)
|
|
|
|
env, err := MakeEnv(bin, timeout, 0)
|
|
if err != nil {
|
|
t.Fatalf("failed to create env: %v", err)
|
|
}
|
|
defer env.Close()
|
|
|
|
p := new(prog.Prog)
|
|
output, strace, cov, _, failed, hanged, err := env.Exec(p)
|
|
if err != nil {
|
|
t.Fatalf("failed to run executor: %v", err)
|
|
}
|
|
if len(output) != 0 {
|
|
t.Fatalf("output on empty program")
|
|
}
|
|
if len(strace) != 0 {
|
|
t.Fatalf("strace output when not stracing")
|
|
}
|
|
if cov != nil {
|
|
t.Fatalf("haven't asked for coverage, but got it")
|
|
}
|
|
if failed || hanged {
|
|
t.Fatalf("empty program failed")
|
|
}
|
|
}
|
|
|
|
func TestStrace(t *testing.T) {
|
|
t.Skip("strace is broken")
|
|
|
|
bin := buildExecutor(t)
|
|
defer os.Remove(bin)
|
|
|
|
env, err := MakeEnv(bin, timeout, FlagStrace)
|
|
if err != nil {
|
|
t.Fatalf("failed to create env: %v", err)
|
|
}
|
|
defer env.Close()
|
|
|
|
p := new(prog.Prog)
|
|
_, strace, _, _, failed, hanged, err := env.Exec(p)
|
|
if err != nil {
|
|
t.Fatalf("failed to run executor: %v", err)
|
|
}
|
|
if len(strace) == 0 {
|
|
t.Fatalf("no strace output")
|
|
}
|
|
if failed || hanged {
|
|
t.Fatalf("empty program failed")
|
|
}
|
|
}
|
|
|
|
func TestExecute(t *testing.T) {
|
|
bin := buildExecutor(t)
|
|
defer os.Remove(bin)
|
|
|
|
rs, iters := initTest(t)
|
|
flags := []uint64{0, FlagStrace, FlagThreaded, FlagStrace | FlagThreaded}
|
|
for _, flag := range flags {
|
|
env, err := MakeEnv(bin, timeout, flag)
|
|
if err != nil {
|
|
t.Fatalf("failed to create env: %v", err)
|
|
}
|
|
defer env.Close()
|
|
|
|
for i := 0; i < iters/len(flags); i++ {
|
|
p := prog.Generate(rs, 10, nil)
|
|
_, _, _, _, _, _, err := env.Exec(p)
|
|
if err != nil {
|
|
t.Logf("program:\n%s\n", p.Serialize())
|
|
t.Fatalf("failed to run executor: %v", err)
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestCompare(t *testing.T) {
|
|
t.Skip("flaky")
|
|
|
|
bin := buildExecutor(t)
|
|
defer os.Remove(bin)
|
|
|
|
// Sequence of syscalls that statically linked libc produces on startup.
|
|
rawTracePrefix := []string{"execve", "uname", "brk", "brk", "arch_prctl",
|
|
"readlink", "brk", "brk", "access"}
|
|
executorTracePrefix := []string{"execve", "uname", "brk", "brk", "arch_prctl",
|
|
"set_tid_address", "set_robust_list", "futex", "rt_sigaction", "rt_sigaction",
|
|
"rt_sigprocmask", "getrlimit", "readlink", "brk", "brk", "access", "mmap", "mmap"}
|
|
// These calls produce non-deterministic results, ignore them.
|
|
nondet := []string{"getrusage", "msgget", "msgrcv", "msgsnd", "shmget", "semat", "io_setup", "getpgrp",
|
|
"getpid", "getpgid", "getppid", "setsid", "ppoll", "keyctl", "ioprio_get",
|
|
"move_pages", "kcmp"}
|
|
|
|
env1, err := MakeEnv(bin, timeout, FlagStrace)
|
|
if err != nil {
|
|
t.Fatalf("failed to create env: %v", err)
|
|
}
|
|
defer env1.Close()
|
|
|
|
rs, iters := initTest(t)
|
|
for i := 0; i < iters; i++ {
|
|
p := prog.Generate(rs, 10, nil)
|
|
_, strace1, _, _, _, _, err := env1.Exec(p)
|
|
if err != nil {
|
|
t.Fatalf("failed to run executor: %v", err)
|
|
}
|
|
|
|
src := csource.Write(p, csource.Options{})
|
|
cprog := buildSource(t, src)
|
|
defer os.Remove(cprog)
|
|
|
|
env2, err := MakeEnv(cprog, timeout, FlagStrace)
|
|
if err != nil {
|
|
t.Fatalf("failed to create env: %v", err)
|
|
}
|
|
defer env2.Close() // yes, that's defer in a loop
|
|
|
|
_, strace2, _, _, _, _, err := env2.Exec(nil)
|
|
if err != nil {
|
|
t.Fatalf("failed to run c binary: %v", err)
|
|
}
|
|
stripPrefix := func(data []byte, prefix []string) string {
|
|
prefix0 := prefix
|
|
buf := new(bytes.Buffer)
|
|
s := bufio.NewScanner(bytes.NewReader(data))
|
|
for s.Scan() {
|
|
if strings.HasPrefix(s.Text(), "--- SIG") {
|
|
// Signal parameters can contain pid and pc.
|
|
continue
|
|
}
|
|
if len(prefix) == 0 {
|
|
skip := false
|
|
for _, c := range nondet {
|
|
if strings.HasPrefix(s.Text(), c) {
|
|
skip = true
|
|
break
|
|
}
|
|
}
|
|
if skip {
|
|
continue
|
|
}
|
|
buf.WriteString(s.Text())
|
|
buf.Write([]byte{'\n'})
|
|
continue
|
|
}
|
|
if !strings.HasPrefix(s.Text(), prefix[0]) {
|
|
t.Fatalf("strace output does not start with expected prefix\ngot:\n%s\nexpect prefix: %+v\ncurrent call: %v", data, prefix0, prefix[0])
|
|
}
|
|
prefix = prefix[1:]
|
|
}
|
|
if err := s.Err(); err != nil {
|
|
t.Fatalf("failed to scan strace output: %v", err)
|
|
}
|
|
return buf.String()
|
|
}
|
|
s1 := stripPrefix(strace1, executorTracePrefix)
|
|
s2 := stripPrefix(strace2, rawTracePrefix)
|
|
if s1 == "" || s1 != s2 {
|
|
t.Logf("program:\n%s\n", p.Serialize())
|
|
t.Fatalf("strace output differs:\n%s\n\n\n%s\n", s1, s2)
|
|
}
|
|
}
|
|
}
|