Confirmed users, Bureaucrats and Sysops emeriti
419
edits
Static Analysis: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
** Clean up uses of obsolete API. [[Gecko:Obsolete API]] | ** Clean up uses of obsolete API. [[Gecko:Obsolete API]] | ||
** Automatically identify unused or hardly-used code. | ** Automatically identify unused or hardly-used code. | ||
** Ownership analysis: | |||
*** Strong/weak pointers. | |||
*** Optional annotations for strong vs. weak pointer. | |||
*** Static cycle detection. | |||
*** Static reference-counting elimination. | |||
** "Who can point to" analysis. | |||
* Auto-generate traverse and unlink methods for the [https://bugzilla.mozilla.org/show_bug.cgi?id=XPCOMGC Cycle Collector] | |||
** Oink finds outgoing pointers, generates iterators. | |||
* Check and enforce exception safety. | * Check and enforce exception safety. | ||
** Find stack pointers to malloc'ed temporary hazards. | ** Find stack pointers to malloc'ed temporary hazards. | ||