Changes

Jump to: navigation, search

Static Analysis

29 bytes added, 20:24, 28 November 2006
no edit summary
Applications for [http://www.cubewano.org/oink / Oink] static analysis tools in for [[Mozilla2]]:
* Develop the AST-pattern-matching [http://weblogs.mozillazine.org/roadmap/archives/2006/11/oinkbased_patch_generation.html patch generation] tool.
* Generate patches to convert from nsresults to C++ exceptions.
* Identify C++ to convert to JS2...
** ... and translate it automatically. ** C++ candidate code uses only scriptable interfaces, strings, primitives.
* Replace XPCOM or NSPR portability with std-C++ equivalents.
* Enforce confidentiality properties:
** Chrome never evals a content-tainted string. ** C++ never snprintfs using a content-tained string.
* Enforce correct API usage:
** Exact-GC safety bugs. ** String character set encoding mistakes. ** Unit (twips vs. pixels) checking for layout.
* Measure code complexity:
** Virtual method declaration and call populations. ** Cohesion, coupling, other modularity measures. ** Compare to other open source projects of similar scope.
Brendan
Confirm, emeritus
419
edits
Retrieved from "https://wiki.mozilla.org/Special:MobileDiff/43396"

Navigation menu