Skip to content

Latest commit

 

History

History
9 lines (5 loc) · 916 Bytes

README.md

File metadata and controls

9 lines (5 loc) · 916 Bytes
Raw

A model for expressing invariants of internal methods in ECMAScript and its application to Proxies

Work in progress

  • invariants.md — a model for expressing the Invariants of the Essential Internal Methods of ECMAScript (“the Invariants”);

  • proxies.md — its application to Proxies; more specifically, how to identify the necessary and sufficient integrity checks (the “Integrity Checks”) needed on the result of the trapped internal methods of Proxies in order to maintain the Invariants;

  • (TBW) — discussion on issues around some edge cases revolving around invocation of untrusted user code, namely Proxy over Proxy and invocation of accessors on objects; and how to resolve them.