[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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!

Mindy (yomimono)

MirageOS-devel mailing list
MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.