Andreas Dilger <[email protected]> writes:
> On Mar 24, 2006 16:39 -0500, Theodore Ts'o wrote:
>> The former: a filesystem test harness in userspace, possibly with some
>> kernel code changes to make it easier to integrate it with the
>> userspace test harness. It's very similar to what the Netfilter folks
>> did, and it has the advantage that we can do testing much more
>> quickly, especially in cases where we want to simulate crashes at
>> certain specific test points to make sure the journal recovery happens
>> correctly.
>
> I seem to recall that the Stanford Metacompilation group (Dawson Engler)
> already wrote such a tool. Not sure what sort of access there is for the
> tool, whether public funding would grant access to the public, or if they
> are at least willing to make an online interface available (the group has
> spun out into "Coverity", and it seems unlikely it will be completely OSS).
I know the guys who wrote FiSC, the tool in question, and I have
even hacked on related software a little bit myself. I suspect
that, if asked, they would say that the code is rather
embarrassing and that they wouldn't want to release it for that
reason. However, to my knowledge it wasn't written by or in
conjunction with Coverity, so there wouldn't be any issues of
that kind.
If you want to pursue this, I'd recommend emailing Paul Twohey
<[email protected]> or Junfeng Yang <[email protected]>. As
I understand it, they are the grad students who spent the most
time working on FiSC and related tools.
--
Ben Pfaff
email: [email protected]
web: http://benpfaff.org
-
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/
[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]
