Changes

Jump to: navigation, search

Static Analysis

372 bytes added, 00:18, 29 November 2006
no edit summary
* 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...
Confirm, emeritus
419
edits

Navigation menu