[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[xsmith-dev] JavaScript Fuzzer (Re: WebAssembly fuzzer)

To: Xsmith Dev Mailing List <xsmith-dev@flux.utah.edu>
Subject: [xsmith-dev] JavaScript Fuzzer (Re: WebAssembly fuzzer)
From: Eric Eide <eeide@cs.utah.edu>
Date: Thu, 15 Jul 2021 08:10:42 -0600
In-reply-to: <87y2a8gig0.fsf@linki.tools> (Paulo Matos's message of "Thu, 15 Jul 2021 09:11:27 +0200")
List-archive: </listarchives/xsmith-dev>
List-help: <mailto:xsmith-dev-request@flux.utah.edu?subject=help>
List-id: Xsmith Development Mailing List <xsmith-dev.flux.utah.edu>
List-post: <mailto:xsmith-dev@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/xsmith-dev>, <mailto:xsmith-dev-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/xsmith-dev>, <mailto:xsmith-dev-request@flux.utah.edu?subject=unsubscribe>
References: <87y2a8gig0.fsf@linki.tools>
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)

Paulo Matos <pmatos@linki.tools> writes:

> I am assuming the JS fuzzer is:
> https://gitlab.flux.utah.edu/xsmith/xsmith/-/blob/master/xsmith-examples/simple/javascript.rkt

Yes, that's the JS fuzzer.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>   .        University of Utah School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 .   Salt Lake City, Utah, USA

References:
- [xsmith-dev] WebAssembly fuzzer
  - From: Paulo Matos <pmatos@linki.tools>

Prev by Date: Re: [xsmith-dev] WebAssembly fuzzer
Next by Date: Re: [xsmith-dev] WebAssembly fuzzer
Previous by thread: Re: [xsmith-dev] WebAssembly fuzzer
Next by thread: Re: [xsmith-dev] WebAssembly fuzzer
Index(es):
- Date
- Thread