2008-03-07 Rodrigo Kumpera <rkumpera@novell.com>
authorRodrigo Kumpera <kumpera@gmail.com>
Fri, 7 Mar 2008 13:29:49 +0000 (13:29 -0000)
committerRodrigo Kumpera <kumpera@gmail.com>
Fri, 7 Mar 2008 13:29:49 +0000 (13:29 -0000)
* mono.1: Documented new --security options validil
and verifiable.

svn path=/trunk/mono/; revision=97688

man/ChangeLog
man/mono.1

index a81b59404d000947cbc3cf7edd82d874cf544c18..36c2d3eb65bbc0a3f629fb786be9c91e2bb79d1a 100644 (file)
@@ -1,3 +1,8 @@
+2008-03-07  Rodrigo Kumpera  <rkumpera@novell.com>
+
+       * mono.1: Documented new --security options validil
+       and verifiable.
+
 2007-12-08  Jonathan Pryor  <jpryor@novell.com>
 
        * wsdl.1: Fix groff comment (so that it doesn't appear in monodoc's
index e0eea5b9cdb6e9a76c261d2505c4805badf5fb8f..6598985f0c13b48c8a87d897a0c2a304546fd3a4 100644 (file)
@@ -169,7 +169,8 @@ running a 1.1 program on a 2.0 version:
 .TP
 .I "--security", "--security=mode"
 Activate the security manager, a currently experimental feature in
-Mono and it is OFF by default.  
+Mono and it is OFF by default. The new code verifier can be enabled
+with this option as well.
 .RS
 .ne 8
 .PP
@@ -187,6 +188,16 @@ Enables the core-clr security system, typically used for
 Moonlight/Silverlight applications.  It provides a much simpler
 security system than CAS, see http://www.mono-project.com/Moonlight
 for more details and links to the descriptions of this new system. 
+.TP
+.I validil
+Enables the new verifier and perform basic verification for code validity.
+Unsafe code and PInvoke are allowed. This mode gives a better safety guarantee but
+it is still possible that managed code crash mono.
+.TP
+.I verifiable
+Enables the new verifier and perform full verification and only allows verifiable code to be executed.
+Unsafe code is not allowed but PInvoke can be used. This mode should not allow managed code to crash mono.
+The verification is not as strict as ECMA 335 standard in order to stay compatible with the MS runtime.
 .ne
 .RE
 .TP