taglinefilesource code
verify_area37fs/open.cverify_area(buf, sizeof(struct statfs));
verify_area54fs/open.cverify_area(buf, sizeof(struct statfs));
verify_area111fs/pipe.cverify_area((void *) arg,4);
verify_area209fs/pipe.cverify_area(fildes,8);
verify_area29fs/read_write.cverify_area(dirent, sizeof (*dirent));
verify_area79fs/read_write.cverify_area(buf,count);
verify_area179fs/select.cverify_area(tvp, sizeof(*tvp));
verify_area190fs/select.cverify_area(inp, 4);
verify_area194fs/select.cverify_area(outp,4);
verify_area198fs/select.cverify_area(exp,4);
verify_area20fs/stat.cverify_area(statbuf,sizeof (*statbuf));
verify_area43fs/stat.cverify_area(statbuf,sizeof (*statbuf));
verify_area154fs/stat.cverify_area(buf,bufsiz);
verify_area8include/linux/kernel.hvoid verify_area(void * addr,int count);
verify_area78kernel/blk_drv/blk.hcase BLKROGET: verify_area((void *) (where), sizeof(long)); \
verify_area1027kernel/blk_drv/floppy.cverify_area((void *) param,sizeof(struct floppy_struct));
verify_area459kernel/blk_drv/hd.cverify_area(loc, sizeof(*loc));
verify_area1450kernel/chr_drv/console.cverify_area(buf,2+video_num_columns*video_num_lines);
verify_area95kernel/chr_drv/tty_ioctl.cverify_area((void *)arg, sizeof(struct tstruct));
verify_area115kernel/chr_drv/tty_ioctl.cverify_area(termios, sizeof (*termios));
verify_area149kernel/chr_drv/tty_ioctl.cverify_area(termio, sizeof (*termio));
verify_area222kernel/chr_drv/tty_ioctl.cverify_area(ws, sizeof (*ws));
verify_area316kernel/chr_drv/tty_ioctl.cverify_area((void *) arg,4);
verify_area332kernel/chr_drv/tty_ioctl.cverify_area((void *) arg,4);
verify_area336kernel/chr_drv/tty_ioctl.cverify_area((void *) arg,4);
verify_area388kernel/chr_drv/tty_ioctl.cverify_area((void *) arg,sizeof(struct serial_struct));
verify_area86kernel/chr_drv/vt.cverify_area((void *) arg, sizeof(unsigned char));
verify_area135kernel/chr_drv/vt.cverify_area((void *) arg, sizeof(unsigned long));
verify_area168kernel/chr_drv/vt.cverify_area((void *) arg, sizeof(unsigned long));
verify_area175kernel/chr_drv/vt.cverify_area((void *) arg, sizeof(unsigned char));
verify_area422kernel/exit.cverify_area(stat_addr,4);
verify_area66kernel/itimer.cverify_area(value, sizeof(struct itimerval));
verify_area111kernel/itimer.cverify_area(ovalue, sizeof(struct itimerval));
verify_area341kernel/math/emulate.cverify_area(address,28);
verify_area350kernel/math/emulate.cverify_area(address,2);
verify_area386kernel/math/emulate.cverify_area(address,108);
verify_area398kernel/math/emulate.cverify_area(address,2);
verify_area137kernel/math/get_put.cverify_area(addr,4);
verify_area149kernel/math/get_put.cverify_area(addr,8);
verify_area161kernel/math/get_put.cverify_area(addr,10);
verify_area175kernel/math/get_put.cverify_area(addr,2);
verify_area189kernel/math/get_put.cverify_area(addr,4);
verify_area203kernel/math/get_put.cverify_area(addr,8);
verify_area226kernel/math/get_put.cverify_area(addr,10);
verify_area55kernel/printk.cverify_area(buf,len);
verify_area273kernel/ptrace.cverify_area((void *) data, 4);
verify_area284kernel/ptrace.cverify_area((void *) data, 4);
verify_area34kernel/signal.cverify_area(set,4);
verify_area73kernel/signal.cverify_area(to, sizeof(struct sigaction));
verify_area203kernel/signal.cverify_area(tmp_esp,longs);
verify_area249kernel/sys.cverify_area(tloc,4);
verify_area328kernel/sys.cverify_area(tbuf,sizeof *tbuf);
verify_area403kernel/sys.cverify_area(grouplist, sizeof(gid_t) * gidsetsize);
verify_area456kernel/sys.cverify_area(name, sizeof *name);
verify_area465kernel/sys.cverify_area(name,sizeof *name);
verify_area502kernel/sys.cverify_area(rlim,sizeof *rlim);
verify_area542kernel/sys.cverify_area(ru, sizeof *ru);
verify_area570kernel/sys.cverify_area(tv, sizeof *tv);
verify_area577kernel/sys.cverify_area(tz, sizeof *tz);
verify_area510net/socket.cverify_area(usockvec, 2 * sizeof(int));
verify_area691net/socket.cverify_area(args, 3 * sizeof(long));
verify_area697net/socket.cverify_area(args, 3 * sizeof(long));
verify_area703net/socket.cverify_area(args, 3 * sizeof(long));
verify_area709net/socket.cverify_area(args, 2 * sizeof(long));
verify_area714net/socket.cverify_area(args, 3 * sizeof(long));
verify_area720net/socket.cverify_area(args, 3 * sizeof(long));
verify_area726net/socket.cverify_area(args, 3 * sizeof(long));
verify_area732net/socket.cverify_area(args, 4 * sizeof(long));
verify_area250net/unix.cverify_area(umyaddr, sockaddr_len);
verify_area298net/unix.cverify_area(uservaddr, sockaddr_len);
verify_area370net/unix.cverify_area(usockaddr_len, sizeof(*usockaddr_len));
verify_area376net/unix.cverify_area(usockaddr, len);
verify_area433net/unix.cverify_area(ubuf, cando);
verify_area511net/unix.cverify_area(ubuf, cando);
verify_area569net/unix.cverify_area((void *)arg, sizeof(unsigned long));
verify_area577net/unix.cverify_area((void *)arg, sizeof(unsigned long));