* Develop the AST-pattern-matching [http://weblogs.mozillazine.org/roadmap/archives/2006/11/oinkbased_patch_generation.html patch generation] tool.
** Automate part of deCOMtamination. [[Gecko:DeCOMtamination Algorithm]]* "Semantic grep" (super-LXR) tasks:** Clean up uses of obsolete API. [[Gecko:Obsolete API]]** Automatically identify unused or hardly-used code.
* Check and enforce exception safety.
** Find stack pointers to malloc'ed temporary hazards.
** Refactoring opportunities arising from exceptions.
* Control flow analysis
** Find lock/unlock pairs that need try-catch.
** [http://www.spinroot.com/uno/ UNO] port or rip-off for general analysis.
** A [http://osl.cs.uiuc.edu/~ksen/cute/ CUTE] "plusplus" (CUTE++) on Oink.
* Generate patches to convert from nsresults to C++ exceptions.
* Identify C++ to convert to JS2...