From owner-freebsd-hackers Wed Mar 14 13:36:31 2001 Delivered-To: freebsd-hackers@freebsd.org Received: from et-gw.etinc.com (et-gw.etinc.com [207.252.1.2]) by hub.freebsd.org (Postfix) with ESMTP id A984937B71A for ; Wed, 14 Mar 2001 13:36:28 -0800 (PST) (envelope-from dennis@etinc.com) Received: from dbsys.etinc.com (dbsys.etinc.com [207.252.1.18]) by et-gw.etinc.com (8.9.3/8.9.3) with ESMTP id QAA11793 for ; Wed, 14 Mar 2001 16:49:32 GMT (envelope-from dennis@etinc.com) Message-Id: <5.0.0.25.0.20010314165014.03dcb7b0@mail.etinc.com> X-Sender: dennis@mail.etinc.com X-Mailer: QUALCOMM Windows Eudora Version 5.0 Date: Wed, 14 Mar 2001 16:51:14 -0500 To: hackers@FreeBSD.ORG From: Dennis Subject: Re: if_fxp - the real point In-Reply-To: <20010314104748.A31046@dragon.nuxi.com> References: <20010314090915.D29888@fw.wintelcom.net> <200103092332.f29NW4785782@gollum.esys.ca> <20010309221250.2384337B71B@hub.freebsd.org> <200103092332.f29NW4785782@gollum.esys.ca> <20010314123503.C74704@daemon.ninth-circle.org> <5.0.0.25.0.20010314110743.02373a00@mail.etinc.com> <20010314090915.D29888@fw.wintelcom.net> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG At 01:47 PM 03/14/2001, you wrote: >On Wed, Mar 14, 2001 at 09:09:15AM -0800, Alfred Perlstein wrote: > > how many times does windows crash because of poorly written drivers > > rather than flaws in the core OS? (*) > >ALL the time. Microsoft has given the UC-Davis security and formal >verification lab a multi-year grant to look at this problem. >(the approach being researched is "model checking") Why would they need to do that? Every time you load a program it updates the libraries, breaking older programs. Its a philosophical problem. You dont need a grant to figure it out. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message