Static Analysis: Difference between revisions

Static Analysis (view source)

95 bytes removed , 8 March 2008

no edit summary

Confirmed users

381

edits

@@ Line 1: / Line 1: @@
-Applications for [http://www.cubewano.org/oink/ Oink] static analysis tools for [[Mozilla 2]]:
+Applications for static analysis tools for [[Mozilla 2]]:
-* Develop the AST-pattern-matching [[Squash]] tool.
+* Develop code rewriting [[Pork]] tools.
 ** 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]]
@@ Line 21: / Line 22: @@
 * 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 [[Pork]]
-** 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...