taglinefilesource code
verify_area27fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
verify_area37fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
verify_area44fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
verify_area60fs/locks.cerror = verify_area(VERIFY_WRITE,l, sizeof(*l));
verify_area104fs/locks.cerror = verify_area(VERIFY_WRITE, l, sizeof(*l));
verify_area34fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
verify_area55fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
verify_area117fs/pipe.cerror = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area222fs/pipe.cj = verify_area(VERIFY_WRITE,fildes,8);
verify_area30fs/read_write.cerror = verify_area(VERIFY_WRITE, dirent, sizeof (*dirent));
verify_area84fs/read_write.cerror = verify_area(VERIFY_WRITE,buf,count);
verify_area104fs/read_write.cerror = verify_area(VERIFY_READ,buf,count);
verify_area158fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
verify_area207fs/select.ci = verify_area(VERIFY_READ, buffer, 20);
verify_area224fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
verify_area83fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area99fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area115fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area131fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area148fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area163fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area179fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
verify_area11include/linux/kernel.hint verify_area(int type, void * addr, unsigned long count);
verify_area178kernel/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
verify_area193kernel/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
verify_area489kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area649kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
verify_area668kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
verify_area812kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
verify_area837kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
verify_area889kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)d,8);
verify_area913kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,4);
verify_area942kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,4);
verify_area966kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,2);
verify_area995kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,2);
verify_area1042kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area1053kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area1214kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,28);
verify_area1260kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,80);
verify_area86kernel/blk_drv/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
verify_area1061kernel/blk_drv/floppy.ci = verify_area(VERIFY_WRITE,(void *) param,sizeof(struct floppy_struct));
verify_area523kernel/blk_drv/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area537kernel/blk_drv/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area40kernel/blk_drv/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, buffer, len);
verify_area192kernel/blk_drv/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, (outlen > MAX_BUF) ? MAX_BUF  : outlen);
verify_area236kernel/blk_drv/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
verify_area27kernel/blk_drv/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area49kernel/blk_drv/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area189kernel/blk_drv/scsi/sr_ioctl.cverify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tochdr));
verify_area200kernel/blk_drv/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area222kernel/blk_drv/scsi/sr_ioctl.cverify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area265kernel/blk_drv/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_volctrl));
verify_area341kernel/blk_drv/scsi/sr_ioctl.cverify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_subchnl));
verify_area1112kernel/blk_drv/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(mtc));
verify_area1130kernel/blk_drv/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
verify_area1149kernel/blk_drv/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
verify_area201kernel/blk_drv/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
verify_area212kernel/blk_drv/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
verify_area1441kernel/chr_drv/console.cl = verify_area(VERIFY_WRITE, buf,2+video_num_columns*video_num_lines);
verify_area994kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(unsigned int *));
verify_area1007kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(unsigned int *));
verify_area1016kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area107kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
verify_area128kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, termios, sizeof (*termios));
verify_area181kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (*termio));
verify_area269kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, ws, sizeof (*ws));
verify_area400kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area417kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area423kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area491kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area503kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_READ, (unsigned long *)arg, sizeof (int));
verify_area140kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area194kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area219kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area227kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area263kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
verify_area284kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
verify_area304kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
verify_area320kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
verify_area457kernel/exit.cflag = verify_area(VERIFY_WRITE, stat_addr, 4);
verify_area23kernel/info.cerror = verify_area(VERIFY_WRITE, info, sizeof(struct sysinfo));
verify_area66kernel/itimer.cerror = verify_area(VERIFY_WRITE, value, sizeof(struct itimerval));
verify_area113kernel/itimer.cerror = verify_area(VERIFY_WRITE, ovalue, sizeof(struct itimerval));
verify_area66kernel/printk.cverify_area(VERIFY_WRITE,buf,len);
verify_area93kernel/printk.cverify_area(VERIFY_WRITE,buf,len);
verify_area277kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, 4);
verify_area289kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, 4);
verify_area41kernel/signal.cerror = verify_area(VERIFY_WRITE, set, 4);
verify_area134kernel/signal.cif (!verify_area(VERIFY_WRITE,oldaction, sizeof(struct sigaction)))
verify_area172kernel/signal.cverify_area(VERIFY_WRITE,tmp_esp,18*4);
verify_area195kernel/signal.cverify_area(VERIFY_WRITE,tmp_esp,9*4);
verify_area333kernel/sys.cerror = verify_area(VERIFY_WRITE, tloc, 4);
verify_area414kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
verify_area508kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
verify_area561kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area572kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area613kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
verify_area654kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
verify_area745kernel/sys.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
verify_area753kernel/sys.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
verify_area507net/socket.cverify_area(VERIFY_WRITE,usockvec, 2 * sizeof(int));
verify_area849net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area855net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area861net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area867net/socket.cverify_area(VERIFY_WRITE,args, 2 * sizeof(long));
verify_area872net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area878net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area884net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area890net/socket.cverify_area(VERIFY_WRITE,args, 4 * sizeof(long));
verify_area897net/socket.cverify_area(VERIFY_WRITE,args, 4 * sizeof (unsigned long));
verify_area904net/socket.cverify_area(VERIFY_WRITE,args, 6 * sizeof (unsigned long));
verify_area914net/socket.cverify_area(VERIFY_WRITE,args, 4 * sizeof (unsigned long));
verify_area921net/socket.cverify_area(VERIFY_WRITE,args, 6 * sizeof (unsigned long));
verify_area930net/socket.cverify_area(VERIFY_WRITE, args, 2* sizeof (unsigned long));
verify_area935net/socket.cverify_area(VERIFY_WRITE, args, 5*sizeof (unsigned long));
verify_area944net/socket.cverify_area(VERIFY_WRITE, args, 5*sizeof (unsigned long));
verify_area243net/tcp/packet.cverify_area (VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area285net/tcp/packet.cverify_area (VERIFY_WRITE, to, copied);
verify_area293net/tcp/packet.cverify_area (VERIFY_WRITE, saddr, sizeof (*saddr));
verify_area383net/tcp/raw.cverify_area (VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area425net/tcp/raw.cverify_area (VERIFY_WRITE, to, copied);
verify_area433net/tcp/raw.cverify_area (VERIFY_WRITE, sin, sizeof (*sin));
verify_area840net/tcp/sock.cverify_area (VERIFY_WRITE, optlen, sizeof (int));
verify_area843net/tcp/sock.cverify_area(VERIFY_WRITE, optval, sizeof (int));
verify_area1415net/tcp/sock.cverify_area (VERIFY_WRITE, uaddr, len);
verify_area1417net/tcp/sock.cverify_area(VERIFY_WRITE, uaddr_len, sizeof (len));
verify_area1679net/tcp/sock.cverify_area (VERIFY_WRITE, (void *)arg, sizeof (long));
verify_area404net/tcp/tcp.cverify_area (VERIFY_WRITE, (void *)arg, sizeof (unsigned long));
verify_area422net/tcp/tcp.cverify_area (VERIFY_WRITE, (void *) arg, sizeof (unsigned long));
verify_area433net/tcp/tcp.cverify_area (VERIFY_WRITE, (void *)arg, sizeof (unsigned long));
verify_area1187net/tcp/tcp.cverify_area (VERIFY_WRITE, to, amt);
verify_area1380net/tcp/tcp.cverify_area (VERIFY_WRITE, to, used);
verify_area1543net/tcp/tcp.cverify_area (VERIFY_WRITE, addr, len);
verify_area1545net/tcp/tcp.cverify_area (VERIFY_WRITE, addr_len, sizeof (len));
verify_area486net/tcp/udp.cverify_area (VERIFY_WRITE, (void *)arg, sizeof (unsigned long));
verify_area508net/tcp/udp.cverify_area (VERIFY_WRITE, (void *)arg, sizeof (unsigned long));
verify_area539net/tcp/udp.cverify_area (VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area585net/tcp/udp.cverify_area (VERIFY_WRITE, to, copied);
verify_area594net/tcp/udp.cverify_area (VERIFY_WRITE, sin, sizeof (*sin));
verify_area348net/unix.cverify_area(VERIFY_WRITE,umyaddr, sockaddr_len);
verify_area404net/unix.cverify_area(VERIFY_WRITE,uservaddr, sockaddr_len);
verify_area525net/unix.cverify_area(VERIFY_WRITE,usockaddr_len, sizeof(*usockaddr_len));
verify_area531net/unix.cverify_area(VERIFY_WRITE,usockaddr, len);
verify_area584net/unix.cverify_area(VERIFY_WRITE,ubuf, cando);
verify_area662net/unix.cverify_area(VERIFY_WRITE,ubuf, cando);
verify_area740net/unix.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area750net/unix.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));