Confirmed users, Bureaucrats and Sysops emeriti
419
edits
Static Analysis: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
* Develop the AST-pattern-matching [http://weblogs.mozillazine.org/roadmap/archives/2006/11/oinkbased_patch_generation.html patch generation] tool. | * 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]] | ** Automate part of deCOMtamination. [[Gecko:DeCOMtamination Algorithm]] | ||
* Clean up uses of obsolete API. [[Gecko:Obsolete API]] | * "Semantic grep" (super-LXR) tasks: | ||
* Automatically identify unused or hardly-used code. | ** Clean up uses of obsolete API. [[Gecko:Obsolete API]] | ||
** Automatically identify unused or hardly-used code. | |||
* Check and enforce exception safety. | * 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. | * Generate patches to convert from nsresults to C++ exceptions. | ||
* Identify C++ to convert to JS2... | * Identify C++ to convert to JS2... | ||