Changes

Jump to: navigation, search

Static Analysis

95 bytes removed, 00:05, 8 March 2008
no edit summary
Applications for [http://www.cubewano.org/oink/ Oink] static analysis tools for [[Mozilla 2]]:
* Develop the AST-pattern-matching code rewriting [[SquashPork]] tooltools.
** Automate part of deCOMtamination. [[Gecko:DeCOMtamination Algorithm]]
** Automation of ownership cleanups (see below).
* Develop static analysis [[Dehydra GCC]] tool.
* "Semantic grep" (super-LXR) tasks:
** Clean up uses of obsolete API. [[Gecko:Obsolete API]]
* Control flow analysis
** Find lock/unlock pairs that need try-catch.
** Develop [[DeHydra]], an [http://www.spinroot.com/uno/ UNO] inspired tool for general analysis.** A [http://osl.cs.uiuc.edu/~ksen/cute/ CUTE] "plusplus" (CUTE++) on Oink.[[Pork]]
* Generate patches to convert from nsresults to C++ exceptions.
* Identify C++ to convert to JS2...
Confirm
381
edits

Navigation menu