Messages in this thread | | | From | Andi Kleen <> | Subject | Re: [ANNOUNCE] sparse-0.2-cl2 is now available | Date | Sun, 11 Feb 2007 11:41:54 +0100 |
| |
> > 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 does this function use. > > Once we get the function user/define chain, it can enable a lot of new checking.
At least for interrupts on/off you'll likely need new annotations because this state can be changed in assembly files before/after calling out to C.
For locks this fortunately cannot happen (at least not on x86*)
-Andi
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |