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_area63fs/locks.cerror = verify_area(VERIFY_WRITE,l, sizeof(*l));
verify_area107fs/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_area298fs/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_area157fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
verify_area206fs/select.ci = verify_area(VERIFY_READ, buffer, 20);
verify_area223fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
verify_area94fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area110fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area126fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area142fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area159fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area174fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area190fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
verify_area21include/linux/kernel.hint verify_area(int type, void * addr, unsigned long count);
verify_area49ipc/msg.cerr = verify_area (VERIFY_READ, msgp->mtext, msgsz);
verify_area122ipc/msg.cerr = verify_area (VERIFY_WRITE, msgp->mtext, msgsz);
verify_area346ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct msginfo));
verify_area355ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*msq));
verify_area376ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof(*msq));
verify_area184ipc/sem.ci= verify_area(VERIFY_WRITE, tmp, sizeof(struct seminfo));
verify_area194ipc/sem.ci = verify_area (VERIFY_WRITE, buf, sizeof (*sma));
verify_area237ipc/sem.ci = verify_area (VERIFY_WRITE, array, nsems* sizeof(short));
verify_area258ipc/sem.cif ((i = verify_area (VERIFY_READ, array, sizeof tbuf)))
verify_area268ipc/sem.cif ((i = verify_area (VERIFY_WRITE, arg, sizeof tbuf)))
verify_area274ipc/sem.cif ((i = verify_area (VERIFY_READ, buf, sizeof tbuf)))
verify_area205ipc/shm.cerr = verify_area (VERIFY_READ, buf, sizeof (*buf));
verify_area222ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct shminfo));
verify_area233ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (shm_info));
verify_area248ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*shp));
verify_area293ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*shp));
verify_area209kernel/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
verify_area223kernel/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
verify_area441kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE, d, 10);
verify_area453kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area639kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
verify_area652kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
verify_area823kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
verify_area842kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
verify_area900kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)d,8);
verify_area955kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,4);
verify_area1009kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,2);
verify_area1049kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area1067kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area1278kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,28);
verify_area1315kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,80);
verify_area97kernel/blk_drv/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
verify_area1072kernel/blk_drv/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(schi));
verify_area1073kernel/blk_drv/cdu31a.cverify_area(VERIFY_WRITE, (char *) arg, sizeof(schi));
verify_area1232kernel/blk_drv/cdu31a.cverify_area(VERIFY_READ, (char *) arg, 6);
verify_area1269kernel/blk_drv/cdu31a.cverify_area(VERIFY_WRITE, hdr, sizeof(*hdr));
verify_area1291kernel/blk_drv/cdu31a.cverify_area(VERIFY_READ, entry, sizeof(*entry));
verify_area1292kernel/blk_drv/cdu31a.cverify_area(VERIFY_WRITE, entry, sizeof(*entry));
verify_area1343kernel/blk_drv/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(ti));
verify_area1409kernel/blk_drv/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(volctrl));
verify_area1134kernel/blk_drv/floppy.ci = verify_area(VERIFY_WRITE,(void *) param,sizeof(struct floppy_struct));
verify_area539kernel/blk_drv/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area553kernel/blk_drv/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area256kernel/blk_drv/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
verify_area299kernel/blk_drv/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area338kernel/blk_drv/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
verify_area349kernel/blk_drv/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
verify_area386kernel/blk_drv/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
verify_area431kernel/blk_drv/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(volctrl));
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_area237kernel/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_area1171kernel/blk_drv/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(mtc));
verify_area1189kernel/blk_drv/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
verify_area1208kernel/blk_drv/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
verify_area204kernel/blk_drv/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
verify_area215kernel/blk_drv/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
verify_area1524kernel/chr_drv/console.cl = verify_area(VERIFY_WRITE, buf,2+video_num_columns*video_num_lines);
verify_area1331kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(unsigned int *));
verify_area1344kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(unsigned int *));
verify_area1353kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1366kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1831kernel/chr_drv/tpqic02.cerror = verify_area(VERIFY_WRITE, buf, count);
verify_area2008kernel/chr_drv/tpqic02.cerror = verify_area(VERIFY_READ, buf, count);
verify_area2360kernel/chr_drv/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(operation));
verify_area2416kernel/chr_drv/tpqic02.cerror =  verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_status));
verify_area2444kernel/chr_drv/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_tell));
verify_area113kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
verify_area157kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, termios, sizeof (*termios));
verify_area237kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (*termio));
verify_area314kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, termios, sizeof (*termios));
verify_area365kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, ws, sizeof (*ws));
verify_area501kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area518kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area524kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area598kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area618kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_READ, (unsigned long *)arg, sizeof (int));
verify_area141kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area195kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area220kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area233kernel/chr_drv/vt.cverify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area249kernel/chr_drv/vt.cverify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area269kernel/chr_drv/vt.cverify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
verify_area289kernel/chr_drv/vt.cverify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
verify_area317kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area353kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
verify_area374kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
verify_area394kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
verify_area410kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
verify_area506kernel/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_area30kernel/ldt.cerror = verify_area(VERIFY_WRITE, ptr, size);
verify_area46kernel/ldt.cerror = verify_area(VERIFY_READ, ptr, sizeof(ldt_info));
verify_area68kernel/printk.cverify_area(VERIFY_WRITE,buf,len);
verify_area99kernel/printk.cverify_area(VERIFY_WRITE,buf,len);
verify_area270kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area284kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area67kernel/signal.cerror = verify_area(VERIFY_WRITE, set, 4);
verify_area164kernel/signal.cif (!verify_area(VERIFY_WRITE,oldaction, sizeof(struct sigaction)))
verify_area222kernel/signal.cverify_area(VERIFY_WRITE,frame,32*4);
verify_area337kernel/sys.cerror = verify_area(VERIFY_WRITE, tloc, 4);
verify_area418kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
verify_area539kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
verify_area592kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area603kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area624kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area685kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
verify_area726kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
verify_area817kernel/sys.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
verify_area825kernel/sys.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
verify_area661net/inet/dev.cverify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
verify_area737net/inet/dev.cverify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
verify_area882net/inet/dev.cverify_area (VERIFY_WRITE, arg, sizeof (ipc));
verify_area207net/inet/packet.cverify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area239net/inet/packet.cverify_area(VERIFY_WRITE, to, copied);
verify_area248net/inet/packet.cverify_area(VERIFY_WRITE, saddr, sizeof(*saddr));
verify_area330net/inet/raw.cverify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area364net/inet/raw.cverify_area(VERIFY_WRITE, to, copied);
verify_area373net/inet/raw.cverify_area(VERIFY_WRITE, sin, sizeof(*sin));
verify_area338net/inet/route.cverify_area(VERIFY_WRITE, arg, sizeof(struct rtentry));
verify_area341net/inet/route.cverify_area(VERIFY_WRITE, rt.rt_dev, sizeof namebuf);
verify_area669net/inet/slip.cverify_area(VERIFY_WRITE, arg, 16);
verify_area638net/inet/sock.cverify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area641net/inet/sock.cverify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area1140net/inet/sock.cverify_area(VERIFY_WRITE, uaddr, len);
verify_area1142net/inet/sock.cverify_area(VERIFY_WRITE, uaddr_len, sizeof(len));
verify_area1374net/inet/sock.cverify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
verify_area330net/inet/tcp.cverify_area(VERIFY_WRITE,(void *)arg,
verify_area351net/inet/tcp.cverify_area(VERIFY_WRITE,(void *) arg,
verify_area362net/inet/tcp.cverify_area(VERIFY_WRITE,(void *)arg,
verify_area1072net/inet/tcp.cverify_area(VERIFY_WRITE, to, amt);
verify_area1246net/inet/tcp.cverify_area(VERIFY_WRITE, to, used);
verify_area1387net/inet/tcp.cverify_area(VERIFY_WRITE, addr, len);
verify_area1389net/inet/tcp.cverify_area(VERIFY_WRITE, addr_len, sizeof(len));
verify_area261net/inet/udp.cerr=verify_area(VERIFY_READ, from, len);
verify_area294net/inet/udp.cerr=verify_area(VERIFY_READ, usin, sizeof(sin));
verify_area335net/inet/udp.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
verify_area357net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area384net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area427net/inet/udp.cer=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area434net/inet/udp.cer=verify_area(VERIFY_WRITE, sin, sizeof(*sin));
verify_area438net/inet/udp.cer=verify_area(VERIFY_WRITE,to,len);
verify_area517net/inet/udp.cer=verify_area(VERIFY_READ, usin, sizeof(sin));
verify_area105net/inet/utils.cverify_area(VERIFY_WRITE, (void *)arg, sizeof(int));
verify_area498net/socket.cverify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
verify_area814net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
verify_area819net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
verify_area824net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
verify_area829net/socket.cverify_area(VERIFY_WRITE, args, 2 * sizeof(long));
verify_area833net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
verify_area838net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
verify_area843net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
verify_area848net/socket.cverify_area(VERIFY_WRITE, args, 4 * sizeof(long));
verify_area854net/socket.cverify_area(VERIFY_WRITE, args, 4 * sizeof(unsigned long));
verify_area860net/socket.cverify_area(VERIFY_WRITE, args, 6 * sizeof(unsigned long));
verify_area868net/socket.cverify_area(VERIFY_WRITE, args, 4 * sizeof(unsigned long));
verify_area874net/socket.cverify_area(VERIFY_WRITE, args, 6 * sizeof(unsigned long));
verify_area882net/socket.cverify_area(VERIFY_WRITE, args, 2* sizeof(unsigned long));
verify_area886net/socket.cverify_area(VERIFY_WRITE, args, 5*sizeof(unsigned long));
verify_area893net/socket.cverify_area(VERIFY_WRITE, args, 5*sizeof(unsigned long));
verify_area910net/socket.cverify_area(VERIFY_WRITE, (void *)arg, sizeof(int));
verify_area359net/unix/sock.cverify_area(VERIFY_WRITE, umyaddr, sockaddr_len);
verify_area414net/unix/sock.cverify_area(VERIFY_WRITE, uservaddr, sockaddr_len);
verify_area536net/unix/sock.cverify_area(VERIFY_WRITE, usockaddr_len, sizeof(*usockaddr_len));
verify_area540net/unix/sock.cverify_area(VERIFY_WRITE, usockaddr, len);
verify_area588net/unix/sock.cverify_area(VERIFY_WRITE, ubuf, cando);
verify_area662net/unix/sock.cverify_area(VERIFY_WRITE, ubuf, cando);
verify_area736net/unix/sock.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area744net/unix/sock.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area790net/unix/sock.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(int));