Re: [ANNOUNCE] sparse-0.2-cl2 is now available

> 
> 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 [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

---

• References:
  • Re: [ANNOUNCE] sparse-0.2-cl2 is now available
    • From: Al Viro <[email protected]>
  • Re: [ANNOUNCE] sparse-0.2-cl2 is now available
    • From: Christopher Li <[email protected]>

• Prev by Date: Re: [BUG] PATA_PCMCIA does not work
• Next by Date: Re: - rdmsr_on_cpu-wrmsr_on_cpu.patch removed from -mm tree
• Previous by thread: Re: [ANNOUNCE] sparse-0.2-cl2 is now available
• Next by thread: PROBLEM: xt_state compiles without errors but cannot be loaded
• Index(es):
  • Date
  • Thread

[Index of Archives]     [Kernel Newbies]     [Netfilter]     [Bugtraq]     [Photo]     [Stuff]     [Gimp]     [Yosemite News]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Video 4 Linux]     [Linux for the blind]     [Linux Resources]