On this page:
Xsmith
8.12

Xsmith🔗ℹ

William Hatch <william@hatch.uno>,
Pierce Darragh <pierce.darragh@gmail.com>,
and Eric Eide <eeide@cs.utah.edu>

 (require xsmith) package: xsmith

Version xsmith 2.0.6 (c5e73ae)

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.

There are example random program generators built with Xsmith. They are in the xsmith-examples package.

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

Getting help. There is a mailing list, xsmith-dev@flux.utah.edu, for discussing Xsmith. Visit the xsmith-dev list management website to subscribe. To post messages to the list, you must first subscribe to the list.