Confirmed users, Bureaucrats and Sysops emeriti
1,217
edits
Electrolysis/Tasks: Difference between revisions
Jump to navigation
Jump to search
IPDl/infrastructure stuff
(more tasks) |
(IPDl/infrastructure stuff) |
||
| Line 42: | Line 42: | ||
}} | }} | ||
{{CPTask | {{CPTask | ||
| task=IPDL | | task=Statically check IPDL specs and C++ implementations | ||
| name=cjones | | name=cjones | ||
| mentor= | |||
| bug= | |||
| ETA= | |||
| notes= | |||
}} | |||
{{CPTask | |||
| task=Dynamic fuzzing/checking of cross-process infrastructure | |||
| name= | |||
| mentor=bsmedberg | | mentor=bsmedberg | ||
| bug= | | bug= | ||
| ETA= | | ETA= | ||
| notes= | | notes=Fuzzing for bad data, closed sockets, crashed processes | ||
}} | |||
{{CPTask | |||
| task=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 | {{CPTask | ||