2015-10-12 08:16:57 +00:00
|
|
|
// 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 prog
|
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
|
|
|
"fmt"
|
|
|
|
"testing"
|
|
|
|
)
|
|
|
|
|
|
|
|
func TestClone(t *testing.T) {
|
|
|
|
rs, iters := initTest(t)
|
|
|
|
for i := 0; i < iters; i++ {
|
|
|
|
p := Generate(rs, 10, nil)
|
|
|
|
p1 := p.Clone()
|
|
|
|
data := p.Serialize()
|
|
|
|
data1 := p1.Serialize()
|
|
|
|
if !bytes.Equal(data, data1) {
|
|
|
|
t.Fatalf("program changed after clone\noriginal:\n%s\n\nnew:\n%s\n", data, data1)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestMutate(t *testing.T) {
|
|
|
|
rs, iters := initTest(t)
|
|
|
|
next:
|
|
|
|
for i := 0; i < iters; i++ {
|
|
|
|
p := Generate(rs, 10, nil)
|
|
|
|
data0 := p.Serialize()
|
|
|
|
p1 := p.Clone()
|
|
|
|
// There is a chance that mutation will produce the same program.
|
|
|
|
// So we check that at least 1 out of 10 mutations actually change the program.
|
|
|
|
for try := 0; try < 10; try++ {
|
2016-10-21 16:19:56 +00:00
|
|
|
p1.Mutate(rs, 10, nil, nil)
|
2015-10-12 08:16:57 +00:00
|
|
|
data := p.Serialize()
|
|
|
|
if !bytes.Equal(data0, data) {
|
|
|
|
t.Fatalf("program changed after clone/mutate\noriginal:\n%s\n\nnew:\n%s\n", data0, data)
|
|
|
|
}
|
|
|
|
data1 := p1.Serialize()
|
|
|
|
if !bytes.Equal(data, data1) {
|
|
|
|
continue next
|
|
|
|
}
|
|
|
|
}
|
2015-12-31 14:24:08 +00:00
|
|
|
t.Fatalf("mutation does not change program:\n%s", data0)
|
2015-10-12 08:16:57 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-08-01 13:28:12 +00:00
|
|
|
func TestMutateCorpus(t *testing.T) {
|
|
|
|
rs, iters := initTest(t)
|
|
|
|
var corpus []*Prog
|
|
|
|
for i := 0; i < 100; i++ {
|
|
|
|
p := Generate(rs, 10, nil)
|
|
|
|
corpus = append(corpus, p)
|
|
|
|
}
|
|
|
|
for i := 0; i < iters; i++ {
|
|
|
|
p1 := Generate(rs, 10, nil)
|
|
|
|
p1.Mutate(rs, 10, nil, corpus)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-10-12 08:16:57 +00:00
|
|
|
func TestMutateTable(t *testing.T) {
|
|
|
|
tests := [][2]string{
|
|
|
|
// Insert calls.
|
|
|
|
{
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"pipe2(&(0x7f0000000000)={0x0, 0x0}, 0x0)\n",
|
|
|
|
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n" +
|
|
|
|
"pipe2(&(0x7f0000000000)={0x0, 0x0}, 0x0)\n",
|
|
|
|
},
|
|
|
|
// Remove calls and update args.
|
|
|
|
{
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"sched_yield()\n" +
|
2017-05-26 14:35:11 +00:00
|
|
|
"read(r0, &(0x7f0000000000)=\"\", 0x1)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n",
|
|
|
|
|
|
|
|
"sched_yield()\n" +
|
2017-05-26 14:35:11 +00:00
|
|
|
"read(0xffffffffffffffff, &(0x7f0000000000)=\"\", 0x1)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n",
|
|
|
|
},
|
|
|
|
// Mutate flags.
|
|
|
|
{
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"sched_yield()\n" +
|
2017-05-26 14:35:11 +00:00
|
|
|
"read(r0, &(0x7f0000000000)=\"\", 0x1)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n",
|
|
|
|
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x2)\n" +
|
|
|
|
"sched_yield()\n" +
|
2017-05-26 14:35:11 +00:00
|
|
|
"read(r0, &(0x7f0000000000)=\"\", 0x1)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n",
|
|
|
|
},
|
|
|
|
// Mutate data (delete byte and update size).
|
|
|
|
{
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"write(r0, &(0x7f0000000000)=\"11223344\", 0x4)\n",
|
|
|
|
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"write(r0, &(0x7f0000000000)=\"112244\", 0x3)\n",
|
|
|
|
},
|
|
|
|
// Mutate data (insert byte and update size).
|
|
|
|
{
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"write(r0, &(0x7f0000000000)=\"1122\", 0x2)\n",
|
|
|
|
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"write(r0, &(0x7f0000000000)=\"112255\", 0x3)\n",
|
|
|
|
},
|
|
|
|
// Mutate data (change byte).
|
|
|
|
{
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"write(r0, &(0x7f0000000000)=\"1122\", 0x2)\n",
|
|
|
|
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"write(r0, &(0x7f0000000000)=\"1155\", 0x2)\n",
|
|
|
|
},
|
|
|
|
// Change filename.
|
|
|
|
{
|
|
|
|
"open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"write(r0, &(0x7f0000000000)=\"\", 0x0)\n",
|
|
|
|
|
|
|
|
"open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653100\", 0x22c0, 0x1)\n" +
|
|
|
|
"write(r0, &(0x7f0000000000)=\"\", 0x0)\n",
|
|
|
|
},
|
|
|
|
// Extend an array.
|
|
|
|
{
|
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
2016-10-11 18:54:28 +00:00
|
|
|
"readv(r0, &(0x7f0000000000)=[{&(0x7f0000001000)=\"00\", 0x1}, {&(0x7f0000002000)=\"00\", 0x2}], 0x2)\n",
|
2015-10-12 08:16:57 +00:00
|
|
|
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"r0 = open(&(0x7f0000001000)=\"2e2f66696c653000\", 0x22c0, 0x1)\n" +
|
2016-10-11 18:54:28 +00:00
|
|
|
"readv(r0, &(0x7f0000000000)=[{&(0x7f0000001000)=\"00\", 0x1}, {&(0x7f0000002000)=\"00\", 0x2}, {&(0x7f0000000000)=\"00\", 0x3}], 0x3)\n",
|
2015-10-12 08:16:57 +00:00
|
|
|
},
|
|
|
|
}
|
|
|
|
rs, _ := initTest(t)
|
|
|
|
nextTest:
|
|
|
|
for ti, test := range tests {
|
|
|
|
p, err := Deserialize([]byte(test[0]))
|
|
|
|
if err != nil {
|
2017-05-26 14:35:11 +00:00
|
|
|
t.Fatalf("failed to deserialize original program %v: %v", ti, err)
|
2015-10-12 08:16:57 +00:00
|
|
|
}
|
2016-10-07 11:43:43 +00:00
|
|
|
if testing.Short() {
|
|
|
|
continue
|
|
|
|
}
|
2015-10-12 08:16:57 +00:00
|
|
|
for i := 0; i < 1e6; i++ {
|
|
|
|
p1 := p.Clone()
|
2016-10-21 16:19:56 +00:00
|
|
|
p1.Mutate(rs, 30, nil, nil)
|
2015-10-12 08:16:57 +00:00
|
|
|
data1 := p1.Serialize()
|
|
|
|
if string(data1) == test[1] {
|
|
|
|
t.Logf("test #%v: success on iter %v", ti, i)
|
|
|
|
continue nextTest
|
|
|
|
}
|
|
|
|
_ = fmt.Printf
|
|
|
|
}
|
|
|
|
t.Fatalf("failed to achieve mutation goal\noriginal:\n%s\n\ngoal:\n%s\n", test[0], test[1])
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestMinimize(t *testing.T) {
|
|
|
|
tests := []struct {
|
2015-12-23 12:47:45 +00:00
|
|
|
orig string
|
|
|
|
callIndex int
|
|
|
|
pred func(*Prog, int) bool
|
|
|
|
result string
|
|
|
|
resultCallIndex int
|
2015-10-12 08:16:57 +00:00
|
|
|
}{
|
|
|
|
// Predicate always returns false, so must get the same program.
|
|
|
|
{
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n" +
|
|
|
|
"pipe2(&(0x7f0000000000)={0x0, 0x0}, 0x0)\n",
|
|
|
|
2,
|
|
|
|
func(p *Prog, callIndex int) bool {
|
|
|
|
if len(p.Calls) == 0 {
|
|
|
|
t.Fatalf("got an empty program")
|
|
|
|
}
|
|
|
|
if p.Calls[len(p.Calls)-1].Meta.Name != "pipe2" {
|
|
|
|
t.Fatalf("last call is removed")
|
|
|
|
}
|
|
|
|
return false
|
|
|
|
},
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n" +
|
|
|
|
"pipe2(&(0x7f0000000000)={0x0, 0x0}, 0x0)\n",
|
2015-12-23 12:47:45 +00:00
|
|
|
2,
|
2015-10-12 08:16:57 +00:00
|
|
|
},
|
|
|
|
// Remove a call.
|
|
|
|
{
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n" +
|
2016-10-21 16:24:33 +00:00
|
|
|
"pipe2(&(0x7f0000000000)={0xffffffffffffffff, 0xffffffffffffffff}, 0x0)\n",
|
2015-10-12 08:16:57 +00:00
|
|
|
2,
|
|
|
|
func(p *Prog, callIndex int) bool {
|
|
|
|
// Aim at removal of sched_yield.
|
|
|
|
return len(p.Calls) == 2 && p.Calls[0].Meta.Name == "mmap" && p.Calls[1].Meta.Name == "pipe2"
|
|
|
|
},
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x0, 0x0, 0xffffffffffffffff, 0x0)\n" +
|
2016-10-21 16:24:33 +00:00
|
|
|
"pipe2(&(0x7f0000000000)={0xffffffffffffffff, 0xffffffffffffffff}, 0x0)\n",
|
2015-12-23 12:47:45 +00:00
|
|
|
1,
|
2015-10-12 08:16:57 +00:00
|
|
|
},
|
|
|
|
// Remove two dependent calls.
|
|
|
|
{
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"pipe2(&(0x7f0000000000)={0x0, 0x0}, 0x0)\n" +
|
|
|
|
"sched_yield()\n",
|
|
|
|
2,
|
|
|
|
func(p *Prog, callIndex int) bool {
|
|
|
|
// Aim at removal of pipe2 and then mmap.
|
|
|
|
if len(p.Calls) == 2 && p.Calls[0].Meta.Name == "mmap" && p.Calls[1].Meta.Name == "sched_yield" {
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
if len(p.Calls) == 1 && p.Calls[0].Meta.Name == "sched_yield" {
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
return false
|
|
|
|
},
|
|
|
|
"sched_yield()\n",
|
2015-12-23 12:47:45 +00:00
|
|
|
0,
|
2015-10-12 08:16:57 +00:00
|
|
|
},
|
|
|
|
// Remove a call and replace results.
|
|
|
|
{
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-12-28 11:58:10 +00:00
|
|
|
"pipe2(&(0x7f0000000000)={<r0=>0x0, 0x0}, 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"write(r0, &(0x7f0000000000)=\"1155\", 0x2)\n" +
|
|
|
|
"sched_yield()\n",
|
|
|
|
3,
|
|
|
|
func(p *Prog, callIndex int) bool {
|
|
|
|
return p.String() == "mmap-write-sched_yield"
|
|
|
|
},
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x0, 0x0, 0xffffffffffffffff, 0x0)\n" +
|
2016-10-21 16:24:33 +00:00
|
|
|
"write(0xffffffffffffffff, &(0x7f0000000000)=\"\", 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n",
|
2015-12-23 12:47:45 +00:00
|
|
|
2,
|
2015-10-12 08:16:57 +00:00
|
|
|
},
|
|
|
|
// Remove a call and replace results.
|
|
|
|
{
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"r0=open(&(0x7f0000000000)=\"1155\", 0x0, 0x0)\n" +
|
|
|
|
"write(r0, &(0x7f0000000000)=\"1155\", 0x2)\n" +
|
|
|
|
"sched_yield()\n",
|
2015-12-23 12:47:45 +00:00
|
|
|
-1,
|
2015-10-12 08:16:57 +00:00
|
|
|
func(p *Prog, callIndex int) bool {
|
|
|
|
return p.String() == "mmap-write-sched_yield"
|
|
|
|
},
|
2017-07-11 14:49:08 +00:00
|
|
|
"mmap(&(0x7f0000000000/0x1000)=nil, 0x1000, 0x0, 0x0, 0xffffffffffffffff, 0x0)\n" +
|
2016-10-21 16:24:33 +00:00
|
|
|
"write(0xffffffffffffffff, &(0x7f0000000000)=\"\", 0x0)\n" +
|
2015-10-12 08:16:57 +00:00
|
|
|
"sched_yield()\n",
|
2015-12-23 12:47:45 +00:00
|
|
|
-1,
|
|
|
|
},
|
|
|
|
// Glue several mmaps together.
|
|
|
|
{
|
|
|
|
"sched_yield()\n" +
|
2017-08-08 14:50:22 +00:00
|
|
|
"mmap(&(0x7f0000010000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
|
|
|
"mmap(&(0x7f0000011000/0x1000)=nil, 0x1000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n" +
|
2015-12-23 12:47:45 +00:00
|
|
|
"getpid()\n" +
|
2017-08-08 14:50:22 +00:00
|
|
|
"mmap(&(0x7f0000015000/0x5000)=nil, 0x2000, 0x3, 0x32, 0xffffffffffffffff, 0x0)\n",
|
2015-12-23 12:47:45 +00:00
|
|
|
3,
|
|
|
|
func(p *Prog, callIndex int) bool {
|
|
|
|
return p.String() == "mmap-sched_yield-getpid"
|
|
|
|
},
|
2017-08-08 14:50:22 +00:00
|
|
|
"mmap(&(0x7f0000010000/0x7000)=nil, 0x7000, 0x0, 0x0, 0xffffffffffffffff, 0x0)\n" +
|
2015-12-23 12:47:45 +00:00
|
|
|
"sched_yield()\n" +
|
|
|
|
"getpid()\n",
|
|
|
|
2,
|
2015-10-12 08:16:57 +00:00
|
|
|
},
|
|
|
|
}
|
|
|
|
for ti, test := range tests {
|
|
|
|
p, err := Deserialize([]byte(test.orig))
|
|
|
|
if err != nil {
|
2015-12-28 11:58:10 +00:00
|
|
|
t.Fatalf("failed to deserialize original program #%v: %v", ti, err)
|
2015-10-12 08:16:57 +00:00
|
|
|
}
|
2016-10-21 16:24:33 +00:00
|
|
|
p1, ci := Minimize(p, test.callIndex, test.pred, false)
|
2015-10-12 08:16:57 +00:00
|
|
|
res := p1.Serialize()
|
|
|
|
if string(res) != test.result {
|
|
|
|
t.Fatalf("minimization produced wrong result #%v\norig:\n%v\nexpect:\n%v\ngot:\n%v\n",
|
|
|
|
ti, test.orig, test.result, string(res))
|
|
|
|
}
|
2015-12-23 12:47:45 +00:00
|
|
|
if ci != test.resultCallIndex {
|
|
|
|
t.Fatalf("minimization broke call index #%v: got %v, want %v",
|
|
|
|
ti, ci, test.resultCallIndex)
|
|
|
|
}
|
2015-10-12 08:16:57 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func TestMinimizeRandom(t *testing.T) {
|
|
|
|
rs, iters := initTest(t)
|
2017-08-01 13:28:12 +00:00
|
|
|
iters /= 10 // Long test.
|
2015-10-12 08:16:57 +00:00
|
|
|
for i := 0; i < iters; i++ {
|
2017-08-01 13:28:12 +00:00
|
|
|
p := Generate(rs, 5, nil)
|
2015-10-12 08:16:57 +00:00
|
|
|
Minimize(p, len(p.Calls)-1, func(p1 *Prog, callIndex int) bool {
|
|
|
|
if err := p1.validate(); err != nil {
|
|
|
|
t.Fatalf("invalid program: %v", err)
|
|
|
|
}
|
|
|
|
return false
|
2016-10-21 16:24:33 +00:00
|
|
|
}, true)
|
|
|
|
Minimize(p, len(p.Calls)-1, func(p1 *Prog, callIndex int) bool {
|
|
|
|
if err := p1.validate(); err != nil {
|
|
|
|
t.Fatalf("invalid program: %v", err)
|
|
|
|
}
|
|
|
|
return true
|
|
|
|
}, true)
|
|
|
|
}
|
|
|
|
for i := 0; i < iters; i++ {
|
2017-08-01 13:28:12 +00:00
|
|
|
p := Generate(rs, 5, nil)
|
2016-10-21 16:24:33 +00:00
|
|
|
Minimize(p, len(p.Calls)-1, func(p1 *Prog, callIndex int) bool {
|
|
|
|
if err := p1.validate(); err != nil {
|
|
|
|
t.Fatalf("invalid program: %v", err)
|
|
|
|
}
|
|
|
|
return false
|
|
|
|
}, false)
|
2015-10-12 08:16:57 +00:00
|
|
|
Minimize(p, len(p.Calls)-1, func(p1 *Prog, callIndex int) bool {
|
|
|
|
if err := p1.validate(); err != nil {
|
|
|
|
t.Fatalf("invalid program: %v", err)
|
|
|
|
}
|
|
|
|
return true
|
2016-10-21 16:24:33 +00:00
|
|
|
}, false)
|
2015-10-12 08:16:57 +00:00
|
|
|
}
|
|
|
|
}
|