lkml.org 
[lkml]   [2003]   [May]   [30]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: inventing the wheel?
    Richard B. Johnson wrote:
    > The problem with 'correctness" is in the definition
    > of 'correct'. In many cases there are hundreds of
    > methods that can be used to implement a particular
    > software algorithm.

    Of course. Your example would probably be too low-level for
    most such checkers, and might better be handled by run-time
    checks (e.g. through something like valgrind).

    Also, a template check wouldn't have to cover all equivalent
    coding variants. E.g. if the template just allows one kind
    of loop, it's probably always acceptable to change code that
    uses an equivalent alternative.

    Furthermore, if someone figures out a way for doing things
    more efficiently, it should be easier to update drivers that
    conform to a well-known status quo ante.

    > One can, however, create an analysis engine that determines
    > compliance with certain rules and, or, certain templates.

    Yes, that's exactly what I mean.

    - Werner

    --
    _________________________________________________________________________
    / Werner Almesberger, Buenos Aires, Argentina wa@almesberger.net /
    /_http://www.almesberger.net/____________________________________________/
    -
    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: 2005-03-22 13:35    [W:0.053 / U:29.324 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site