taglinefilesource code
verify_area26fs/ioctl.cverify_area((void *) arg,4);
verify_area34fs/ioctl.cverify_area((void *) arg,4);
verify_area39fs/ioctl.cverify_area((void *) arg,4);
verify_area59fs/locks.cverify_area(l, sizeof(*l));
verify_area100fs/locks.cverify_area(l, sizeof(*l));
verify_area42fs/open.cverify_area(buf, sizeof(struct statfs));
verify_area60fs/open.cverify_area(buf, sizeof(struct statfs));
verify_area115fs/pipe.cverify_area((void *) arg,4);
verify_area216fs/pipe.cverify_area(fildes,8);
verify_area29fs/read_write.cverify_area(dirent, sizeof (*dirent));
verify_area81fs/read_write.cverify_area(buf,count);
verify_area157fs/select.cverify_area(fs_pointer, sizeof(fd_set));
verify_area216fs/select.cverify_area(tvp, sizeof(*tvp));
verify_area20fs/stat.cverify_area(statbuf,sizeof (*statbuf));
verify_area40fs/stat.cverify_area(statbuf,sizeof (*statbuf));
verify_area161fs/stat.cverify_area(buf,bufsiz);
verify_area8include/linux/kernel.hvoid verify_area(void * addr,int count);
verify_area177kernel/FPU-emu/load_store.cverify_area(FPU_data_address,2);
verify_area192kernel/FPU-emu/load_store.cverify_area(FPU_data_address,2);
verify_area488kernel/FPU-emu/reg_ld_str.cverify_area(d,10);
verify_area623kernel/FPU-emu/reg_ld_str.cverify_area((void *)dfloat,8);
verify_area642kernel/FPU-emu/reg_ld_str.cverify_area((void *)dfloat,8);
verify_area750kernel/FPU-emu/reg_ld_str.cverify_area((void *)single,4);
verify_area775kernel/FPU-emu/reg_ld_str.cverify_area((void *)single,4);
verify_area827kernel/FPU-emu/reg_ld_str.cverify_area((void *)d,8);
verify_area851kernel/FPU-emu/reg_ld_str.cverify_area(d,4);
verify_area880kernel/FPU-emu/reg_ld_str.cverify_area(d,4);
verify_area904kernel/FPU-emu/reg_ld_str.cverify_area(d,2);
verify_area933kernel/FPU-emu/reg_ld_str.cverify_area(d,2);
verify_area980kernel/FPU-emu/reg_ld_str.cverify_area(d,10);
verify_area991kernel/FPU-emu/reg_ld_str.cverify_area(d,10);
verify_area1152kernel/FPU-emu/reg_ld_str.cverify_area(d,28);
verify_area1198kernel/FPU-emu/reg_ld_str.cverify_area(d,80);
verify_area83kernel/blk_drv/blk.hcase BLKROGET: verify_area((void *) (where), sizeof(long)); \
verify_area1061kernel/blk_drv/floppy.cverify_area((void *) param,sizeof(struct floppy_struct));
verify_area519kernel/blk_drv/hd.cverify_area(loc, sizeof(*loc));
verify_area531kernel/blk_drv/hd.cverify_area((long *) arg, sizeof(long));
verify_area184kernel/blk_drv/scsi/scsi_ioctl.cverify_area(cmd_in, (outlen > MAX_BUF) ? MAX_BUF  : outlen);
verify_area27kernel/blk_drv/scsi/sd_ioctl.cverify_area(loc, sizeof(*loc));
verify_area47kernel/blk_drv/scsi/sd_ioctl.cverify_area((long *) arg, sizeof(long));
verify_area1112kernel/blk_drv/scsi/st.cverify_area((void *)arg, sizeof(mtc));
verify_area1128kernel/blk_drv/scsi/st.cverify_area((void *)arg, sizeof(struct mtget));
verify_area1145kernel/blk_drv/scsi/st.cverify_area((void *)arg, sizeof(struct mtpos));
verify_area1438kernel/chr_drv/console.cverify_area(buf,2+video_num_columns*video_num_lines);
verify_area883kernel/chr_drv/serial.cverify_area((void *) arg,sizeof(unsigned int *));
verify_area890kernel/chr_drv/serial.cverify_area((void *) arg,sizeof(struct serial_struct));
verify_area107kernel/chr_drv/tty_ioctl.cverify_area((void *)arg, sizeof(struct tstruct));
verify_area127kernel/chr_drv/tty_ioctl.cverify_area(termios, sizeof (*termios));
verify_area178kernel/chr_drv/tty_ioctl.cverify_area(termio, sizeof (*termio));
verify_area264kernel/chr_drv/tty_ioctl.cverify_area(ws, sizeof (*ws));
verify_area392kernel/chr_drv/tty_ioctl.cverify_area((void *) arg,4);
verify_area408kernel/chr_drv/tty_ioctl.cverify_area((void *) arg,4);
verify_area413kernel/chr_drv/tty_ioctl.cverify_area((void *) arg,4);
verify_area479kernel/chr_drv/tty_ioctl.cverify_area((void *) arg,4);
verify_area490kernel/chr_drv/tty_ioctl.cverify_area ((unsigned long *)arg, sizeof (int));
verify_area140kernel/chr_drv/vt.cverify_area((void *) arg, sizeof(unsigned char));
verify_area193kernel/chr_drv/vt.cverify_area((void *) arg, sizeof(unsigned long));
verify_area217kernel/chr_drv/vt.cverify_area((void *) arg, sizeof(unsigned long));
verify_area223kernel/chr_drv/vt.cverify_area((void *) arg, sizeof(unsigned char));
verify_area257kernel/chr_drv/vt.cverify_area((void *)vtmode, sizeof(struct vt_mode));
verify_area276kernel/chr_drv/vt.cverify_area((void *)arg, sizeof(struct vt_mode));
verify_area294kernel/chr_drv/vt.cverify_area((void *)vtstat, sizeof(struct vt_stat));
verify_area308kernel/chr_drv/vt.cverify_area((void *) arg, sizeof(long));
verify_area453kernel/exit.cverify_area(stat_addr,4);
verify_area22kernel/info.cverify_area(info, sizeof(struct sysinfo));
verify_area66kernel/itimer.cverify_area(value, sizeof(struct itimerval));
verify_area111kernel/itimer.cverify_area(ovalue, sizeof(struct itimerval));
verify_area55kernel/printk.cverify_area(buf,len);
verify_area277kernel/ptrace.cverify_area((void *) data, 4);
verify_area288kernel/ptrace.cverify_area((void *) data, 4);
verify_area34kernel/signal.cverify_area(set,4);
verify_area100kernel/signal.cverify_area(oldaction, sizeof(struct sigaction));
verify_area184kernel/signal.cverify_area(tmp_esp,longs);
verify_area327kernel/sys.cverify_area(tloc,4);
verify_area406kernel/sys.cverify_area(tbuf,sizeof *tbuf);
verify_area487kernel/sys.cverify_area(grouplist, sizeof(gid_t) * gidsetsize);
verify_area536kernel/sys.cverify_area(name, sizeof *name);
verify_area545kernel/sys.cverify_area(name,sizeof *name);
verify_area582kernel/sys.cverify_area(rlim,sizeof *rlim);
verify_area620kernel/sys.cverify_area(ru, sizeof *ru);
verify_area667kernel/sys.cverify_area(tv, sizeof *tv);
verify_area674kernel/sys.cverify_area(tz, sizeof *tz);
verify_area496net/socket.cverify_area(usockvec, 2 * sizeof(int));
verify_area838net/socket.cverify_area(args, 3 * sizeof(long));
verify_area844net/socket.cverify_area(args, 3 * sizeof(long));
verify_area850net/socket.cverify_area(args, 3 * sizeof(long));
verify_area856net/socket.cverify_area(args, 2 * sizeof(long));
verify_area861net/socket.cverify_area(args, 3 * sizeof(long));
verify_area867net/socket.cverify_area(args, 3 * sizeof(long));
verify_area873net/socket.cverify_area(args, 3 * sizeof(long));
verify_area879net/socket.cverify_area(args, 4 * sizeof(long));
verify_area886net/socket.cverify_area(args, 4 * sizeof (unsigned long));
verify_area893net/socket.cverify_area(args, 6 * sizeof (unsigned long));
verify_area903net/socket.cverify_area(args, 4 * sizeof (unsigned long));
verify_area910net/socket.cverify_area(args, 6 * sizeof (unsigned long));
verify_area919net/socket.cverify_area (args, 2* sizeof (unsigned long));
verify_area924net/socket.cverify_area (args, 5*sizeof (unsigned long));
verify_area933net/socket.cverify_area (args, 5*sizeof (unsigned long));
verify_area243net/tcp/packet.cverify_area (addr_len, sizeof(*addr_len));
verify_area284net/tcp/packet.cverify_area (to, copied);
verify_area292net/tcp/packet.cverify_area (saddr, sizeof (*saddr));
verify_area383net/tcp/raw.cverify_area (addr_len, sizeof(*addr_len));
verify_area425net/tcp/raw.cverify_area (to, copied);
verify_area433net/tcp/raw.cverify_area (sin, sizeof (*sin));
verify_area840net/tcp/sock.cverify_area (optlen, sizeof (int));
verify_area843net/tcp/sock.cverify_area(optval, sizeof (int));
verify_area1416net/tcp/sock.cverify_area (uaddr, len);
verify_area1418net/tcp/sock.cverify_area(uaddr_len, sizeof (len));
verify_area1680net/tcp/sock.cverify_area ((void *)arg, sizeof (long));
verify_area404net/tcp/tcp.cverify_area ((void *)arg, sizeof (unsigned long));
verify_area422net/tcp/tcp.cverify_area ((void *) arg, sizeof (unsigned long));
verify_area433net/tcp/tcp.cverify_area ((void *)arg, sizeof (unsigned long));
verify_area1187net/tcp/tcp.cverify_area (to, amt);
verify_area1380net/tcp/tcp.cverify_area (to, used);
verify_area1543net/tcp/tcp.cverify_area (addr, len);
verify_area1545net/tcp/tcp.cverify_area (addr_len, sizeof (len));
verify_area486net/tcp/udp.cverify_area ((void *)arg, sizeof (unsigned long));
verify_area508net/tcp/udp.cverify_area ((void *)arg, sizeof (unsigned long));
verify_area539net/tcp/udp.cverify_area (addr_len, sizeof(*addr_len));
verify_area584net/tcp/udp.cverify_area (to, copied);
verify_area593net/tcp/udp.cverify_area (sin, sizeof (*sin));
verify_area349net/unix.cverify_area(umyaddr, sockaddr_len);
verify_area409net/unix.cverify_area(uservaddr, sockaddr_len);
verify_area533net/unix.cverify_area(usockaddr_len, sizeof(*usockaddr_len));
verify_area539net/unix.cverify_area(usockaddr, len);
verify_area596net/unix.cverify_area(ubuf, cando);
verify_area674net/unix.cverify_area(ubuf, cando);
verify_area752net/unix.cverify_area((void *)arg, sizeof(unsigned long));
verify_area762net/unix.cverify_area((void *)arg, sizeof(unsigned long));