FlowSafe: Difference between revisions

42 bytes removed ,  31 October 2009
Line 20: Line 20:
# 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
# Support sparse labeling by associating an implicit label with each GC arena footer (JSGCArenaInfo)
# 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
# Extend <code>JSExtendedClass</code> to delegate <code>typeof</code> so we can build <code>LabeledPrimitiveValue</code> wrappers for primitives
# <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>
Line 27: Line 27:
# DOM, other host objects have trust labels
# DOM, other host objects have trust labels
# Exceptions, etc.
# Exceptions, etc.
  struct JSTLValue {
      jsval        value;
      JSTrustLabel *label;
  };


--[[User:Brendan|Brendan]] 02:07, 6 August 2009 (UTC)
--[[User:Brendan|Brendan]] 02:07, 6 August 2009 (UTC)
Confirmed users, Bureaucrats and Sysops emeriti
419

edits