[xsmith-dev] Announce: Xsmith 1.0.0 Released

[Eric Eide <eeide@cs.utah.edu>]

I am pleased to announce that Xsmith version 1.0.0 is now available.  You can
find it in the Racket package catalog at:

  https://pkgs.racket-lang.org/package/xsmith

Xsmith is a library for creating fuzz testers, also known as "fuzzers," for
programming language compilers and interpreters.  In other words, Xsmith is a
library for creating random program generators.

Xsmith implements a domain-specific language (DSL) for defining random program
generators.  The DSL is used to specify a programming language's grammar,
typing rules, and other information that guides generation choices.  Xsmith
also includes utilities for creating a command-line interface for generating a
single program or starting a web server that generates one program per request.

Xsmith is bundled with two example random program generators that were created
using the library: one for C and one for Scheme.

This is the first public release of Xsmith.  It is neither feature-complete nor
API-stable, but it should be usable by people other than the authors :-).  We
welcome feedback!

Please send bug reports and fixes to <xsmith-bugs@flux.utah.edu>.

There is a mailing list, <xsmith-dev@flux.utah.edu>, for discussing Xsmith.
Visit the list's management website to subscribe:
http://www.flux.utah.edu/mailman/listinfo/xsmith-dev

Happy fuzzing!

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX