From eeide at cs.utah.edu  Mon Aug  3 14:37:26 2020
From: eeide at cs.utah.edu (Eric Eide)
Date: Mon, 03 Aug 2020 14:37:26 -0600
Subject: [xsmith-dev] Announce: Clotho 1.0.0 Released
Message-ID: <m1h7tj1n5l.fsf@cs.utah.edu>

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

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

Clotho provides controllable randomness functions for Racket programs, allowing
sequences of random values to be recorded, replayed, and manipulated at a fine
grain.  Xsmith uses Clotho as part of its implementation of "steerable" random
program generation.

You can learn more about Clotho by reading the online documentation:

  https://docs.racket-lang.org/clotho/index.html

...and by reading the following paper, which will be presented at the upcoming
Scheme '20 workshop:

  Pierce Darragh, William Gallard Hatch, and Eric Eide.  Clotho: A Racket
  library for parametric randomness.  In Proceedings of the 2020 Scheme and
  Functional Programming Workshop (Scheme 2020), August 2020.
  https://www.flux.utah.edu/paper/darragh-scheme20

Thanks ---

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide at 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


From amocywang at gmail.com  Sun Aug  9 06:31:49 2020
From: amocywang at gmail.com (Guancheng Wang)
Date: Sun, 9 Aug 2020 20:31:49 +0800
Subject: [xsmith-dev] About user-defined scripts for fuzzing testing
Message-ID: <CACYPT8aCa+1yXqGMBzgKuBbb5NnLyALSEKyZ-td8YQD9ky4Tgg@mail.gmail.com>

Hi,
  I was wondering that how can I write a user-defined script for fuzzing
testing, which targets on the programming language not listed in the
example scripts. Is there any guidance?

-- 
Kind Regards,
Guancheng
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </listarchives/xsmith-dev/attachments/20200809/60c68748/attachment.html>

From amocywang at gmail.com  Sun Aug  9 06:38:12 2020
From: amocywang at gmail.com (Guancheng Wang)
Date: Sun, 9 Aug 2020 20:38:12 +0800
Subject: [xsmith-dev] (no subject)
Message-ID: <CACYPT8be8fMZetC-oo8frq1gzOD3PsZ9YP-DYMGkXkWp3DLSQQ@mail.gmail.com>

Hi,
I just found Xsmith document. Sorry for that. If I have any question, I
will send you messages. Thank you for your excellent work.

-- 
Kind Regards,
Guancheng
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </listarchives/xsmith-dev/attachments/20200809/d8b62235/attachment.html>

From william at hatch.uno  Sun Aug  9 09:00:36 2020
From: william at hatch.uno (William G Hatch)
Date: Sun, 9 Aug 2020 09:00:36 -0600
Subject: [xsmith-dev] About user-defined scripts for fuzzing testing
In-Reply-To: <CACYPT8aCa+1yXqGMBzgKuBbb5NnLyALSEKyZ-td8YQD9ky4Tgg@mail.gmail.com>
References: <CACYPT8aCa+1yXqGMBzgKuBbb5NnLyALSEKyZ-td8YQD9ky4Tgg@mail.gmail.com>
Message-ID: <20200809150036.GA32758@conspirator>

The most important advice right now is to use the development version,
not the release version.  We don't promise stability in the
development version, but we will be making a release soon, and the
development version is much better than the current release.

On Sun, Aug 09, 2020 at 08:31:49PM +0800, Guancheng Wang wrote:
>Hi,
>  I was wondering that how can I write a user-defined script for fuzzing
>testing, which targets on the programming language not listed in the
>example scripts. Is there any guidance?
>
>-- 
>Kind Regards,
>Guancheng