diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-11-07 15:50:59 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-11-11 15:41:26 +0000 |
| commit | e469b3e4e3c02383df0b1d72e960dfa0f11e9602 (patch) | |
| tree | 5b44c010ef34c3c49d9ab317b9ba4c250025c5b7 /sys/linux/auto.txt | |
| parent | eb96afce744b5fa3e48bec422494c8c5e1b6fbab (diff) | |
tools/syz-declextract: fix non-determinism and syscall selection
Currently syscall selection is non-deterministic and we frequently
choose wrond ones. This leads to flaky argument names/types,
and wrong argument types (e.g. int16 instead of uid,
old_utimbuf32 instead of utimbuf, etc).
Make syscall selection robust and correct.
Diffstat (limited to 'sys/linux/auto.txt')
| -rw-r--r-- | sys/linux/auto.txt | 67 |
1 files changed, 35 insertions, 32 deletions
diff --git a/sys/linux/auto.txt b/sys/linux/auto.txt index 12ca55369..e43f1610f 100644 --- a/sys/linux/auto.txt +++ b/sys/linux/auto.txt @@ -1,8 +1,10 @@ # Code generated by syz-declextract. DO NOT EDIT. + +include <include/vdso/bits.h> +include <include/linux/types.h> include <drivers/net/ieee802154/mac802154_hwsim.h> include <drivers/net/wireless/virtual/mac80211_hwsim.h> include <include/linux/nl802154.h> -include <include/linux/types.h> include <include/net/nl802154.h> include <include/uapi/linux/batman_adv.h> include <include/uapi/linux/caif/if_caif.h> @@ -97,12 +99,10 @@ include <include/uapi/linux/wireguard.h> include <include/uapi/linux/wwan.h> include <include/uapi/linux/xfrm.h> include <include/uapi/rdma/rdma_netlink.h> -include <include/vdso/bits.h> include <net/netlabel/netlabel_calipso.h> include <net/netlabel/netlabel_cipso_v4.h> include <net/netlabel/netlabel_mgmt.h> include <net/netlabel/netlabel_unlabeled.h> -_ = __NR_mmap2 landlock_rule_type = LANDLOCK_RULE_PATH_BENEATH, LANDLOCK_RULE_NET_PORT resource genl_802_15_4_MAC_family_id_auto[int16] resource genl_HSR_family_id_auto[int16] @@ -208,10 +208,10 @@ capget$auto(header ptr[inout, __user_cap_header_struct$auto_record], dataptr ptr capset$auto(header ptr[inout, __user_cap_header_struct$auto_record], data ptr[inout, __user_cap_data_struct$auto_record]) (automatic) chdir$auto(filename ptr[in, string]) (automatic) chmod$auto(filename ptr[in, string], mode int16) (automatic) -chown$auto(filename ptr[in, string], user int16, group int16) (automatic) +chown$auto(filename ptr[in, string], user int32, group int32) (automatic) chown32$auto(filename ptr[in, string], user int32, group int32) (automatic) chroot$auto(filename ptr[in, string]) (automatic) -clock_adjtime$auto(which_clock int32, utp ptr[inout, old_timex32$auto_record]) (automatic) +clock_adjtime$auto(which_clock int32, utx ptr[inout, __kernel_timex$auto_record]) (automatic) clock_adjtime64$auto(which_clock int32, utx ptr[inout, __kernel_timex$auto_record]) (automatic) clock_getres$auto(which_clock int32, tp ptr[inout, __kernel_timespec$auto_record]) (automatic) clock_getres_time64$auto(which_clock int32, tp ptr[inout, __kernel_timespec$auto_record]) (automatic) @@ -247,6 +247,7 @@ exit_group$auto(error_code int32) (automatic) faccessat$auto(dfd fd_dir, filename ptr[in, string], mode int32) (automatic) faccessat2$auto(dfd fd_dir, filename ptr[in, string], mode int32, flags int32) (automatic) fadvise64$auto(fd fd, offset intptr, len intptr, advice int32) (automatic) +fadvise64_64$auto(fd fd, offset_low int32, offset_high int32, len_low int32, len_high int32, advice int32) (automatic) fallocate$auto(fd fd, mode int32, offset intptr, len intptr) (automatic) fanotify_init$auto(flags int32, event_f_flags int32) (automatic) fanotify_mark$auto(fanotify_fd fd, flags int32, mask intptr, dfd fd_dir, pathname ptr[in, string]) (automatic) @@ -254,7 +255,7 @@ fchdir$auto(fd fd) (automatic) fchmod$auto(fd fd, mode int16) (automatic) fchmodat$auto(dfd fd_dir, filename ptr[in, string], mode int16) (automatic) fchmodat2$auto(dfd fd_dir, filename ptr[in, string], mode int16, flags int32) (automatic) -fchown$auto(fd fd, user int16, group int16) (automatic) +fchown$auto(fd fd, user int32, group int32) (automatic) fchown32$auto(fd fd, user int32, group int32) (automatic) fchownat$auto(dfd fd_dir, filename ptr[in, string], user int32, group int32, flag int32) (automatic) fcntl$auto(fd fd, cmd int32, arg intptr) (automatic) @@ -274,13 +275,14 @@ fstatfs$auto(fd fd, buf ptr[inout, statfs$auto_record]) (automatic) fstatfs64$auto(fd fd, sz intptr, buf ptr[inout, statfs64$auto_record]) (automatic) fsync$auto(fd fd) (automatic) ftruncate$auto(fd fd, length intptr) (automatic) +ftruncate64$auto(fd fd, offset_low intptr, offset_high intptr) (automatic) futex$auto(uaddr ptr[inout, int32], op int32, val int32, utime ptr[in, __kernel_timespec$auto_record], uaddr2 ptr[inout, int32], val3 int32) (automatic) futex_requeue$auto(waiters ptr[inout, futex_waitv$auto_record], flags int32, nr_wake int32, nr_requeue int32) (automatic) futex_time64$auto(uaddr ptr[inout, int32], op int32, val int32, utime ptr[in, __kernel_timespec$auto_record], uaddr2 ptr[inout, int32], val3 int32) (automatic) futex_wait$auto(uaddr ptr[inout, array[auto_todo]], val intptr, mask intptr, flags int32, timeout ptr[inout, __kernel_timespec$auto_record], clockid int32) (automatic) futex_waitv$auto(waiters ptr[inout, futex_waitv$auto_record], nr_futexes int32, flags int32, timeout ptr[inout, __kernel_timespec$auto_record], clockid int32) (automatic) futex_wake$auto(uaddr ptr[inout, array[auto_todo]], mask intptr, nr int32, flags int32) (automatic) -futimesat$auto(dfd fd_dir, filename ptr[in, string], t ptr[inout, old_timeval32$auto_record]) (automatic) +futimesat$auto(dfd fd_dir, filename ptr[in, string], utimes ptr[inout, __kernel_old_timeval$auto_record]) (automatic) get_mempolicy$auto(policy ptr[inout, int32], nmask ptr[inout, intptr], maxnode intptr, addr intptr, flags intptr) (automatic) get_robust_list$auto(pid pid, head_ptr ptr[inout, ptr[inout, robust_list_head$auto_record]], len_ptr ptr[inout, intptr]) (automatic) get_thread_area$auto(u_info ptr[inout, user_desc$auto_record]) (automatic) @@ -288,16 +290,16 @@ getcpu$auto(cpup ptr[inout, int32], nodep ptr[inout, int32], unused ptr[inout, g getcwd$auto(buf ptr[inout, string], size intptr) (automatic) getdents$auto(fd fd, dirent ptr[inout, linux_dirent$auto_record], count int32) (automatic) getdents64$auto(fd fd, dirent ptr[inout, linux_dirent64$auto_record], count int32) (automatic) -getgroups$auto(gidsetsize int32, grouplist ptr[inout, int16]) (automatic) +getgroups$auto(gidsetsize int32, grouplist ptr[inout, int32]) (automatic) getgroups32$auto(gidsetsize int32, grouplist ptr[inout, int32]) (automatic) getitimer$auto(which int32, value ptr[inout, __kernel_old_itimerval$auto_record]) (automatic) getpeername$auto(fd fd, usockaddr ptr[inout, sockaddr$auto_record], usockaddr_len ptr[inout, int32]) (automatic) getpgid$auto(pid pid) (automatic) getpriority$auto(which int32, who int32) (automatic) getrandom$auto(ubuf ptr[inout, string], len intptr, flags int32) (automatic) -getresgid$auto(rgidp ptr[inout, int16], egidp ptr[inout, int16], sgidp ptr[inout, int16]) (automatic) +getresgid$auto(rgidp ptr[inout, int32], egidp ptr[inout, int32], sgidp ptr[inout, int32]) (automatic) getresgid32$auto(rgidp ptr[inout, int32], egidp ptr[inout, int32], sgidp ptr[inout, int32]) (automatic) -getresuid$auto(ruidp ptr[inout, int16], euidp ptr[inout, int16], suidp ptr[inout, int16]) (automatic) +getresuid$auto(ruidp ptr[inout, int32], euidp ptr[inout, int32], suidp ptr[inout, int32]) (automatic) getresuid32$auto(ruidp ptr[inout, int32], euidp ptr[inout, int32], suidp ptr[inout, int32]) (automatic) getrlimit$auto(rsrc int32, rlim ptr[inout, rlimit$auto_record]) (automatic) getrusage$auto(who int32, ru ptr[inout, rusage$auto_record]) (automatic) @@ -312,7 +314,7 @@ inotify_init1$auto(flags int32) (automatic) inotify_rm_watch$auto(fd fd, wd int32) (automatic) io_cancel$auto(ctx_id intptr, iocb ptr[inout, iocb$auto_record], result ptr[inout, io_event$auto_record]) (automatic) io_destroy$auto(ctx intptr) (automatic) -io_getevents$auto(ctx_id int32, min_nr int32, nr int32, events ptr[inout, io_event$auto_record], timeout ptr[inout, old_timespec32$auto_record]) (automatic) +io_getevents$auto(ctx_id intptr, min_nr intptr, nr intptr, events ptr[inout, io_event$auto_record], timeout ptr[inout, __kernel_timespec$auto_record]) (automatic) io_pgetevents$auto(ctx_id intptr, min_nr intptr, nr intptr, events ptr[inout, io_event$auto_record], timeout ptr[inout, __kernel_timespec$auto_record], usig ptr[in, __aio_sigset$auto_record]) (automatic) io_pgetevents_time64$auto(ctx_id intptr, min_nr intptr, nr intptr, events ptr[inout, io_event$auto_record], timeout ptr[inout, __kernel_timespec$auto_record], usig ptr[in, __aio_sigset$auto_record]) (automatic) io_setup$auto(nr_events int32, ctxp ptr[inout, intptr]) (automatic) @@ -332,7 +334,7 @@ kill$auto(pid pid, sig int32) (automatic) landlock_add_rule$auto(ruleset_fd fd, rule_type flags[landlock_rule_type], rule_attr ptr[in, array[auto_todo]], flags int32) (automatic) landlock_create_ruleset$auto(attr ptr[in, landlock_ruleset_attr$auto_record], size intptr, flags int32) (automatic) landlock_restrict_self$auto(ruleset_fd fd, flags int32) (automatic) -lchown$auto(filename ptr[in, string], user int16, group int16) (automatic) +lchown$auto(filename ptr[in, string], user int32, group int32) (automatic) lchown32$auto(filename ptr[in, string], user int32, group int32) (automatic) lgetxattr$auto(pathname ptr[in, string], name ptr[in, string], value ptr[inout, array[auto_todo]], size intptr) (automatic) link$auto(oldname ptr[in, string], newname ptr[in, string]) (automatic) @@ -374,9 +376,9 @@ mprotect$auto(start intptr, len intptr, prot intptr) (automatic) mq_getsetattr$auto(mqdes int32, u_mqstat ptr[in, mq_attr$auto_record], u_omqstat ptr[inout, mq_attr$auto_record]) (automatic) mq_notify$auto(mqdes int32, u_notification ptr[in, sigevent$auto_record]) (automatic) mq_open$auto(u_name ptr[in, string], oflag int32, mode int16, u_attr ptr[inout, mq_attr$auto_record]) (automatic) -mq_timedreceive$auto(mqdes int32, u_msg_ptr ptr[inout, string], msg_len int32, u_msg_prio ptr[inout, int32], u_abs_timeout ptr[in, old_timespec32$auto_record]) (automatic) +mq_timedreceive$auto(mqdes int32, u_msg_ptr ptr[inout, string], msg_len intptr, u_msg_prio ptr[inout, int32], u_abs_timeout ptr[in, __kernel_timespec$auto_record]) (automatic) mq_timedreceive_time64$auto(mqdes int32, u_msg_ptr ptr[inout, string], msg_len intptr, u_msg_prio ptr[inout, int32], u_abs_timeout ptr[in, __kernel_timespec$auto_record]) (automatic) -mq_timedsend$auto(mqdes int32, u_msg_ptr ptr[in, string], msg_len int32, msg_prio int32, u_abs_timeout ptr[in, old_timespec32$auto_record]) (automatic) +mq_timedsend$auto(mqdes int32, u_msg_ptr ptr[in, string], msg_len intptr, msg_prio int32, u_abs_timeout ptr[in, __kernel_timespec$auto_record]) (automatic) mq_timedsend_time64$auto(mqdes int32, u_msg_ptr ptr[in, string], msg_len intptr, msg_prio int32, u_abs_timeout ptr[in, __kernel_timespec$auto_record]) (automatic) mq_unlink$auto(u_name ptr[in, string]) (automatic) mremap$auto(addr intptr, old_len intptr, new_len intptr, flags intptr, new_addr intptr) (automatic) @@ -477,7 +479,7 @@ select$auto(n int32, inp ptr[inout, __kernel_fd_set$auto_record], outp ptr[inout semctl$auto(semid int32, semnum int32, cmd int32, arg intptr) (automatic) semget$auto(key int32, nsems int32, semflg int32) (automatic) semop$auto(semid int32, tsops ptr[inout, sembuf$auto_record], nsops int32) (automatic) -semtimedop$auto(semid int32, tsems ptr[inout, sembuf$auto_record], nsops int32, timeout ptr[in, old_timespec32$auto_record]) (automatic) +semtimedop$auto(semid int32, tsops ptr[inout, sembuf$auto_record], nsops int32, timeout ptr[in, __kernel_timespec$auto_record]) (automatic) semtimedop_time64$auto(semid int32, tsops ptr[inout, sembuf$auto_record], nsops int32, timeout ptr[in, __kernel_timespec$auto_record]) (automatic) send$auto(fd fd, buff ptr[inout, array[auto_todo]], len intptr, flags int32) (automatic) sendfile$auto(out_fd fd, in_fd fd, offset ptr[inout, int64], count intptr) (automatic) @@ -943,29 +945,29 @@ set_tid_address$auto(tidptr ptr[inout, int32]) (automatic) setdomainname$auto(name ptr[inout, string], len int32) (automatic) setfsgid$auto(gid gid) (automatic) setfsgid32$auto(gid gid) (automatic) -setfsuid$auto(uid int16) (automatic) +setfsuid$auto(uid uid) (automatic) setfsuid32$auto(uid uid) (automatic) setgid$auto(gid gid) (automatic) setgid32$auto(gid gid) (automatic) -setgroups$auto(gidsetsize int32, grouplist ptr[inout, int16]) (automatic) +setgroups$auto(gidsetsize int32, grouplist ptr[inout, int32]) (automatic) setgroups32$auto(gidsetsize int32, grouplist ptr[inout, int32]) (automatic) sethostname$auto(name ptr[inout, string], len int32) (automatic) setitimer$auto(which int32, value ptr[inout, __kernel_old_itimerval$auto_record], ovalue ptr[inout, __kernel_old_itimerval$auto_record]) (automatic) setns$auto(fd fd, flags int32) (automatic) setpgid$auto(pid pid, pgid int32) (automatic) setpriority$auto(which int32, who int32, niceval int32) (automatic) -setregid$auto(rgid int16, egid int16) (automatic) +setregid$auto(rgid int32, egid int32) (automatic) setregid32$auto(rgid int32, egid int32) (automatic) -setresgid$auto(rgid int16, egid int16, sgid int16) (automatic) +setresgid$auto(rgid int32, egid int32, sgid int32) (automatic) setresgid32$auto(rgid int32, egid int32, sgid int32) (automatic) -setresuid$auto(ruid int16, euid int16, suid int16) (automatic) +setresuid$auto(ruid int32, euid int32, suid int32) (automatic) setresuid32$auto(ruid int32, euid int32, suid int32) (automatic) -setreuid$auto(ruid int16, euid int16) (automatic) +setreuid$auto(ruid int32, euid int32) (automatic) setreuid32$auto(ruid int32, euid int32) (automatic) setrlimit$auto(rsrc int32, rlim ptr[inout, rlimit$auto_record]) (automatic) setsockopt$auto(fd fd, level int32, optname int32, optval ptr[inout, string], optlen int32) (automatic) settimeofday$auto(tv ptr[inout, __kernel_old_timeval$auto_record], tz ptr[inout, timezone$auto_record]) (automatic) -setuid$auto(uid int16) (automatic) +setuid$auto(uid uid) (automatic) setuid32$auto(uid uid) (automatic) setxattr$auto(pathname ptr[in, string], name ptr[in, string], value ptr[in, array[auto_todo]], size intptr, flags int32) (automatic) shmat$auto(shmid int32, shmaddr ptr[inout, string], shmflg int32) (automatic) @@ -1045,13 +1047,13 @@ syz_genetlink_get_family_id$auto_vdpa(name ptr[in, string["vdpa"]], fd sock_nl_g syz_genetlink_get_family_id$auto_wireguard(name ptr[in, string["wireguard"]], fd sock_nl_generic) genl_wireguard_family_id_auto (automatic) tee$auto(fdin int32, fdout int32, len intptr, flags int32) (automatic) tgkill$auto(tgid int32, pid pid, sig int32) (automatic) -time$auto(tloc ptr[inout, int32]) (automatic) +time$auto(tloc ptr[inout, intptr]) (automatic) timer_create$auto(which_clock int32, timer_event_spec ptr[inout, sigevent$auto_record], created_timer_id ptr[inout, int32]) (automatic) timer_delete$auto(timer_id int32) (automatic) timer_getoverrun$auto(timer_id int32) (automatic) timer_gettime$auto(timer_id int32, setting ptr[inout, __kernel_itimerspec$auto_record]) (automatic) timer_gettime64$auto(timer_id int32, setting ptr[inout, __kernel_itimerspec$auto_record]) (automatic) -timer_settime$auto(timer_id int32, flags int32, new ptr[inout, old_itimerspec32$auto_record], old ptr[inout, old_itimerspec32$auto_record]) (automatic) +timer_settime$auto(timer_id int32, flags int32, new_setting ptr[in, __kernel_itimerspec$auto_record], old_setting ptr[inout, __kernel_itimerspec$auto_record]) (automatic) timer_settime64$auto(timer_id int32, flags int32, new_setting ptr[in, __kernel_itimerspec$auto_record], old_setting ptr[inout, __kernel_itimerspec$auto_record]) (automatic) timerfd_create$auto(clockid int32, flags int32) (automatic) timerfd_gettime$auto(ufd fd, otmr ptr[inout, __kernel_itimerspec$auto_record]) (automatic) @@ -1061,6 +1063,7 @@ timerfd_settime64$auto(ufd fd, flags int32, utmr ptr[in, __kernel_itimerspec$aut times$auto(tbuf ptr[inout, tms$auto_record]) (automatic) tkill$auto(pid pid, sig int32) (automatic) truncate$auto(path ptr[in, string], length intptr) (automatic) +truncate64$auto(filename ptr[in, string], offset_low intptr, offset_high intptr) (automatic) ugetrlimit$auto(rsrc int32, rlim ptr[inout, rlimit$auto_record]) (automatic) umask$auto(mask int32) (automatic) umount$auto(name ptr[inout, string]) (automatic) @@ -1071,10 +1074,10 @@ unlinkat$auto(dfd fd_dir, pathname ptr[in, string], flag int32) (automatic) unshare$auto(unshare_flags intptr) (automatic) userfaultfd$auto(flags int32) (automatic) ustat$auto(dev int32, ubuf ptr[inout, ustat$auto_record]) (automatic) -utime$auto(filename ptr[in, string], t ptr[inout, old_utimbuf32$auto_record]) (automatic) -utimensat$auto(dfd fd_dir, filename ptr[in, string], t ptr[inout, old_timespec32$auto_record], flags int32) (automatic) +utime$auto(filename ptr[inout, string], times ptr[inout, utimbuf$auto_record]) (automatic) +utimensat$auto(dfd fd_dir, filename ptr[in, string], utimes ptr[inout, __kernel_timespec$auto_record], flags int32) (automatic) utimensat_time64$auto(dfd fd_dir, filename ptr[in, string], utimes ptr[inout, __kernel_timespec$auto_record], flags int32) (automatic) -utimes$auto(filename ptr[in, string], t ptr[inout, old_timeval32$auto_record]) (automatic) +utimes$auto(filename ptr[inout, string], utimes ptr[inout, __kernel_old_timeval$auto_record]) (automatic) vmsplice$auto(fd fd, uiov ptr[in, iovec$auto_record], nr_segs intptr, flags int32) (automatic) wait4$auto(upid int32, stat_addr ptr[inout, int32], options int32, ru ptr[inout, rusage$auto_record]) (automatic) waitid$auto(which int32, upid int32, infop ptr[inout, siginfo$auto_record], options int32, ru ptr[inout, rusage$auto_record]) (automatic) @@ -7056,11 +7059,6 @@ old_timex32$auto_record { old_timex32_30 const[0, int32] } -old_utimbuf32$auto_record { - actime int32 - modtime int32 -} - old_utsname$auto_record { sysname array[int8, 65] nodename array[int8, 65] @@ -8641,6 +8639,11 @@ ustat$auto_record { f_fpack array[int8, 6] } +utimbuf$auto_record { + actime intptr + modtime intptr +} + vdpa_nl_policy$auto_vdpa [ VDPA_ATTR_MGMTDEV_BUS_NAME nlattr[VDPA_ATTR_MGMTDEV_BUS_NAME, string] VDPA_ATTR_MGMTDEV_DEV_NAME nlattr[VDPA_ATTR_MGMTDEV_DEV_NAME, stringnoz] |
