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_area151fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
verify_area197fs/select.ci = verify_area(VERIFY_READ, buffer, 20);
verify_area214fs/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_area177kernel/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
verify_area192kernel/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
verify_area488kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area623kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
verify_area642kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
verify_area750kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
verify_area775kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
verify_area827kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)d,8);
verify_area851kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,4);
verify_area880kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,4);
verify_area904kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,2);
verify_area933kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,2);
verify_area980kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area991kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area1152kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,28);
verify_area1198kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,80);
verify_area84kernel/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_area519kernel/blk_drv/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area533kernel/blk_drv/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area185kernel/blk_drv/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, (outlen > MAX_BUF) ? MAX_BUF  : outlen);
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_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_area1438kernel/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_area399kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area416kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area422kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area490kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area502kernel/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_area453kernel/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_area55kernel/printk.ci = verify_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_area39kernel/signal.cerror = verify_area(VERIFY_WRITE, set, 4);
verify_area156kernel/signal.cif (!verify_area(VERIFY_WRITE,oldaction, sizeof(struct sigaction)))
verify_area242kernel/signal.cverify_area(VERIFY_WRITE,tmp_esp,longs);
verify_area327kernel/sys.cerror = verify_area(VERIFY_WRITE, tloc, 4);
verify_area408kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
verify_area502kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
verify_area555kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area566kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area607kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
verify_area648kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
verify_area699kernel/sys.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
verify_area708kernel/sys.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
verify_area496net/socket.cverify_area(VERIFY_WRITE,usockvec, 2 * sizeof(int));
verify_area838net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area844net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area850net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area856net/socket.cverify_area(VERIFY_WRITE,args, 2 * sizeof(long));
verify_area861net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area867net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area873net/socket.cverify_area(VERIFY_WRITE,args, 3 * sizeof(long));
verify_area879net/socket.cverify_area(VERIFY_WRITE,args, 4 * sizeof(long));
verify_area886net/socket.cverify_area(VERIFY_WRITE,args, 4 * sizeof (unsigned long));
verify_area893net/socket.cverify_area(VERIFY_WRITE,args, 6 * sizeof (unsigned long));
verify_area903net/socket.cverify_area(VERIFY_WRITE,args, 4 * sizeof (unsigned long));
verify_area910net/socket.cverify_area(VERIFY_WRITE,args, 6 * sizeof (unsigned long));
verify_area919net/socket.cverify_area(VERIFY_WRITE, args, 2* sizeof (unsigned long));
verify_area924net/socket.cverify_area(VERIFY_WRITE, args, 5*sizeof (unsigned long));
verify_area933net/socket.cverify_area(VERIFY_WRITE, args, 5*sizeof (unsigned long));
verify_area243net/tcp/packet.cverify_area (VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area284net/tcp/packet.cverify_area (VERIFY_WRITE, to, copied);
verify_area292net/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_area584net/tcp/udp.cverify_area (VERIFY_WRITE, to, copied);
verify_area593net/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_area588net/unix.cverify_area(VERIFY_WRITE,ubuf, cando);
verify_area666net/unix.cverify_area(VERIFY_WRITE,ubuf, cando);
verify_area744net/unix.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area754net/unix.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));