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 24: | Line 24: | ||
# Have [https://developer.mozilla.org/En/SpiderMonkey/Internals/Property_cache#Shape shapes] imply trust labels so that distinct origins get different shapes for standard objects, equivalent property list patterns, etc. | # Have [https://developer.mozilla.org/En/SpiderMonkey/Internals/Property_cache#Shape shapes] imply trust labels so that distinct origins get different shapes for standard objects, equivalent property list patterns, etc. | ||
## So objects have trust labels because objects have shapes | ## So objects have trust labels because objects have shapes | ||
## Beware shapeless objects | ## Beware shapeless objects (dense arrays, certain "host objects") | ||
## Cormac's semantics requires labeled references too, another use-case for <code>LabeledValue</code> | ## Cormac's semantics requires labeled references too, another use-case for <code>LabeledValue</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 policy JS API that allows custom assignment, control flow branching, and input/output policy decision points -- does this mean SSA in one pass? | ||
| Line 32: | Line 32: | ||
# Declassify primitive TBD, defer for now | # Declassify primitive TBD, defer for now | ||
--[[User:Brendan|Brendan]] 01: | --[[User:Brendan|Brendan]] 01:43, 31 October 2009 (UTC) | ||
===References=== | ===References=== | ||
[http://slang.soe.ucsc.edu/cormac/papers/plas09.pdf Efficient Purely-Dynamic Information Flow Analysis (PLAS '09)] | [http://slang.soe.ucsc.edu/cormac/papers/plas09.pdf Efficient Purely-Dynamic Information Flow Analysis (PLAS '09)] | ||