[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [MirageOS-devel] OPW intern checking in!
I'm only slightly less than completely ignorant when it comes to
fuzzing, which is part of why I wanted to do this ;)
What I'm trying to do at the moment is a little more on the blackbox
side, but I am quite interested in generative testing. Are you
using the quickcheck that's in opam (and if not, can you recommend
the one you are using)?
Thanks,
Mindy
On 05/19/2014 01:55 PM, Malcolm Matalka
wrote:
Very cool! I'm completely ignorant when it comes to
fuzzing. Will you be using something like quickcheck? I've had
a lot of success with testing some of my Ocaml code this way. I
don't think the Ocaml quickcheck is that mature yet, much love
would be appreciated ;)
Den 19 maj 2014 17:09 skrev "Mindy" < mindy@xxxxxxxxxxxxxxxxxxx>:
Hi folks! ÂToday's the first official day of OPW internships,
which run through the middle of August. ÂI'm slated to be
working on fuzzing Mirage's network stack, for which I've
already done a small amount of investigatory work.
I'm working on a framework for testing and analysis within
Scapy, the packet manipulation DSL for Python 2.7. ÂI did some
preliminary work on this when looking for more
denial-of-service bugs in the DHCP client option parsing code
of mirage-tcpip and will be working on both generalizing that
work, and writing specific tests and analyses for other layers
in the stack this week beginning with HTTP. ÂAdditionally, I
plan to write a blog post with more details on my progress and
motivation in the middle of the week.
I'll also be sending periodic updates to the list with details
on my progress and plans for immediate future work. ÂUnless
someone has a different preference, I'll do this in reply to
this message, so folks can choose to filter out these messages
if they find them undesirable.
Please let me know if you have any questions or suggestions!
Thanks,
Mindy (yomimono)
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
|
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
|
