Re: [MirageOS-devel] OPW intern checking in!

[Malcolm Matalka <mmatalka@xxxxxxxxx>]

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@lists.xenproject.org
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