mirror of
https://github.com/reactos/syzkaller.git
synced 2024-11-27 13:20:34 +00:00
bc734e7ada
Name "Type" is confusing when referring to pointer/array element type. Frequently there are too many Type/typ/typ1/t and typ.Type is not very informative. It _is_ a type, but what's usually more relevant is that it's an _element_ type. Let's leave type checking to compiler and give it a more meaningful name.
209 lines
5.3 KiB
Go
209 lines
5.3 KiB
Go
// Copyright 2017 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"
|
|
)
|
|
|
|
const (
|
|
// Special reference to the outer struct used in len targets.
|
|
ParentRef = "parent"
|
|
// Special reference directly to syscall arguments used in len targets.
|
|
SyscallRef = "syscall"
|
|
)
|
|
|
|
func (target *Target) assignSizes(args []Arg, parentsMap map[Arg]Arg, syscallArgs []Arg, autos map[Arg]bool) {
|
|
for _, arg := range args {
|
|
if arg = InnerArg(arg); arg == nil {
|
|
continue // Pointer to optional len field, no need to fill in value.
|
|
}
|
|
typ, ok := arg.Type().(*LenType)
|
|
if !ok {
|
|
continue
|
|
}
|
|
if autos != nil {
|
|
if !autos[arg] {
|
|
continue
|
|
}
|
|
delete(autos, arg)
|
|
}
|
|
a := arg.(*ConstArg)
|
|
if typ.Path[0] == SyscallRef {
|
|
target.assignSize(a, nil, typ.Path[1:], syscallArgs, parentsMap)
|
|
} else {
|
|
target.assignSize(a, a, typ.Path, args, parentsMap)
|
|
}
|
|
}
|
|
}
|
|
|
|
func (target *Target) assignSize(dst *ConstArg, pos Arg, path []string, args []Arg, parentsMap map[Arg]Arg) {
|
|
elem := path[0]
|
|
path = path[1:]
|
|
var offset uint64
|
|
for _, buf := range args {
|
|
if elem != buf.Type().FieldName() {
|
|
offset += buf.Size()
|
|
continue
|
|
}
|
|
if typ := buf.Type().Name(); typ == target.any.ptrPtr.Name() || typ == target.any.ptr64.Name() {
|
|
// If path points into squashed argument, we don't have the target argument.
|
|
// In such case we simply leave size argument as is. It can't happen during generation,
|
|
// only during mutation and mutation can set size to random values, so it should be fine.
|
|
return
|
|
}
|
|
buf = InnerArg(buf)
|
|
if buf == nil {
|
|
dst.Val = 0 // target is an optional pointer
|
|
return
|
|
}
|
|
if len(path) == 0 {
|
|
dst.Val = target.computeSize(buf, offset, dst.Type().(*LenType))
|
|
} else {
|
|
target.assignSize(dst, buf, path, buf.(*GroupArg).Inner, parentsMap)
|
|
}
|
|
return
|
|
}
|
|
if elem == ParentRef {
|
|
buf := parentsMap[pos]
|
|
if len(path) == 0 {
|
|
dst.Val = target.computeSize(buf, noOffset, dst.Type().(*LenType))
|
|
} else {
|
|
target.assignSize(dst, buf, path, buf.(*GroupArg).Inner, parentsMap)
|
|
}
|
|
return
|
|
}
|
|
for buf := parentsMap[pos]; buf != nil; buf = parentsMap[buf] {
|
|
if elem != buf.Type().TemplateName() {
|
|
continue
|
|
}
|
|
if len(path) == 0 {
|
|
dst.Val = target.computeSize(buf, noOffset, dst.Type().(*LenType))
|
|
} else {
|
|
target.assignSize(dst, buf, path, buf.(*GroupArg).Inner, parentsMap)
|
|
}
|
|
return
|
|
}
|
|
var argNames []string
|
|
for _, arg := range args {
|
|
argNames = append(argNames, arg.Type().FieldName())
|
|
}
|
|
panic(fmt.Sprintf("len field %q references non existent field %q, pos=%q/%q, argsMap: %+v",
|
|
dst.Type().FieldName(), elem, pos.Type().Name(), pos.Type().FieldName(), argNames))
|
|
}
|
|
|
|
const noOffset = ^uint64(0)
|
|
|
|
func (target *Target) computeSize(arg Arg, offset uint64, lenType *LenType) uint64 {
|
|
if lenType.Offset {
|
|
if offset == noOffset {
|
|
panic("offset of a non-field")
|
|
}
|
|
return offset * 8 / lenType.BitSize
|
|
}
|
|
bitSize := lenType.BitSize
|
|
if bitSize == 0 {
|
|
bitSize = 8
|
|
}
|
|
switch arg.Type().(type) {
|
|
case *VmaType:
|
|
a := arg.(*PointerArg)
|
|
return a.VmaSize * 8 / bitSize
|
|
case *ArrayType:
|
|
a := arg.(*GroupArg)
|
|
if lenType.BitSize != 0 {
|
|
return a.Size() * 8 / bitSize
|
|
}
|
|
return uint64(len(a.Inner))
|
|
default:
|
|
return arg.Size() * 8 / bitSize
|
|
}
|
|
}
|
|
|
|
func (target *Target) assignSizesArray(args []Arg, autos map[Arg]bool) {
|
|
parentsMap := make(map[Arg]Arg)
|
|
for _, arg := range args {
|
|
ForeachSubArg(arg, func(arg Arg, _ *ArgCtx) {
|
|
if _, ok := arg.Type().(*StructType); ok {
|
|
for _, field := range arg.(*GroupArg).Inner {
|
|
parentsMap[InnerArg(field)] = arg
|
|
}
|
|
}
|
|
})
|
|
}
|
|
target.assignSizes(args, parentsMap, args, autos)
|
|
for _, arg := range args {
|
|
ForeachSubArg(arg, func(arg Arg, _ *ArgCtx) {
|
|
if _, ok := arg.Type().(*StructType); ok {
|
|
target.assignSizes(arg.(*GroupArg).Inner, parentsMap, args, autos)
|
|
}
|
|
})
|
|
}
|
|
}
|
|
|
|
func (target *Target) assignSizesCall(c *Call) {
|
|
target.assignSizesArray(c.Args, nil)
|
|
}
|
|
|
|
func (r *randGen) mutateSize(arg *ConstArg, parent []Arg) bool {
|
|
typ := arg.Type().(*LenType)
|
|
elemSize := typ.BitSize / 8
|
|
if elemSize == 0 {
|
|
elemSize = 1
|
|
// TODO(dvyukov): implement path support for size mutation.
|
|
if len(typ.Path) == 1 {
|
|
for _, field := range parent {
|
|
if typ.Path[0] != field.Type().FieldName() {
|
|
continue
|
|
}
|
|
if inner := InnerArg(field); inner != nil {
|
|
switch targetType := inner.Type().(type) {
|
|
case *VmaType:
|
|
return false
|
|
case *ArrayType:
|
|
if targetType.Elem.Varlen() {
|
|
return false
|
|
}
|
|
elemSize = targetType.Elem.Size()
|
|
}
|
|
}
|
|
break
|
|
}
|
|
}
|
|
}
|
|
if r.oneOf(100) {
|
|
arg.Val = r.rand64()
|
|
return true
|
|
}
|
|
if r.bin() {
|
|
// Small adjustment to trigger missed size checks.
|
|
if arg.Val != 0 && r.bin() {
|
|
arg.Val = r.randRangeInt(0, arg.Val-1, arg.Type().TypeBitSize(), 0)
|
|
} else {
|
|
arg.Val = r.randRangeInt(arg.Val+1, arg.Val+100, arg.Type().TypeBitSize(), 0)
|
|
}
|
|
return true
|
|
}
|
|
// Try to provoke int overflows.
|
|
max := ^uint64(0)
|
|
if r.oneOf(3) {
|
|
max = 1<<32 - 1
|
|
if r.oneOf(2) {
|
|
max = 1<<16 - 1
|
|
if r.oneOf(2) {
|
|
max = 1<<8 - 1
|
|
}
|
|
}
|
|
}
|
|
n := max / elemSize
|
|
delta := uint64(1000 - r.biasedRand(1000, 10))
|
|
if elemSize == 1 || r.oneOf(10) {
|
|
n -= delta
|
|
} else {
|
|
n += delta
|
|
}
|
|
arg.Val = n
|
|
return true
|
|
}
|