From 988b336c79bf2f92392015e5075e92f0148ad869 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Tue, 8 Apr 2025 14:27:33 +0200 Subject: 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. --- tools/syz-declextract/testdata/scopes.c.txt | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'tools/syz-declextract/testdata') 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 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) -- cgit mrf-deployment