>
> If we keep it 10 times over head, my home computer can load the full linux
> kernel and have some spare for checking.
>
> I am still working on the bytecode loader and linker for merging symbols.
> It need to answer the question:
>
> Which file define which function.
> Which external symbol
On Sun, Feb 11, 2007 at 05:50:15AM +, Al Viro wrote:
>
> I have some stuff in that direction, but it take some resurrecting...
OK, we should talk.
Here is what I have:
Linearize bytecode writer, which produce the binary linearized code.
The uncompress size is about 10 times the i386 .o file
On Sat, Feb 10, 2007 at 06:33:25PM +0100, Andi Kleen wrote:
> Interesting. Did you find any kernel bugs with this?
In short, not very useful yet.
The current run of of sparse-0.2-cl2 on git default i386 config
will find about 6 place kernel using allocated memory without NULL
check. But Linus sai
On Sat, Feb 10, 2007 at 09:17:58PM -0800, Christopher Li wrote:
> e.g. sparse has not way to know some function only get called with interrupt
> disabled (or some lock already hold). So it assume interrupt is still
> enable and generate wrong warnings. Another example is that some helper
> function
Christopher Li <[EMAIL PROTECTED]> writes:
>
> Change log in sparse-0.2-cl2:
> - adding pointer signedness fix
> - adding spinlock checking
Interesting. Did you find any kernel bugs with this?
-Andi
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a mes
Temporarily at:
http://userweb.kernel.org/~chrisl/sparse-0.2-cl2
Will appear later at:
http://ftp.kernel.org//pub/linux/kernel/people/chrisl/patches/sparse/sparse-0.2-cl2/
I have been play with sparse to add more Stanford checker style
of checking. The paper is "Checking System Rules U
6 matches
Mail list logo
