Re: [dev-servo] Quark : A Web Browser with a Formally Verified Kernel

2013-09-09 Thread Andrew McCreight
- Original Message - > http://goto.ucsd.edu/quark/ Relatedly, this MWR Labs writeup on their Chrome exploit is kind of fun. "Looking at the crash dumps, we observed that the following undocumented system call triggered the crash" "In cases where the last argument to NtUserMessageCall is

[dev-servo] 9/9 meeting - incremental flow tree, benchmarks, testing, and string representation

2013-09-09 Thread Jack Moffitt
https://github.com/mozilla/servo/wiki/Meeting-2013-09-09 ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo