diff options
| author | Veronica Radu <veronicaradu@google.com> | 2019-10-07 15:35:15 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-10-10 14:37:42 +0200 |
| commit | 1a3bad9041ac075f3e2ae7f20528203704e87b28 (patch) | |
| tree | 04308eec31470e16bb2ba7506c4ae4f6afc76e2c /sys | |
| parent | a4efa8c091bb41968c2a2e198fa239625ed8a24e (diff) | |
prog: mutate length of output buffers
Update #480
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/test/gen/64.go | 8 | ||||
| -rw-r--r-- | sys/test/test.txt | 2 |
2 files changed, 9 insertions, 1 deletions
diff --git a/sys/test/gen/64.go b/sys/test/gen/64.go index f0c1afaea..886f8d3a1 100644 --- a/sys/test/gen/64.go +++ b/sys/test/gen/64.go @@ -649,6 +649,9 @@ var syscalls_64 = []*Syscall{ {Name: "mutate$array2", CallName: "mutate", MissingArgs: 8, Args: []Type{ &PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "vec", TypeSize: 8}, Type: &ArrayType{TypeCommon: TypeCommon{TypeName: "array", IsVarlen: true}, Type: &StructType{Key: StructKey{Name: "syz_struct1"}}}}, }}, + {Name: "mutate$buffer", CallName: "mutate", MissingArgs: 8, Args: []Type{ + &PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "p", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "array", ArgDir: 1, IsVarlen: true}}}, + }}, {Name: "mutate$flags", CallName: "mutate", MissingArgs: 5, Args: []Type{ &PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "filename", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "filename", IsVarlen: true}, Kind: 3}}, &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int64", FldName: "i1", TypeSize: 8}}}, @@ -681,6 +684,9 @@ var syscalls_64 = []*Syscall{ &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int16", FldName: "i3", TypeSize: 2}}, Kind: 2, RangeEnd: 8}, &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int8", FldName: "i4", TypeSize: 1}}, Kind: 2, RangeEnd: 8}, }}, + {Name: "mutate$rangedbuffer", CallName: "mutate", MissingArgs: 8, Args: []Type{ + &PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "p", TypeSize: 8}, Type: &BufferType{TypeCommon: TypeCommon{TypeName: "array", ArgDir: 1, IsVarlen: true}, Kind: 1, RangeBegin: 5, RangeEnd: 10}}, + }}, {Name: "mutate$union", CallName: "mutate", MissingArgs: 8, Args: []Type{ &PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "p", TypeSize: 8}, Type: &UnionType{Key: StructKey{Name: "syz_union0"}}}, }}, @@ -1083,4 +1089,4 @@ var consts_64 = []ConstValue{ {Name: "SYS_unsupported"}, } -const revision_64 = "71d8f9a8f2ed06129920bb9f60aef16fb9ca749b" +const revision_64 = "d3a892553e6e706b3c4f1a086bdd22a2578120c1" diff --git a/sys/test/test.txt b/sys/test/test.txt index bb2b4547a..e071ad305 100644 --- a/sys/test/test.txt +++ b/sys/test/test.txt @@ -743,6 +743,8 @@ mutate$flags3(filename ptr[in, filename], flags flags[open_flags2]) mutate$array(i1 int64, i2 int64[0x0:0x1fffffff], vec ptr[in, array[int32[0:1]]]) mutate$array2(vec ptr[in, array[syz_struct1]]) mutate$union(p ptr[in, syz_union0]) +mutate$buffer(p buffer[out]) +mutate$rangedbuffer(p ptr[out, array[int8, 5:10]]) open_flags = 0xabababababababab, 0xcdcdcdcdcdcdcdcd open_flags2 = 0xaaaaaaaaaaaaaaaa, 0xaaaaaaaabbbbbbbb, 0xbbbbbbbbbbbbbbbb, 0xbbbbbbbbcccccccc, 0xcccccccccccccccc, 0xccccccccdddddddd, 0xdddddddddddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeeeeeeeee, 0xeeeeeeeeffffffff, 0xffffffffffffffff |