Changes

Possible applications Applications for oink static analysis tools in Mozilla: * Develop the AST-pattern-matching [http://weblogs.mozillazine.org/roadmap/archives/2006/11/oinkbased_patch_generation.html patch generation] tool.

* Automatically identify unused or hardly-used code.* Check and enforce exception safety.* Generate patches to convert from nsresults to C++ exceptions.* Identify C++ to convert to JS2... * ... and translate it automatically. * C++ candidate codeuses 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 tracking (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.