Re: [2.4.17/18pre] VM and swap - it's really unusable

Alan Cox
2002-01-14T00:45:30Z

> Quick question from a kernel newbie.
>
> Could this audit be partially automated by the Stanford Checker? or would
> there be too many false positives from other similar looping code?

Some it can probably be audited but much of this stuff depends on knowing
the hardware. I've yet to meet a gcc that can read manuals alas