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 22: | Line 22: | ||
* Enforce confidentiality properties: | * Enforce confidentiality properties: | ||
** Chrome never evals a content-tainted string. | ** Chrome never evals a content-tainted string. | ||
** C++ never snprintfs using a content- | ** C++ never snprintfs using a content-tainted string. | ||
* Enforce correct API usage: | * Enforce correct API usage: | ||
** Exact-GC safety bugs. | ** Exact-GC safety bugs. | ||