From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.6 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI autolearn=ham autolearn_force=no version=3.4.4 Received: from minnie.tuhs.org (minnie.tuhs.org [IPv6:2600:3c01:e000:146::1]) by inbox.vuxu.org (Postfix) with ESMTP id 211AB223C6 for ; Tue, 21 May 2024 04:54:58 +0200 (CEST) Received: from minnie.tuhs.org (localhost [IPv6:::1]) by minnie.tuhs.org (Postfix) with ESMTP id 7832A43B87; Tue, 21 May 2024 12:54:54 +1000 (AEST) Received: from fhigh1-smtp.messagingengine.com (fhigh1-smtp.messagingengine.com [103.168.172.152]) by minnie.tuhs.org (Postfix) with ESMTPS id 9D89043B86 for ; Tue, 21 May 2024 12:54:48 +1000 (AEST) Received: from compute7.internal (compute7.nyi.internal [10.202.2.48]) by mailfhigh.nyi.internal (Postfix) with ESMTP id A472E11401A9; Mon, 20 May 2024 22:54:47 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute7.internal (MEProxy); Mon, 20 May 2024 22:54:47 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=serissa.com; h= cc:cc:content-transfer-encoding:content-type:content-type:date :date:from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:subject:subject:to:to; s=fm3; t=1716260087; x=1716346487; bh=Tj/N6nvxAJf0+wvn76E+C8ZuJrv2Kerzd9g2XDpJWtI=; b= UBLwDb8vDnjkgBI6LLmMLZXUIK4HkGipmc8no9AIMonRGKbBWeQCFCpbAdZvUWAR GeSDX164z1KAg5t8h1QLD2GFpyXLx/DlSFa9kSL4GOcZG8wwpZLvonKhtcomZfnK KF2ybq338DCOUyajCChfd1s1YmQwN/3DYA+/tak+geMmSj3J9UP4beJ6RuVxytTs IfaegR30Pvzf+afelIOxAb7CfSPYW9lg6u8SxMjTMDxttZWRb3W2YPSGj2DoCOH4 kQmkhd/OZD0fTFY6AAqzveNrPOoFwyitZ7eC5NxDG8ol89JqM2bVcAyivKyjUAH6 HH4GDQSFbx+J0jC11vwUhA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :content-type:content-type:date:date:feedback-id:feedback-id :from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:subject:subject:to:to:x-me-proxy:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm1; t=1716260087; x= 1716346487; bh=Tj/N6nvxAJf0+wvn76E+C8ZuJrv2Kerzd9g2XDpJWtI=; b=a Wzn+tEbk68xS6emBVdIa7nlKUBE+FD6sYHHEDWKpsQvUKpmKUrEm0jldczq+Yf2s XHcqDPWogdOKp35XpoMEXPu5zbphEIKH8TnPfhULPT/t8xJHok0rYMrCeRyzt202 vwdETy0HCIOyvc1QGyDQojt8KDxSQD+OVYYWb3b8h/2VPgDSRzqlFFqvKPcrDPfB Jhx8QzKfzRaWJVP0bkoCL135JPA/X+R4KyU518/oJzch4/Tx7VzWaMR8N77V/M3h 2fwm8nEwZ0i4+Cpnmhk6N6T0xZEXDqQnV6HjdBjB1rJkwZc9i1xOMoBhN7JGKP0h 6E0HTTM/SlPGJuYUbEEcg== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvledrvdeiuddgieegucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurheptggguffhjgffvefgkfhfvffosehtqhhmtdhhtdejnecuhfhrohhmpefnrgif rhgvnhgtvgcuufhtvgifrghrthcuoehsthgvfigrrhhtsehsvghrihhsshgrrdgtohhmqe enucggtffrrghtthgvrhhnpeffheevkeevtdehffefueffgfekhfekhfffhfehfeefkeeg tdetueeuheefleelvdenucffohhmrghinhepphgrrhgrugihnhdrohhrghdpshifrghrth hhmhhorhgvrdgvughupdhmtghvohihrdgtohhmnecuvehluhhsthgvrhfuihiivgeptden ucfrrghrrghmpehmrghilhhfrhhomhepshhtvgifrghrthesshgvrhhishhsrgdrtghomh X-ME-Proxy: Feedback-ID: ibf61458d:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Mon, 20 May 2024 22:54:47 -0400 (EDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.500.171.1.1\)) From: Lawrence Stewart In-Reply-To: <20240521024743.GE25728@mcvoy.com> Date: Mon, 20 May 2024 22:54:36 -0400 Content-Transfer-Encoding: quoted-printable Message-Id: References: <51CC9A0D-122C-4A3D-8BAF-C249489FB817@serissa.com> <20240521024743.GE25728@mcvoy.com> To: Larry McVoy X-Mailer: Apple Mail (2.3774.500.171.1.1) Message-ID-Hash: D36RDUTKVXHO77QLRREQQIEO6OYUO4UP X-Message-ID-Hash: D36RDUTKVXHO77QLRREQQIEO6OYUO4UP X-MailFrom: stewart@serissa.com X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header CC: TUHS main list X-Mailman-Version: 3.3.6b1 Precedence: list Subject: [TUHS] Re: A fuzzy awk. List-Id: The Unix Heritage Society mailing list Archived-At: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Good to learn more of the history! I wonder when the technique got = started on the hardware side? =20 I wouldn=E2=80=99t be surprised if IBM were doing some of this for the = S/360 since it was a nearly=20 compatible set of systems. -L > On May 20, 2024, at 10:47=E2=80=AFPM, Larry McVoy = wrote: >=20 > I think the title might go to my OS prof, Bart Miller. He did a paper=20= >=20 > https://www.paradyn.org/papers/fuzz.pdf >=20 > that named it that in 1990. =20 >=20 > On Tue, May 21, 2024 at 11:56:30AM +1000, Rob Pike wrote: >> Ron Hardin was doing this to Dennis's C compiler in the 1980s, well = before >> 1998. And I believe Doug McIlroy was generating random regular = expressions >> to compare different implementations. It's probably impossible to = decide >> who invented fuzzing, so the credit will surely go to the person who = named >> it. >>=20 >> -rob >>=20 >>=20 >> On Tue, May 21, 2024 at 12:09???AM Serissa = wrote: >>=20 >>> Well this is obviously a hot button topic. AFAIK I was nearby when >>> fuzz-testing for software was invented. I was the main advocate for = hiring >>> Andy Payne into the Digital Cambridge Research Lab. One of his = little >>> projects was a thing that generated random but correct C programs = and fed >>> them to different compilers or compilers with different switches to = see if >>> they crashed or generated incorrect results. Overnight, his tester = filed >>> 300 or so bug reports against the Digital C compiler. This was met = with >>> substantial pushback, but it was a mostly an issue that many of the = reports >>> traced to the same underlying bugs. >>>=20 >>> Bill McKeemon expanded the technique and published "Differential = Testing >>> of Software" >>> = https://www.cs.swarthmore.edu/~bylvisa1/cs97/f13/Papers/DifferentialTestin= gForSoftware.pdf >>>=20 >>> Andy had encountered the underlying idea while working as an intern = on the >>> Alpha processor development team. Among many other testers, they = used an >>> architectural tester called REX to generate more or less random = sequences >>> of instructions, which were then run through different simulation = chains >>> (functional, RTL, cycle-accurate) to see if they did the same thing. >>> Finding user-accessible bugs in hardware seems like a good thing. >>>=20 >>> The point of generating correct programs (mentioned under the term = LangSec >>> here) goes a long way to avoid irritating the maintainers. Making = the test >>> cases short is also maintainer-friendly. The test generator is also = in a >>> position to annotate the source with exactly what it is supposed to = do, >>> which is also helpful. >>>=20 >>> -L >>>=20 >>>=20 >>>=20 >=20 > --=20 > --- > Larry McVoy Retired to fishing = http://www.mcvoy.com/lm/boat