From eeide at cs.utah.edu Fri Jun 14 16:30:38 2019 From: eeide at cs.utah.edu (Eric Eide) Date: Fri, 14 Jun 2019 16:30:38 -0600 Subject: [xsmith-dev] Announce: Xsmith 1.0.0 Released Message-ID: 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 . There is a mailing list, , 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 . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX