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-b...@flux.utah.edu>. There is a mailing list, <xsmith-...@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 <ee...@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 -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/m14l4rre9x.fsf%40gris-dmz.flux.utah.edu. For more options, visit https://groups.google.com/d/optout.
