TOCTTOU issue in Proxy invariant checks

Hi, While reviewing some changes to the Proxy spec in the latest revision, it occurred to me there is a potential time-of-check-to-time-of-use (TOCTTOU) issue in the Proxy invariant checks. Concretely, take revision 26, section 9.5.12 [[OwnPropertyKeys]]: - step 11 checks whether the target

Re: TOCTTOU issue in Proxy invariant checks

Hi Tom, your reasoning seems good to me. On Jul 21, 2014 11:27 PM, Tom Van Cutsem tomvc...@gmail.com wrote: Hi, While reviewing some changes to the Proxy spec in the latest revision, it occurred to me there is a potential time-of-check-to-time-of-use (TOCTTOU) issue in the Proxy invariant