| commit | 6c7d8b60e836766c07c861e10e98d503fc0b5f69 | |
| author | James Wu <jjwu@fb.com> | |
| Tue, 6 Sep 2022 02:57:38 +0000 (5 19:57 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 6 Sep 2022 02:57:38 +0000 (5 19:57 -0700) | ||
| tree | b2fe6edccd42aab3453ede59c207c83944b8c81e | treesnapshot (tar.gz zip) |
| parent | d98a5f2d20e0374817d448dbaf072e61e599fe76 | commitdiff |
Add runtime enforcement for instance properties
Summary:
This diff adds interpreter and jit support for enforcing internal on instance properties.
In general for property enforcement, when the property is statically known, we can check the modules check statically and easily. When it isn't, we always fall back to C++ code using minstr-helpers.cpp. Therefore, the implementation in the jit is rather straightforward.
- If we have a propInfo, we statically check that propInfo for modularity violations.
- If we don't, we default to using minstr-helpers.cpp, which calls the same C++ helpers as the interpreter code.
Reviewed By: oulgen
Differential Revision: D38639723
fbshipit-source-id: ee94b612063479cc3ab61deb39137c5c91fe0508
Summary:
This diff adds interpreter and jit support for enforcing internal on instance properties.
In general for property enforcement, when the property is statically known, we can check the modules check statically and easily. When it isn't, we always fall back to C++ code using minstr-helpers.cpp. Therefore, the implementation in the jit is rather straightforward.
- If we have a propInfo, we statically check that propInfo for modularity violations.
- If we don't, we default to using minstr-helpers.cpp, which calls the same C++ helpers as the interpreter code.
Reviewed By: oulgen
Differential Revision: D38639723
fbshipit-source-id: ee94b612063479cc3ab61deb39137c5c91fe0508
45 files changed: