Static Analysis: Difference between revisions

Jump to navigation Jump to search

Static Analysis (view source)

Revision as of 02:24, 21 February 2007

74 bytes removed ,  21 February 2007
no edit summary
No edit summary
No edit summary
Line 1: Line 1:
Applications for [http://www.cubewano.org/oink/ Oink] static analysis tools for [[Mozilla 2]]:
Applications for [http://www.cubewano.org/oink/ Oink] static analysis tools for [[Mozilla 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 [[Squash]] tool.
** Automate part of deCOMtamination. [[Gecko:DeCOMtamination Algorithm]]
** Automate part of deCOMtamination. [[Gecko:DeCOMtamination Algorithm]]
** Automation of ownership cleanups (see below).
** Automation of ownership cleanups (see below).
Line 21: Line 21:
* Control flow analysis
* Control flow analysis
** Find lock/unlock pairs that need try-catch.
** Find lock/unlock pairs that need try-catch.
** [http://www.spinroot.com/uno/ UNO] port or rip-off for general analysis.
** 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.
** 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.
Tglek
Confirmed users
381

edits

Retrieved from "https://wiki.mozilla.org/Special:MobileDiff/49624"

Navigation menu