[racket-users] Re: grammar-based fuzzing
Eric Eide writes: > You might be interested in Xsmith. Version 1.0 will be released imminently, > like within the next week. I'll send another email when it's released. To follow up in this thread, Xsmith version 1.0.0 is now available. You can find it in the Racket package catalog: https://pkgs.racket-lang.org/package/xsmith (The online docs haven't updated yet. Soon, I expect.) 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 -- 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/m1wohnpzb2.fsf%40gris-dmz.flux.utah.edu. For more options, visit https://groups.google.com/d/optout.
[racket-users] Re: grammar-based fuzzing
Thanks everyone for the good suggestions. Xsmith looks particularly appealing, looking forward to 1.0! -- 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/3b54c6c7-94fe-49b0-a3ba-23fc7dab2091%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Re: grammar-based fuzzing
cool wasn't aware of Xsmith! Surprised to find RACR backing it - I looked at its source a while back for some attribute grammar magic - ended up not doing anything though - was it lack of docs - can't recall. IIRC it has some true scheme magic in there. Academics often suck at marketing ;) For those who, like me, were interested but failed to navigate to relevant bits: - Xsmith docs: https://docs.racket-lang.org/xsmith/index.html - Xsmith src: https://gitlab.flux.utah.edu/xsmith/xsmith - RACR docs: https://github.com/christoff-buerger/racr/blob/master/racr/documentation/contents.md - RACR src: https://github.com/christoff-buerger/racr On Thursday, 6 June 2019 21:41:21 UTC+1, Eric Eide wrote: > > Ryan Kramer > writes: > > > Does Racket have any grammar-based fuzzing utilities? > > You might be interested in Xsmith. Version 1.0 will be released > imminently, > like within the next week. I'll send another email when it's released. > > Stay tuned! > > -- > --- > > > Eric Eide > . 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/f46560e1-2f64-499f-96a1-c4ac0e465a1b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Re: [racket-users] Re: grammar-based fuzzing
In addition to the other suggestions, if you can express the thing you want to generate as a contract, the contract library will generate random instances of it. But it doesn't have the tuning of weights you're looking for. Robby On Thu, Jun 6, 2019 at 3:41 PM Eric Eide wrote: > > Ryan Kramer writes: > > > Does Racket have any grammar-based fuzzing utilities? > > You might be interested in Xsmith. Version 1.0 will be released imminently, > like within the next week. I'll send another email when it's released. > > Stay tuned! > > -- > --- > Eric Eide . 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/m1a7eucuqa.fsf%40gris.uconnect.utah.edu. > For more options, visit https://groups.google.com/d/optout. -- 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/CAL3TdONd_qaEmEOZh%2BchjdRtZ4LdwxwuLZrcBGNRDnCEh49aqw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Re: grammar-based fuzzing
Ryan Kramer writes: > Does Racket have any grammar-based fuzzing utilities? You might be interested in Xsmith. Version 1.0 will be released imminently, like within the next week. I'll send another email when it's released. Stay tuned! -- --- Eric Eide . 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/m1a7eucuqa.fsf%40gris.uconnect.utah.edu. For more options, visit https://groups.google.com/d/optout.
