Confirmed users, Bureaucrats and Sysops emeriti
419
edits
FlowSafe: Difference between revisions
no edit summary
No edit summary |
|||
| Line 19: | Line 19: | ||
# Add <code>JSTrustLabel</code> to the JS API, a union of <code>JSPrincipals</code> (trust labels replace principals) | # Add <code>JSTrustLabel</code> to the JS API, a union of <code>JSPrincipals</code> (trust labels replace principals) | ||
# Add policy JS API that allows custom assignment, control flow branching, and input/output policy decision points | # Add policy JS API that allows custom assignment, control flow branching, and input/output policy decision points | ||
# Add a <code> | # Support sparse labeling by associating an implicit label with each GC arena footer (JSGCArenaInfo) | ||
# Add a <code>JSTLValue</code> <code>jsval</code> pseudo-boolean variant for overriding the implicit label | |||
# <code>JSScript</code> has a <code>JSTrustLabel</code> | # <code>JSScript</code> has a <code>JSTrustLabel</code> | ||
# Interpreter <code>pc</code> has a <code>JSTrustLabel</code> | # Interpreter <code>pc</code> has a <code>JSTrustLabel</code> | ||
# Variable objects (even those optimized away) have a <code>JSTrustLabel</code> | # Variable objects (even those optimized away) have a <code>JSTrustLabel</code> | ||
# Add shell functions for testing and write tests | |||
# DOM, other host objects have trust labels | # DOM, other host objects have trust labels | ||
# Exceptions, etc. | # Exceptions, etc. | ||
struct | struct JSTLValue { | ||
jsval | jsval value; | ||
JSTrustLabel *label; | |||
}; | }; | ||
--[[User:Brendan|Brendan]] 02:07, 6 August 2009 (UTC) | --[[User:Brendan|Brendan]] 02:07, 6 August 2009 (UTC) | ||