Parser fuzzing using minikanren

Amirouche Boubekki

unread,

Jul 31, 2020, 4:53:21 AM7/31/20

to minikanren

Does anyone has clues on how to build pseudo random JSON text or HTTP requests and response using minikanren?

William Byrd

unread,

Jul 31, 2020, 8:45:07 AM7/31/20

to minikanren

Can you give a little more detail about your problem?

Are you interested in generating slightly malformed JSON text or HTTP requests? Or just lots of legal JSON text/HTTP requests?

Cheers,

--Will

Amirouche Boubekki

unread,

Jul 31, 2020, 9:19:27 AM7/31/20

to minik...@googlegroups.com

Le ven. 31 juil. 2020 à 14:45, William Byrd <web...@gmail.com> a écrit :
>
> Can you give a little more detail about your problem?
>
> Are you interested in generating slightly malformed JSON text or HTTP requests? Or just lots of legal JSON text/HTTP requests?

I need both malformed and legal.

phil jones

unread,

Jul 31, 2020, 10:02:27 AM7/31/20

to minik...@googlegroups.com

Might it not be easier to generate a lot of good JSON and then use a simple bit of code to make random errors to some of them?

--
You received this message because you are subscribed to the Google Groups "minikanren" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minikanren+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minikanren/CAL7_Mo-ku0t9-ma8%3D0gX8wwjXBLuDzHnsBzYM8F6F%3D0az3-72w%40mail.gmail.com.

Reply all

Reply to author

Forward