diff options
| author | JF Bastien <jfb@chromium.org> | 2015-06-09 11:27:11 +0200 |
|---|---|---|
| committer | JF Bastien <jfb@chromium.org> | 2015-06-09 11:27:11 +0200 |
| commit | 01676f85cbb672aa1199e35e2a83a480aacff20e (patch) | |
| tree | b37f602b4fe607959ebe38dd616bb130562c4195 /IncompletelySpecifiedBehavior.md | |
| parent | 6db31519e7e64cf8e5559962e176c1c0a05cd765 (diff) | |
| download | nanowasm-design-01676f85cbb672aa1199e35e2a83a480aacff20e.tar.gz | |
Define portability
Address issue #38.
Diffstat (limited to 'IncompletelySpecifiedBehavior.md')
| -rw-r--r-- | IncompletelySpecifiedBehavior.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/IncompletelySpecifiedBehavior.md b/IncompletelySpecifiedBehavior.md index b3679d0..d525051 100644 --- a/IncompletelySpecifiedBehavior.md +++ b/IncompletelySpecifiedBehavior.md @@ -1,6 +1,9 @@ # Incompletely Specified Behavior -WebAssembly is a sandboxed platform. Applications can't access data outside the sandbox without going through appropriate APIs, or otherwise escape the sandbox, even if the behavior inside the sandbox should ever be unspecified in any way. +WebAssembly is a [portable](Portability.md) sandboxed platform. Applications +can't access data outside the sandbox without going through appropriate APIs, or +otherwise escape the sandbox, even if the behavior inside the sandbox should +ever be unspecified in any way. WebAssembly always maintains valid callstacks. Return addresses are stored on the trusted stack and can't be clobbered by the application. And, WebAssembly ensures that calls and branches always have valid destinations. |