Re: __CHECKER__, __user, and user-space pointers in the kernel

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Wed, Jan 19, 2005 at 12:41:10PM -0600, Timur Tabi wrote:
> Greg KH wrote:
> 
> >Yes.  See the sparse documention in the Documentation/sparse.txt file
> >for more info on this.  You should be running this on all of your kernel
> >code.
> 
> I can't find sparse.txt (or *sparse*) in any 2.6 kernel tree I have.

Look in the latest -bk tree, it's there.

> I 
> can't find any reference to 'sparse' in any file in Documentation/*, nor 
> can I find any .txt files in the sparse repository itself, nor any 
> documentation in that repository that references __CHECKER__.  I can't 
> find any documentation on __CHECKER__ or sparse on the internet, either.

Read Linus's various postings about it, and how to use it, in the lkml
archives.

> I did find the linux-sparse mailing list at 
> http://marc.theaimsgroup.com/?l=linux-sparse&r=1&w=2, but as I expected, 
> I found no documentation searching its archives.

What, you expect documentation for a useful kernel tool? :)

greg k-h

--
Kernelnewbies: Help each other learn about the Linux kernel.
Archive:       http://mail.nl.linux.org/kernelnewbies/
FAQ:           http://kernelnewbies.org/faq/


[Index of Archives]     [Newbies FAQ]     [Linux Kernel Mentors]     [Linux Kernel Development]     [IETF Annouce]     [Git]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux RAID]     [Linux SCSI]     [Linux ACPI]
  Powered by Linux