| # Copyright 2019 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. |
| |
| foo$suspicious_len(a len[b], b ptr[in, array[string]]) ### len target b refer to an array with variable-size elements (do you mean bytesize?) |
| foo$suspicious_len2(a ptr[in, suspicious_len_struct], b ptr[in, suspicious_len_struct]) |
| foo$suspicious_len3(a ptr[in, suspicious_len_template[string]], b ptr[in, suspicious_len_template[stringnoz]]) |
| |
| suspicious_len_struct { |
| a len[b, int32] ### len target b refer to an array with variable-size elements (do you mean bytesize?) |
| b ptr[in, array[string]] |
| } |
| |
| type suspicious_len_template[T] { |
| a len[b, int32] ### len target b refer to an array with variable-size elements (do you mean bytesize?) |
| b ptr[in, array[T]] |
| } |
| |
| bar() ### unsupported syscall: bar due to missing const SYS_bar |
| bar$1() |
| foo(a const[NO_SUCH_CONST], b r0) ### unsupported syscall: foo due to missing const NO_SUCH_CONST |
| resource r0[int32]: NO_EITHER ### unsupported resource: r0 due to missing const NO_EITHER |
