Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 100 files:
- arch/powerpc/platforms/52xx/mpc52xx_gpt.c, line 625
- arch/powerpc/platforms/cell/spufs/file.c, line 584
- arch/um/drivers/harddog_kern.c, line 88
- drivers/char/ds1620.c, line 216
- drivers/char/ipmi/ipmi_watchdog.c, line 808
- drivers/firewire/nosy.c, line 297
- drivers/gnss/core.c, line 45
- drivers/hid/hid-sensor-custom.c, line 694
- drivers/hid/uhid.c, line 652
- drivers/hwmon/fschmd.c, line 826
- drivers/hwmon/w83793.c, line 1329
- drivers/infiniband/core/ucma.c, line 1900
- drivers/infiniband/core/user_mad.c, line 1038
- drivers/infiniband/core/uverbs_main.c, line 938
- drivers/input/evdev.c, line 488
- drivers/input/joydev.c, line 277
- drivers/input/misc/uinput.c, line 414
- drivers/input/mousedev.c, line 561
- drivers/leds/uleds.c, line 68
- drivers/media/rc/lirc_dev.c, line 178
- drivers/net/wwan/wwan_core.c, line 854
- drivers/pci/switch/switchtec.c, line 478
- drivers/platform/chrome/cros_ec_debugfs.c, line 132
- drivers/platform/chrome/wilco_ec/event.c, line 321
- drivers/platform/chrome/wilco_ec/telemetry.c, line 258
- drivers/platform/surface/surface_aggregator_cdev.c, line 499
- drivers/platform/surface/surface_dtx.c, line 439
- drivers/rtc/rtc-m41t80.c, line 836
- drivers/s390/char/fs3270.c, line 479
- drivers/s390/char/tape_char.c, line 285
- drivers/s390/char/zcore.c, line 152
- drivers/s390/crypto/zcrypt_api.c, line 521
- drivers/spi/spidev.c, line 606
- drivers/usb/gadget/function/f_fs.c
- drivers/usb/misc/ldusb.c, line 309
- drivers/vfio/pci/hisilicon/hisi_acc_vfio_pci.c
- drivers/vfio/pci/mlx5/main.c
- drivers/vfio/pci/pds/lm.c, line 37
- drivers/vfio/pci/qat/main.c
- drivers/vfio/pci/virtio/migrate.c
- drivers/vfio/pci/xe/main.c, line 284
- drivers/watchdog/acquirewdt.c, line 199
- drivers/watchdog/advantechwdt.c, line 198
- drivers/watchdog/alim1535_wdt.c, line 248
- drivers/watchdog/alim7101_wdt.c, line 218
- drivers/watchdog/at91rm9200_wdt.c, line 111
- drivers/watchdog/ath79_wdt.c, line 131
- drivers/watchdog/cpwd.c, line 398
- drivers/watchdog/eurotechwdt.c, line 315
- drivers/watchdog/gef_wdt.c, line 228
- drivers/watchdog/geodewdt.c, line 91
- drivers/watchdog/ib700wdt.c, line 237
- drivers/watchdog/ibmasr.c, line 325
- drivers/watchdog/indydog.c, line 76
- drivers/watchdog/it8712f_wdt.c, line 325
- drivers/watchdog/m54xx_wdt.c, line 87
- drivers/watchdog/mixcomwd.c, line 148
- drivers/watchdog/mtx-1_wdt.c, line 119
- drivers/watchdog/nv_tco.c, line 160
- drivers/watchdog/pc87413_wdt.c, line 285
- drivers/watchdog/pcwd.c
- drivers/watchdog/pcwd_pci.c
- drivers/watchdog/pcwd_usb.c
- drivers/watchdog/pika_wdt.c, line 122
- drivers/watchdog/rc32434_wdt.c, line 148
- drivers/watchdog/rdc321x_wdt.c, line 131
- drivers/watchdog/riowd.c, line 79
- drivers/watchdog/sa1100_wdt.c, line 84
- drivers/watchdog/sb_wdog.c, line 108
- drivers/watchdog/sbc60xxwdt.c, line 205
- drivers/watchdog/sbc7240_wdt.c, line 130
- drivers/watchdog/sbc8360.c, line 270
- drivers/watchdog/sbc_epx_c3.c, line 77
- drivers/watchdog/sbc_fitpc2_wdt.c, line 76
- drivers/watchdog/sc1200wdt.c, line 176
- drivers/watchdog/sch311x_wdt.c, line 315
- drivers/watchdog/scx200_wdt.c, line 102
- drivers/watchdog/smsc37b787_wdt.c, line 365
- drivers/watchdog/w83877f_wdt.c, line 223
- drivers/watchdog/w83977f_wdt.c, line 296
- drivers/watchdog/wafer5823wdt.c, line 196
- drivers/watchdog/watchdog_dev.c, line 908
- drivers/watchdog/wdrtas.c
- drivers/watchdog/wdt.c
- drivers/watchdog/wdt285.c, line 99
- drivers/watchdog/wdt977.c, line 272
- drivers/watchdog/wdt_pci.c
- drivers/xen/evtchn.c, line 665
- drivers/xen/xenbus/xenbus_dev_frontend.c, line 656
- fs/fuse/file.c, line 227
- fs/open.c, line 1634
- fs/pipe.c
- kernel/trace/trace.c, line 6426
- net/rfkill/core.c, line 1213
- net/socket.c, line 568
- samples/vfio-mdev/mtty.c
- sound/core/control.c, line 58
- sound/core/rawmidi.c, line 446
- sound/core/seq/seq_clientmgr.c, line 316
- sound/core/timer.c, line 1550
Smatch caller information:
drivers/watchdog/it8712f_wdt.c it8712f_wdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/char/ipmi/ipmi_watchdog.c ipmi_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/pc87413_wdt.c pc87413_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/pcwd_usb.c usb_pcwd_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/pcwd_usb.c usb_pcwd_temperature_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/ibmasr.c asr_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/acquirewdt.c acq_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/pcwd_pci.c pcipcwd_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/pcwd_pci.c pcipcwd_temp_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
sound/core/rawmidi.c snd_rawmidi_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| BIT_INFO | 1 | filp->f_flags | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/ib700wdt.c ibwdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/input/mousedev.c mousedev_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 528 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/rtc/rtc-m41t80.c wdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/sch311x_wdt.c sch311x_wdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/eurotechwdt.c eurwdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/hid/uhid.c uhid_char_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 9704 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/platform/surface/surface_aggregator_cdev.c ssam_cdev_device_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 5000 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/hwmon/fschmd.c watchdog_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/smsc37b787_wdt.c wb_smsc_wdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/input/joydev.c joydev_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 632 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/vfio/pci/mlx5/main.c mlx5vf_pci_resume_device_data() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &mvdev->state_mutex | ||
| TYPE_LOCK | (struct mlx5vf_pci_core_device)->state_mutex |
drivers/vfio/pci/mlx5/main.c mlx5vf_pci_save_device_data() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &mvdev->state_mutex | ||
| TYPE_LOCK | (struct mlx5vf_pci_core_device)->state_mutex |
drivers/watchdog/at91rm9200_wdt.c at91_wdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/platform/chrome/wilco_ec/telemetry.c telem_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
net/rfkill/core.c rfkill_fop_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 280 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/usb/misc/ldusb.c ld_usb_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/sbc_fitpc2_wdt.c fitpc2_wdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/platform/chrome/cros_ec_debugfs.c cros_ec_console_log_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
fs/pipe.c create_pipe_files() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | r get_pipe_inode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_pipe->max_usage | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_pipe->nr_accounted | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_pipe->ring_size |
fs/pipe.c create_pipe_files() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| CAPPED_DATA | 0 | inode->i_sb->s_time_max | 1 |
| DATA_SOURCE | 0 | inode | r get_pipe_inode |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_pipe->max_usage | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_pipe->nr_accounted | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_pipe->ring_size |
fs/pipe.c fifo_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 0 | inode->i_pipe | (-1),488 |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),488 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_pipe->max_usage | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_pipe->nr_accounted | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_pipe->ring_size | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name | |
| LOCK2 | &pipe->mutex | ||
| TYPE_LOCK | (struct pipe_inode_info)->mutex |
drivers/pci/switch/switchtec.c switchtec_dev_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 1192 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/input/misc/uinput.c uinput_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 1016 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/vfio/pci/pds/lm.c pds_vfio_get_lm_file() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &pds_vfio->state_mutex | ||
| TYPE_LOCK | (struct pds_vfio_pci_device)->state_mutex |
drivers/vfio/pci/xe/main.c xe_vfio_pci_alloc_file() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &xe_vdev->state_mutex | ||
| TYPE_LOCK | (struct xe_vfio_pci_core_device)->state_mutex |
drivers/infiniband/core/uverbs_main.c ib_uverbs_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 864 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/alim1535_wdt.c ali_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/hwmon/w83793.c watchdog_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/input/evdev.c evdev_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 480-103079215560 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/wafer5823wdt.c wafwdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/vfio/pci/qat/main.c qat_vf_resume_device_data() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &qat_vdev->state_mutex | ||
| TYPE_LOCK | (struct qat_vf_core_device)->state_mutex |
drivers/vfio/pci/qat/main.c qat_vf_save_device_data() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &qat_vdev->state_mutex | ||
| TYPE_LOCK | (struct qat_vf_core_device)->state_mutex |
drivers/watchdog/geodewdt.c geodewdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/spi/spidev.c spidev_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| CAPPED_DATA | 0 | inode->i_rdev | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name | |
| LOCK2 | global &device_list_lock |
drivers/watchdog/sc1200wdt.c sc1200wdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/nv_tco.c nv_tco_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/hid/hid-sensor-custom.c hid_sensor_custom_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/vfio/pci/hisilicon/hisi_acc_vfio_pci.c hisi_acc_open_saving_migf() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &hisi_acc_vdev->state_mutex | ||
| TYPE_LOCK | (struct hisi_acc_vf_core_device)->state_mutex |
drivers/vfio/pci/hisilicon/hisi_acc_vfio_pci.c hisi_acc_vf_pci_resume() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &hisi_acc_vdev->state_mutex | ||
| TYPE_LOCK | (struct hisi_acc_vf_core_device)->state_mutex |
drivers/watchdog/w83977f_wdt.c wdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
net/socket.c sock_alloc_file() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| PARAM_VALUE | 1 | filp->f_mode | 167772160,168296448-705560583 |
| BUF_SIZE | 1 | filp->private_data | (-1),192 |
| CAPPED_DATA | 1 | filp->f_cred | 1 |
| DATA_SOURCE | 1 | filp | r alloc_file_pseudo |
| BIT_INFO | 1 | filp->f_mode | 0x8000000,0x3fffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| HALF_LOCKED2 | sk |
drivers/infiniband/core/ucma.c ucma_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 280 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/sbc_epx_c3.c epx_c3_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
kernel/trace/trace.c tracing_mark_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name | |
| LOCK2 | _T->lock |
sound/core/control.c snd_ctl_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/rdc321x_wdt.c rdc321x_wdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/platform/surface/surface_dtx.c surface_dtx_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 728 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/sbc60xxwdt.c fop_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/sa1100_wdt.c sa1100dog_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/xen/evtchn.c evtchn_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 528 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/infiniband/core/user_mad.c ib_umad_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 640 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name | |
| LOCK2 | &port->file_mutex | ||
| TYPE_LOCK | (struct ib_umad_port)->file_mutex |
drivers/firewire/nosy.c nosy_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 176 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
sound/core/seq/seq_clientmgr.c snd_seq_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/w83877f_wdt.c fop_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/leds/uleds.c uleds_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 1096 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/media/rc/lirc_dev.c lirc_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 168 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/alim7101_wdt.c fop_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/usb/gadget/function/f_fs.c ffs_ep0_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | 1-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/usb/gadget/function/f_fs.c ffs_epfile_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
samples/vfio-mdev/mtty.c mtty_resume_device_data() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &mdev_state->state_mutex | ||
| TYPE_LOCK | (struct mdev_state)->state_mutex |
samples/vfio-mdev/mtty.c mtty_save_device_data() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &mdev_state->state_mutex | ||
| TYPE_LOCK | (struct mdev_state)->state_mutex |
drivers/watchdog/advantechwdt.c advwdt_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/watchdog_dev.c watchdog_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/vfio/pci/virtio/migrate.c virtiovf_pci_resume_device_data() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &virtvdev->state_mutex | ||
| TYPE_LOCK | (struct virtiovf_pci_core_device)->state_mutex |
drivers/vfio/pci/virtio/migrate.c virtiovf_pci_save_device_data() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| DATA_SOURCE | 1 | filp | r anon_inode_getfile |
| NOCHECK_CALL | |||
| LOCK2 | &virtvdev->state_mutex | ||
| TYPE_LOCK | (struct virtiovf_pci_core_device)->state_mutex |
sound/core/timer.c snd_timer_user_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/gnss/core.c gnss_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/net/wwan/wwan_core.c wwan_port_fops_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/xen/xenbus/xenbus_dev_frontend.c xenbus_file_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/platform/chrome/wilco_ec/event.c event_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
fs/fuse/file.c fuse_finish_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | filp | 4096-ptr_max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1)-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| BIT_INFO | 1 | filp->f_flags | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| USER_DATA | 1 | filp->private_data->passthrough->f_flags | 0-4294967295 |
| USER_DATA | 1 | filp->private_data->passthrough->f_mode | 0,131072-4294967295 |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name | |
| HALF_LOCKED2 | 0 | &inode->i_mapping->invalidate_lock | |
| HALF_LOCKED2 | 0 | &inode->i_rwsem |
drivers/watchdog/wdt_pci.c wdtpci_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |
drivers/watchdog/wdt_pci.c wdtpci_temp_open() -> stream_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp | (-1)-s32max |
| BUF_SIZE | 1 | filp->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 1 | filp->private_data | (-1),232 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 1 | filp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | filp->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | filp->f_flags | 0-u32max |
| USER_DATA | 1 | filp->f_mode | 0,4-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 1 | filp->f_path.moved->d_inode->i_size | |
| USER_PTR | 1 | filp->__f_path.dentry->__d_name.name |