From 01676f85cbb672aa1199e35e2a83a480aacff20e Mon Sep 17 00:00:00 2001 From: JF Bastien Date: Tue, 9 Jun 2015 11:27:11 +0200 Subject: Define portability Address issue #38. --- IncompletelySpecifiedBehavior.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'IncompletelySpecifiedBehavior.md') 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. -- cgit v1.2.3