Confirmed users, Bureaucrats and Sysops emeriti
419
edits
FlowSafe: Difference between revisions
Jump to navigation
Jump to search
→To-do
(→To-do) |
(→To-do) |
||
| Line 20: | Line 20: | ||
# 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 | ||
## Also need to rebox results of all primitive operators, e.g. <code>-x</code> for <code>x = new LabeledPrimitiveValue(42)</code> should be a <code>LabeledPrimitiveValue</code> instance, not the number <code>-42</code> | |||
# <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> | ||