Confirm, emeritus
1,217
edits
Changes
IPDl/infrastructure stuff
}}
{{CPTask
| task=Statically check IPDL protocol state machine specs and verificationsC++ implementations
| name=cjones
| mentor=
| bug=
| ETA=
| notes=
}}
{{CPTask
| task=Dynamic fuzzing/checking of cross-process infrastructure
| name=
| mentor=bsmedberg
| bug=
| ETA=
| notes=Need better Fuzzing for bad data, closed sockets, crashed processes}}{{CPTask| task description?=Systematic dynamic verification of C++ code implementing IPDL protocols| name=| mentor=bsmedberg/cjones| bug=| ETA=| notes=It should be possible to generate pretty exhaustive unit tests from IPDL specs...
}}
{{CPTask
