lkml.org 
[lkml]   [2007]   [Feb]   [11]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    From
    SubjectRe: [ANNOUNCE] sparse-0.2-cl2 is now available
    Date

    >
    > 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/

    \
     
     \ /
      Last update: 2007-02-11 11:45    [W:0.030 / U:0.584 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site