Confirmed users, Bureaucrats and Sysops emeriti
419
edits
FlowSafe: Difference between revisions
→To-do
(→To-do) |
(→To-do) |
||
| Line 18: | Line 18: | ||
# 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) | ||
# Have shapes imply trust labels so that distinct origins get different shapes for standard objects, equivalent property list patterns, etc. | # Have shapes imply trust labels so that distinct origins get different shapes for standard objects, equivalent property list patterns, etc. | ||
# Extend <code>JSExtendedClass</code> to delegate <code>typeof</code> so we can build <code>LabeledPrimitiveValue</code> wrappers for primitives | # Extend <code>JSExtendedClass</code> to delegate <code>typeof</code> so we can build <code>LabeledPrimitiveValue</code> wrappers for primitives | ||
| Line 24: | Line 23: | ||
# 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 policy JS API that allows custom assignment, control flow branching, and input/output policy decision points -- does this mean SSA in one pass? | |||
# Add shell functions for testing and write tests | # 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. | ||
# Declassify primitive TBD, defer for now | |||
--[[User:Brendan|Brendan]] 02:07, 6 August 2009 (UTC) | --[[User:Brendan|Brendan]] 02:07, 6 August 2009 (UTC) | ||