diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2025-04-08 14:27:33 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2025-04-09 10:27:41 +0000 |
| commit | 988b336c79bf2f92392015e5075e92f0148ad869 (patch) | |
| tree | 1e28f832accba910334c94ff14cf9715e9e378a5 /tools | |
| parent | 16f995ffcf2e3469a7e464ac5d486385641df7d8 (diff) | |
tools/syz-declextract: refine arg types for syscall variants
Use scope-based dataflow analysis for syscall variants (including ioctls).
As the result we only consider code that relates to a partiuclar command/ioctl,
and can infer arguments/return types for each command/ioctl independently.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/syz-declextract/testdata/scopes.c.txt | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/tools/syz-declextract/testdata/scopes.c.txt b/tools/syz-declextract/testdata/scopes.c.txt index e58d91f7b..fa923fc31 100644 --- a/tools/syz-declextract/testdata/scopes.c.txt +++ b/tools/syz-declextract/testdata/scopes.c.txt @@ -7,14 +7,14 @@ type auto_todo int8 include <include/uapi/file_operations.h> scopes0$auto(x fd, cmd intptr, aux fd) fd -scopes0$auto_100(x fd, cmd const[100], aux fd) fd -scopes0$auto_101(x fd, cmd const[101], aux fd) fd -scopes0$auto_102(x fd, cmd const[102], aux fd) fd -scopes0$auto_1074291461(x fd, cmd const[1074291461], aux fd) fd -scopes0$auto_1074291462(x fd, cmd const[1074291462], aux fd) fd -scopes0$auto_FOO_IOCTL1(x fd, cmd const[FOO_IOCTL1], aux fd) fd -scopes0$auto_FOO_IOCTL2(x fd, cmd const[FOO_IOCTL2], aux fd) fd -scopes0$auto_FOO_IOCTL3(x fd, cmd const[FOO_IOCTL3], aux fd) fd -scopes0$auto_FOO_IOCTL4(x fd, cmd const[FOO_IOCTL4], aux fd) fd -scopes0$auto_FOO_IOCTL7(x fd, cmd const[FOO_IOCTL7], aux fd) fd -scopes0$auto_FOO_IOCTL8(x fd, cmd const[FOO_IOCTL8], aux fd) fd +scopes0$auto_100(x int32, cmd const[100], aux fd) +scopes0$auto_101(x int32, cmd const[101], aux fd) +scopes0$auto_102(x int32, cmd const[102], aux fd) +scopes0$auto_1074291461(x int32, cmd const[1074291461], aux fd) +scopes0$auto_1074291462(x int32, cmd const[1074291462], aux fd) +scopes0$auto_FOO_IOCTL1(x fd, cmd const[FOO_IOCTL1], aux fd) +scopes0$auto_FOO_IOCTL2(x int32, cmd const[FOO_IOCTL2], aux fd) fd +scopes0$auto_FOO_IOCTL3(x int32, cmd const[FOO_IOCTL3], aux fd) fd +scopes0$auto_FOO_IOCTL4(x int32, cmd const[FOO_IOCTL4], aux fd) +scopes0$auto_FOO_IOCTL7(x int32, cmd const[FOO_IOCTL7], aux fd) fd +scopes0$auto_FOO_IOCTL8(x fd, cmd const[FOO_IOCTL8], aux fd) |