diff options
| author | Veronica Radu <veronicaradu@google.com> | 2019-07-31 11:44:44 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-09-04 10:46:46 +0200 |
| commit | 5de425bc59b7ba22a24ca72aa0e9517c48e51218 (patch) | |
| tree | c538eb52604cd41ea0f80bff6b0075267fe17b7b /sys | |
| parent | b0e5f924b51be09e68d13aef1030435c14c501ea (diff) | |
prog: implemented argument and call priorities
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 0d8c4af87..f0c1afaea 100644 --- a/sys/test/gen/64.go +++ b/sys/test/gen/64.go @@ -646,6 +646,9 @@ var syscalls_64 = []*Syscall{ &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int64", FldName: "i2", TypeSize: 8}}, Kind: 2, RangeEnd: 536870911}, &PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "vec", TypeSize: 8}, Type: &ArrayType{TypeCommon: TypeCommon{TypeName: "array", IsVarlen: true}, Type: &IntType{IntTypeCommon: IntTypeCommon{TypeCommon: TypeCommon{TypeName: "int32", TypeSize: 4}}, Kind: 2, RangeEnd: 1}}}, }}, + {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$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}}}, @@ -678,6 +681,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$union", CallName: "mutate", MissingArgs: 8, Args: []Type{ + &PtrType{TypeCommon: TypeCommon{TypeName: "ptr", FldName: "p", TypeSize: 8}, Type: &UnionType{Key: StructKey{Name: "syz_union0"}}}, + }}, {Name: "mutate0", CallName: "mutate0"}, {Name: "mutate1", CallName: "mutate1"}, {Name: "mutate2", CallName: "mutate2"}, @@ -1077,4 +1083,4 @@ var consts_64 = []ConstValue{ {Name: "SYS_unsupported"}, } -const revision_64 = "aaee55a3532998a140b25dc52cc113c4de048dd2" +const revision_64 = "71d8f9a8f2ed06129920bb9f60aef16fb9ca749b" diff --git a/sys/test/test.txt b/sys/test/test.txt index 1788e5ba0..bb2b4547a 100644 --- a/sys/test/test.txt +++ b/sys/test/test.txt @@ -741,6 +741,8 @@ mutate$flags(filename ptr[in, filename], i1 int64, b1 bool16, flags flags[bitmas mutate$flags2(filename ptr[in, filename], flags flags[bitmask_flags2]) 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]) open_flags = 0xabababababababab, 0xcdcdcdcdcdcdcdcd open_flags2 = 0xaaaaaaaaaaaaaaaa, 0xaaaaaaaabbbbbbbb, 0xbbbbbbbbbbbbbbbb, 0xbbbbbbbbcccccccc, 0xcccccccccccccccc, 0xccccccccdddddddd, 0xdddddddddddddddd, 0xddddddddeeeeeeee, 0xeeeeeeeeeeeeeeee, 0xeeeeeeeeffffffff, 0xffffffffffffffff |